码迷,mamicode.com
首页 > 编程语言 > 详细

C++模板元编程 - 2 模仿haskell的列表以及相关操作

时间:2015-09-02 22:05:13      阅读:290      评论:0      收藏:0      [点我收藏+]

标签:

这是昨天和今天写的东西,利用C++的可变模板参数包以及包展开,模式匹配的一些东西做的,感觉用typename...比轮子叔那个List<A,List<B, List<C, D>>>的设计要好看不少。

List有一个很巧妙的继承,只有那么做才能使用类似于List<>::Rest的写法,直接定义成template<typename T, typename... TArgs>List是不行的。

Change这里可以给一个args...换另一个包装,这里感谢lyp菊苣告诉我原来template里还能接着套template,为我自己瞎摸索TML的道路开拓了另一片新天地。

scanf和foldl的原理大致基本相同,但是以我的智商是没法在短时间内把他们统一到一起了。

PrintList似乎只能使用函数来输出了。

写着写着也发现自己的模板元编程的编码和命名风格在不断完善,果然要不停写才能体会到东西。

(话说默认字体大小怎么改啊,13px才好看嘛)

  1 template<typename T>
  2 struct ListGet;
  3 template<typename... TArgs>
  4 struct List;
  5 
  6 template<typename T, typename... TArgs>
  7 struct ListGet<List<T, TArgs...>>
  8 {
  9     using First = typename T;
 10     using Rest = List<TArgs...>;
 11 };
 12 
 13 template<typename... TArgs>
 14 struct List: ListGet<List<TArgs...>>
 15 {
 16     using Base = ListGet<List<TArgs...>>;
 17     using Self = List<TArgs...>;
 18 };
 19 
 20 template<typename T>
 21 struct ListIsEmpty;
 22 
 23 template<typename T, typename... TArgs>
 24 struct ListIsEmpty<List<T, TArgs...>>
 25 {
 26     using Result = Bool<false>;
 27 };
 28 template<>
 29 struct ListIsEmpty<List<>>
 30 {
 31     using Result = Bool<true>;
 32 };
 33 
 34 template<typename A, template<typename... Args> typename B>
 35 struct Change;
 36 
 37 template<template<typename... Args>typename A, template<typename... Args>typename B, typename... Args>
 38 struct Change<A<Args...>, B>
 39 {
 40     using Result = B<Args...>;
 41 };
 42 
 43 template<typename T1, typename T2>
 44 struct ListConnect;
 45 
 46 template<typename... TArgs1, typename... TArgs2>
 47 struct ListConnect<List<TArgs1...>, List<TArgs2...>>
 48 {
 49     using Result = typename List<TArgs1..., TArgs2...>;
 50 };
 51 template<typename T>
 52 struct ListReverse;
 53 
 54 template<typename... TArgs>
 55 struct ListReverse<List<TArgs...>>
 56 {
 57     using Param = typename List<TArgs...>;
 58     using Result = typename ListConnect<
 59         typename ListReverse<
 60             typename Param::Rest
 61         >::Result,
 62         typename List<typename Param::First>
 63     >::Result;
 64 };
 65 
 66 template<typename T>
 67 struct ListReverse<List<T>>
 68 {
 69     using Result = typename List<T>;
 70 };
 71 
 72 template<template<typename ST> typename TApplicative, typename T1>
 73 struct ListMap;
 74 
 75 template<template<typename ST> typename TApplicative, typename... TArgs>
 76 struct ListMap<TApplicative, List<TArgs...>>
 77 {
 78     using Param = typename List<TArgs...>;
 79     using Result = typename ListConnect<
 80         List<
 81             typename TApplicative<
 82                 typename Param::First
 83             >::Result
 84         >,
 85         typename ListMap<
 86             TApplicative,
 87             typename Param::Rest
 88         >::Result
 89     >::Result;
 90 };
 91 
 92 template<template<typename ST> typename TApplicative, typename TLast>
 93 struct ListMap<TApplicative, List<TLast>>
 94 {
 95     using Param = typename List<TLast>;
 96     using Result = typename List<typename TApplicative<TLast>::Result>;
 97 };
 98 
 99 template<typename TVal, template<typename TArg1, typename TArg2> typename TBinFunc, typename T>
100 struct ListFoldLeft;
101 
102 template<typename TVal, template<typename TArg1, typename TArg2> typename TBinFunc, typename... TArgs>
103 struct ListFoldLeft<TVal, TBinFunc, List<TArgs...>>
104 {
105     using Param = List<TArgs...>;
106     using Result = typename ListFoldLeft<
107         typename TBinFunc<
108             TVal,
109             typename Param::First
110         >::Result,
111         TBinFunc,
112         typename Param::Rest        
113     >::Result;
114 };
115 
116 template<typename TVal, template<typename TArg1, typename TArg2> typename TBinFunc, typename TLast>
117 struct ListFoldLeft<TVal, TBinFunc, List<TLast>>
118 {
119     using Param = List<TLast>;
120     using Result = typename TBinFunc<TVal, typename Param::First>::Result;
121 };
122 
123 template<typename TVal, template<typename TArg1, typename TArg2> typename TBinFunc, typename T>
124 struct ListScanLeft;
125 
126 template<typename TVal, template<typename TArg1, typename TArg2> typename TBinFunc, typename... TArgs>
127 struct ListScanLeft<TVal, TBinFunc, List<TArgs...>>
128 {
129     using Param = List<TArgs...>;
130     using Value = typename TBinFunc<
131         TVal,
132         typename Param::First
133     >::Result;
134     using Result = typename ListConnect<
135         List<Value>,
136         typename ListScanLeft<
137             Value,
138             TBinFunc,
139             typename Param::Rest
140         >::Result
141     >::Result;
142 };
143 
144 template<typename TVal, template<typename TArg1, typename TArg2> typename TBinFunc, typename TLast>
145 struct ListScanLeft<TVal, TBinFunc, List<TLast>>
146 {
147     using Param = List<TLast>;
148     using Value = typename TBinFunc<
149         TVal,
150         typename Param::First
151     >::Result;
152     using Result = List<Value>;
153 };
154 
155 template<typename T, T V, typename... TRest>
156 void PrintList(List<PODType<T, V>, TRest...>)
157 {
158     std::cout << V <<  ;
159     PrintList(List<TRest...>());
160 }
161 
162 template<typename T, T V>
163 void PrintList(List<PODType<T, V>>)
164 {
165     std::cout << V;
166 }

(果然只有静态高亮的C++代码看上去就和翔一样)

使用起来是这样的

1 ListFoldLeft<Int<0>, Add, decltype(list)>::Result xxx;
2 ListScanLeft<Int<3>, Add, decltype(list)>::Result yyy;
3 PrintList(yyy);
4 PrintList(xxx);

foldl1,foldr,foldr1以及对应的scanr……啊啊啊啊啊啊啊啊啊

1 int main()
2 {
3     cout << L"我 整 个 人 都 递 归 了 感 觉 自 己 充 满 了 力 量 ! ! ! ! ! !“;
4     main();
5 }

C++模板元编程 - 2 模仿haskell的列表以及相关操作

标签:

原文地址:http://www.cnblogs.com/pointer-smq/p/4779462.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!