C++：テンプレートを使用した関数ポインタ

Question

void func1(int){} 
void func2(char){} 

template <typename T> void (*p)(T); // error 
p = func1; 
p = func2; 

pのようなポインタを定義できないのはなぜですか？

Answer 1

@ SergeyAと@Brianの助けを借りて、私はこの問題を解決しました。私はここで答えを編集します。

template<typename T> void (*p)(T)：この場合、pは可変テンプレート（C++ 14）です。だから我々はこのようpを使用することができます。

p<int> = func1; 
p<char> = func2; 

template<class T> using p = void (*)(T)：この場合には、pは、タイプの種類（それだけtypedefのようだが、我々は、エイリアステンプレートのtypedefを使用するカント）です。私たちはこのようにそれを使用する必要があることを意味：

p<int> x1 = func1; 
p<char> x2 = func2; 

ところで、それらの両方がtemplate declarationがあるので、我々は、任意のブロックスコープでそれらを置くことはできません。

Answer 2

あなたはこのようにそれを行うことができます。

template<class T> using p = void (*)(T); 

void f(int); 
p<int> x = &f; 

Answer 3

C++ 14実際に変数のテンプレートを可能にするので、テンプレートpのあなたの定義が有効です。

ただし、pは可変テンプレートであり、変数ではありません。実際の変数を取得するためには、あなたが特定の型とそれをインスタンス化する必要があり、そのように：あなたの例では

p<int> = func1; 
p<char> = func2; 

Answer 4

、変数pはここに無関係な種類のオブジェクト（、互換性のない2つの機能を割り当てることができていますポインタ）。このような見かけの型の動的変化は、厳密に静的（コンパイル時）の構造であるテンプレートではサポートされていません。

このようなタイプシフトオブジェクトを実現するには、タイプの消去技術を適用する必要があります。その具体的なケースでは、std::functionはあなたの役に立つかもしれないように見えますが、固定機能の署名を決める必要があります。