C++ 如何自動推導遞歸 lambda 函數的類型？

// clang++ 3.5
// maybe gcc 4.9 support it, but I don"t test it
#include&
template&
struct wrapper_type
{
Functor functor;
template&
decltype(auto) operator()(Args... args) const
{
return functor(functor, std::forward&(args)...);
}
};

int main()
{
auto fac = wrapper([](auto self, int x)-&>int{
return x &< 1 ? 1 : x * self(self, x - 1); }); std::cout &<&< fac(3) &<&< std::endl; //6 return 0; }

vczh_toys/Main.cpp at master · vczh/vczh_toys · GitHub

我這個雖然不能自動推導，但是解決了你的lambda傳出函數之後調用會AV的問題。要完全解決這個問題只能等C++14，可以寫模板lambda函數之後，才能完全不要那個函數類型。

使用Lambda表達式編寫遞歸函數

@趙劼

基本上就是本文的C#版。根子上和 @bitdewy 一樣，就是靠fixed point做。

對於 @藍色 的答案，有一個解釋其原理的版本，不需要C++14.

#include &

int main(int argc, char** argv)
{
std::cout &<&< "Result: " &<&< foo::exec(5) &<&< std::endl; return 0; }

自問自答... 仍然不知道怎麼讓c++推導auto遞歸函數, 不過測試過程中發現一些很有意思的事,

有些函數Haskell推導不出, C++推導的出, 有些函數c++推導不出, Haskell推導的出...

#include&
#include&
using std::function;
int main()
{
//tested at g++ 4.9.2, 好像版本低一點也編譯不過
//g++ -std=c++1y -o anony anony.cpp
//c++推導的出類型
auto fac = [](auto self,auto n)-&>auto{
if(n &< 1) return 1; else return n * self(self,n-1); }; //fail to compile for this function //c++推導不出類型 auto fac2 = [](int n)-&>int{
if(n &< 1) return 1; else return n * fac2(n-1); }; std::cout&<&

所以這裡的問題又來了, g++認為fac函數以及self的類型是什麼? 因為同樣的代碼直接翻譯成haskell, 是會因為infinite loop而無法推導出類型的...