C ++ 11で「auto」を使用して推定されるときのラムダのタイプは何ですか？

ラムダの型は関数ポインターであるという認識がありました。以下のテストを行ったところ、間違っていることがわかりました（デモ）。

#define LAMBDA [] (int i) -> long { return 0; }
int main ()
{
  long (*pFptr)(int) = LAMBDA;  // ok
  auto pAuto = LAMBDA;  // ok
  assert(typeid(pFptr) == typeid(pAuto));  // assertion fails !
}

上記のコードにポイントがありませんか？そうでない場合、キーワードでtypeof推定されるときのラムダ式は何autoですか？

ラムダ式のタイプは指定されていません。

しかし、それらは一般的にファンクタにとって単なる構文上の砂糖です。ラムダはファンクターに直接変換されます。内部の[]すべてのものは、コンストラクタパラメータとファンクタオブジェクトのメンバに()変換され、内部のパラメータはファンクタののパラメータに変換されますoperator()。

変数をキャプチャしないラムダ（[]「」内には何もない）は、関数ポインタに変換できます（コンパイラの場合、MSVC2010はこれをサポートしていませんが、この変換は標準の一部です）。

しかし、ラムダの実際の型は関数ポインターではありません。不特定のファンクタタイプです。

これは、関数呼び出し演算子をオーバーロードする一意の名前のない構造です。ラムダのすべてのインスタンスは新しいタイプを導入します。

非キャプチャラムダの特別なケースでは、構造体に関数ポインタへの暗黙的な変換が追加されています。

[C++11: 5.1.2/3]: ラムダ式の型（クロージャーオブジェクトの型でもあります）は、名前が付けられていない一意のunionクラス型（クロージャー型と呼ばれます）であり、そのプロパティについては以下で説明します。このクラスタイプは集約ではありません（8.5.1）。クロージャタイプは、対応するlambda-expressionを含む最小のブロックスコープ、クラススコープ、または名前空間スコープで宣言されます。[..]

この節では、このタイプのさまざまなプロパティをリストします。ここにいくつかのハイライトがあります：

[C++11: 5.1.2/5]:ラムダ式のクロージャタイプには、パブリックinline関数呼び出し演算子（13.5.4）があり、そのパラメータと戻り値のタイプは、ラムダ式のparameter-declaration-clauseとtrailing-return-typeによってそれぞれ記述されます。[..]

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

この最後の通路の結果は、あなたが変換を使用した場合、あなたが割り当てることができるだろう、ということであるLAMBDAにpFptr。

#include <iostream>
#include <typeinfo>

#define LAMBDA [] (int i)->long { return 0l; }
int main ()
{
  long (*pFptr)(int) = LAMBDA;  // ok
  auto pAuto = LAMBDA;  // ok

  std::cout<<typeid( *pAuto ).name() << std::endl;
  std::cout<<typeid( *pFptr ).name() << std::endl;

  std::cout<<typeid( pAuto ).name() << std::endl;
  std::cout<<typeid( pFptr ).name() << std::endl;
}

関数の型は確かに同じですが、ラムダは新しい関数（ファンクタのような）を導入します。

また、ラムダは関数ポインターに変換できることにも注意してください。ただし、typeid <>は、ラムダとジェネリック関数ポインターとが異なる非trvialオブジェクトを返します。したがって、typeid <>のテストは有効な仮定ではありません。一般に、C ++ 11では、型の指定について心配する必要はありません。これは、特定の型がターゲットの型に変換可能であるかどうかに関係します。

クラスメンバーとしてboost :: bindオブジェクトを保存するにはどうすればよいですか？、試す、boost::function<void(int)>またはstd::function<void(int)>。