当前位置: 编程技术>c/c++/嵌入式
C++实现的一个可以写递归lambda的Y函数
来源: 互联网 发布时间:2014-10-26
本文导语: 最近学习C++11的variadic template argument,终于可以摆脱用fpmacro模板来复制一大堆代码的做法了,好开心。这个例子的main函数用lambda写了一个斐波那契数列的递归计算函数。跟以往不同的是,在Y函数的帮助下,这个lambda表达是可以...
最近学习C++11的variadic template argument,终于可以摆脱用fpmacro模板来复制一大堆代码的做法了,好开心。这个例子的main函数用lambda写了一个斐波那契数列的递归计算函数。跟以往不同的是,在Y函数的帮助下,这个lambda表达是可以成功看到自己,然后递归调用。当然这仍然需要用普通的C++递归来实现,并不是λ-calculus那个高大上的Y Combinator。
#include #include #include #include using namespace std; template class YBuilder { private: function partialLambda; public: YBuilder(function _partialLambda) :partialLambda(_partialLambda) { } TResult operator()(TArgs ...args)const { return partialLambda( [this](TArgs ...args) { return this->operator()(args...); }, args...); } }; template struct PartialLambdaTypeRetriver { typedef void FunctionType; typedef void LambdaType; typedef void YBuilderType; }; template struct PartialLambdaTypeRetriver { typedef TResult FunctionType(TArgs...); typedef TResult LambdaType(function, TArgs...); typedef YBuilder YBuilderType; }; template struct PartialLambdaTypeRetriver { typedef TResult FunctionType(TArgs...); typedef TResult LambdaType(function, TArgs...); typedef YBuilder YBuilderType; }; template function Y(TLambda partialLambda) { return typename PartialLambdaTypeRetriver::YBuilderType(partialLambda); } int _tmain(int argc, _TCHAR* argv[]) { auto fib = Y([](function self, int index) { return index