ラムダ式を返す関数

Question

ラムダ関数をC++ 11で返す関数を書くことができるのだろうかと思います。もちろん、そのような関数を宣言する方法が問題です。各ラムダには型がありますが、その型はC++では表現できません。私はこれがうまくいくとは思わない：

auto retFun() -> decltype ([](int x) -> int) 
{ 
    return [](int x) { return x; } 
} 

もこの：

int(int) retFun(); 

私はラムダから関数へのポインタ、たとえばへの自動変換、またはそのようないくつかを認識していませんよ。関数オブジェクトを手作りして返す唯一のソリューションですか？あなたはどのラムダ関数が変換されているし、ちょうどstd::functionを使用し、手作りの関数オブジェクトを必要としない

Answer 1

：この単純な例

std::function<int (int)> retFun() { 
    return [](int x) { return x; }; 
} 

Answer 2

、あなたはstd::functionは必要ありません。標準5.1.2/6から

：

ないラムダキャプチャとラムダ式ための閉鎖型ポインタに公共非仮想非明示的なconstの変換機能を有していますクロージャ型の関数呼び出し演算子と同じパラメータと戻り値の型を持つように機能します。この変換関数によって返される値は、呼び出されるとクロージャ型の関数呼び出し演算子を呼び出すのと同じ効果を持つ関数のアドレスとする。

あなたの関数は、キャプチャを持っていないので、それはラムダタイプint (*)(int)の関数へのポインタに変換できることを意味します

typedef int (*identity_t)(int); // works with gcc 
identity_t retFun() { 
    return [](int x) { return x; }; 
} 

私の理解です。つまり、私はなら、私を修正違う。

Answer 3

ラムダ関数の戻り型を明示的に指定しないでください。他のラムダ関数からラムダ関数を返すことができます。

auto retFun = []() { 
    return [](int x) {return x;}; 
}; 

Answer 4

質問は、特にこの時につまずくとC++ 14コンパイラ、Cへのアクセス権を持って他人のために、約C++ 11を尋ねるものの++：ちょうどグローバルスコープでそのような何かを書きます14では、通常の関数に対して推定された戻り値の型を使用できるようになりました。これは、複数のreturn <lambda>;場合は動作しないことが

auto retFun() 
{ 
    return [](int x) { return x; } 
} 

注、：だから、問題の例は、関数のパラメータリストの後-> decltype ...句をドロップするだけで、必要に応じてうまく動作するように調整することができます関数に現れます。これは、すべてのreturnステートメントは同じ型の式を返さなければならないが、すべてのラムダオブジェクトにはコンパイラによって独自の型が与えられているため、式はそれぞれ異なる型を持つからです。