C++ 0xのではstd ::関数インスタンス

Question

を作る方法を、私たちは次のように使用std::functionを使用します。

int normal_function() { 
    return 42; 
} 
std::function<int()> f = normal_function; 

だからstd::functionインスタンスを取得するために、我々は、まずその型を定義する必要があります。しかし、それは退屈で、時には難しい。

したがって、std::functionインスタンスをstd::tupleとちょうど同じにするにはmakeを使用できますか？

実際、私はグーグルで、C++ 0xはそのような機能を提供していません。

なぜC++ 0xはmake facilityを提供しませんか？ これを実装できますか？

Answer 1

はい、私たちは、これはあなたがmake_functionに関数を渡す必要が

template<typename T> 
std::function<T> make_function(T *t) { 
    return { t }; 
} 

それを実装することができます。プレーンな機能以外の何かのためにこれを拾うために過負荷を防ぐために、あなたは

template<typename T> 
std::function< 
    typename std::enable_if<std::is_function<T>::value, T>::type 
> make_function(T *t) { 
    return { t }; 
} 

あなたはクラス型の関数オブジェクトはしかし、それを通過していないし、何のメンバーポインタができないことをSFINAEすることができます。任意の関数オブジェクトに対しては、コールシグネチャを取得する方法はありません（それぞれoperator()がテンプレートの場合はどうしますか？）。これはおそらく、C++ 11がそのような機能を提供しない理由です。