constで＆std :: functionで無視されますか？

Question

このコードはなぜコンパイルされますか？

std::function<void(const int&)> f = [](int a) 
{ 

}; 

はintとconst int&異なる種類ではありませんか？

Answer 1

const int&引数はintパラメータに渡すことができますが、これはすべて必須です。

Answer 2

仕事にあなたのコードの理由は、任意の関数オブジェクトFを取るstd::function<R(Args...)>のテンプレートコンストラクタがArgs...がRを返すと呼び出し可能であることをFを必要とすることです。

template<class R, class... ArgTypes> 
class function<R(ArgTypes...)> { 
    template<class F> function(F f); 
}; 

必要です：Fはコピーコンストラクトしなければなりません。 fは、引数タイプArgTypesと戻り値タイプRの場合はとなります。となります。 [...] intを取る

関数オブジェクトはconst int&を使用して呼び出し可能であり、したがって、このコードは有効であり、両方のリターンvoidための要件を満たしています。