C の自動型推論で再帰 Lambda 関数が失敗するのはなぜですか?

再帰ラムダ関数と型推論

次の再帰ラムダ関数を考えてみましょう。

auto sum = [term,next,&sum](int a, int b)mutable ->int {
  if(a>b)
    return 0;
  else
    return term(a) + sum(next(a),b);
};

このコードは失敗します。次のようにコンパイルしますerror:

error: ‘`((<lambda(int, int)>*)this)-><lambda(int, int)>::sum`’ cannot be used as a function

この問題は、ラムダ関数の型を推論するために auto を使用することに起因します。 auto が使用される場合、コンパイラは初期化式から型を推測しようとします。ただし、この場合、初期化式自体がキャプチャしている型を認識している必要があり、循環依存関係が作成されます。

これを解決するには、代わりに完全に指定された関数オブジェクトの型を使用できます。

std::function<int(int,int)> sum = [term,next,&sum](int a, int b)->int {
   if(a>b)
     return 0;
   else
     return term(a) + sum(next(a),b);
};

この場合、コンパイラはラムダ クロージャの型を推論する必要がなく、ラムダはその型について完全に知ることができます。

再帰ラムダ関数は型推論で動作しますが、コンパイルの問題が発生する可能性があるため、通常はお勧めできません。代わりに、型を明示的に指定することで、コンパイラがコンパイル時に必要な情報をすべて確実に取得できるようにします。

以上がC の自動型推論で再帰 Lambda 関数が失敗するのはなぜですか?の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。