テンプレート関数はラムダの引数を推定できますか？関数ポインタを取る

Question

テンプレート機能は、このようなその関数ポインタの引数を推測することができます

template<class... Args> 
void func(void (*ptr)(Args&& ...)) { 
    //Do something useful knowing the Args... 
} 

あなたは、引数としてラムダと同じことを行うことができます。 std::functionに頼ることなく、function_traitsのようなメタプログラミングの特性クラスを書くことなく？すなわち関数を使用するだけで引数を導き出す。

Answer 1

いいえ、それはできません。テンプレート引数の控除では、引数の型の「構成上」の一部である型、定数、テンプレートを推論することができます。たとえば、voidとArgs...をvoid(*)(Args&&...)から推測するか、TとNをT(&)[N]から控除します。タイプに現れないものは推論できません。

非多型ラムダ型Tの場合、&T::operator()の型にはラムダの引数型に関する推測可能な情報が含まれています。しかし、T自体はありません。