C++实现的一个可以写递归lambda的Y函数
2014-07-22 09:24
896 查看
最近学习C++11的variadic template argument,终于可以摆脱用fpmacro模板来复制一大堆代码的做法了,好开心。这个例子的main函数用lambda写了一个斐波那契数列的递归计算函数。跟以往不同的是,在Y函数的帮助下,这个lambda表达是可以成功看到自己,然后递归调用。当然这仍然需要用普通的C++递归来实现,并不是λ-calculus那个高大上的Y Combinator。
#include <functional> #include <memory> #include <iostream> #include <string> using namespace std; template<typename TResult, typename ...TArgs> class YBuilder { private: function<TResult(function<TResult(TArgs...)>, TArgs...)> partialLambda; public: YBuilder(function<TResult(function<TResult(TArgs...)>, TArgs...)> _partialLambda) :partialLambda(_partialLambda) { } TResult operator()(TArgs ...args)const { return partialLambda( [this](TArgs ...args) { return this->operator()(args...); }, args...); } }; template<typename TMethod> struct PartialLambdaTypeRetriver { typedef void FunctionType; typedef void LambdaType; typedef void YBuilderType; }; template<typename TClass, typename TResult, typename ...TArgs> struct PartialLambdaTypeRetriver<TResult(__thiscall TClass::*)(function<TResult(TArgs...)>, TArgs...)> { typedef TResult FunctionType(TArgs...); typedef TResult LambdaType(function<TResult(TArgs...)>, TArgs...); typedef YBuilder<TResult, TArgs...> YBuilderType; }; template<typename TClass, typename TResult, typename ...TArgs> struct PartialLambdaTypeRetriver<TResult(__thiscall TClass::*)(function<TResult(TArgs...)>, TArgs...)const> { typedef TResult FunctionType(TArgs...); typedef TResult LambdaType(function<TResult(TArgs...)>, TArgs...); typedef YBuilder<TResult, TArgs...> YBuilderType; }; template<typename TLambda> function<typename PartialLambdaTypeRetriver<decltype(&TLambda::operator())>::FunctionType> Y(TLambda partialLambda) { return typename PartialLambdaTypeRetriver<decltype(&TLambda::operator())>::YBuilderType(partialLambda); } int _tmain(int argc, _TCHAR* argv[]) { auto fib = Y([](function<int(int)> self, int index) { return index<2 ?1 :self(index-1)+self(index-2); }); for (int i = 0; i < 10; i++) { cout << fib(i) << " "; } cout << endl; }
您可能感兴趣的文章:
相关文章推荐
- 编写一个函数,实现把C/C++程序代码中的注释去掉,并把结果返回。
- C++第六周任务5:解决用一个项目多个文件的方式实现,其中两个类的声明放在一个.h文件中,每个类的成员函数分别放一个文件,main()函数用一个文件。体会这样安排的优点。
- 试编写一个函数,返回一颗给定二叉树在中序遍历下的最后一个节点(分别用递归和非递归实现)
- 编写一个函数实现n^k,分别使用递归和非递归实现
- 算法题 用C或C++实现void reverse(char* str)函数,即反转一个null结尾的字符串
- C++程序设计实验报告(二十)---实现冒泡排序算法,并将之定义为一个函数,其中参数是指向数组的指针变量
- lua笔记 --- 一个C++调用lua函数的类的实现
- 编写一个函数实现n^k,使用递归实现
- 编写一个函数reverse_string(char * string)(递归实现)
- c++ 模版函数的定义和实现放在一个文件中
- C++ 虚拟函数vs 回调函数 像有虚拟方法表一样有一个虚拟变量表就可以实现类级回调函数了
- c++ 模版函数的定义和实现放在一个文件中 .
- 写一个函数,可以处理C++代码,将其中的注释去掉
- 对于一个频繁使用的短小函数,在C语言中应用什么实现,在C++中应用什么实现?
- MUILIB-一个可以实现界面自由配置的C++高级界面库
- 三种实现交换的方法,其中一个诡异的swap函数——C/C++语言(问题求助)
- 实现一个可以用于bind2nd的函数对象
- 函数编译lua笔记 --- 一个C++调用lua函数的类的实现
- c++实现写一个函数,求2个整数的和,要求在函数体内不得使用+,-* /
- (转载)你好,C++(27)在一个函数内部调用它自己本身 5.1.5 函数的递归调用