関数のテンプレートをテンプレート引数として渡すことはできますか？私たちは、テンプレートfuncionを持っていることを

Question

レッツ・asssume、：

template<typename T1, typename T2, typename T3> 
T3 such_fun(T1 a, T2 b) { 
    // do something... 
} 

、今私たちは、例えば、別のテンプレートでは、引数としてそれを使用したいですそのように

template<typename T1, template<typename, typename, typename> some_function> 
void big_fun(T1 a) { 
    // some code... 
    a = some_function<T1, T1, T1>(a, a); 
    // some code... 
} 

可能でしょうか？

私はdefined（）演算子で構造体を使用できることを知っています。私は機能について興味があります。

EDIT：

私はその質問に私の友人を書いていたものの部分的な解決策が見つかりました：

template<typename T1, T1 (*some_function)(T1, T1)> 
void big_fun(T1 a) { 
    // some code... 
    a = some_function(a, a); 
    // some code... 
} 

しかし、まだを - それは前に関数型のマテリアなく可能だ場合、私は好奇心が強いですコール。たとえば、渡されたテンプレートをさまざまな種類の組み合わせで呼び出すことができます。

template<typename T1, typename T2, template<typename, typename, typename> some_function> 
void big_fun(T1 a, T2 b) { 
    // some code... 
    a = some_function<T1, T1, T1>(a, a); 
    a = some_function<T1, T2, T1>(a, b); 
    b = some_function<T2, T2, T2>(b, b); 
    b = some_function<T2, T1, T2>(b, a); 
    // some code... 
} 

Answer 1

いいえ、これはできません。 N3337で14.3.3から：

テンプレートテンプレートパラメータのテンプレート引数はクラステンプレートまたはエイリアステンプレートの 名前でなければならない、 ID式のように表します。 template-argumentがクラステンプレートの名前を指定するとき、 プライマリクラステンプレートのみが考慮されます。 テンプレート引数と対応するパラメータが一致します。部分テンプレート の特殊化は、パラメータリストがテンプレートテンプレートパラメータのパラメータリスト と一致しても考慮されません。

最初の段落では、明示的にクラステンプレートのみが記述されています。私もそれはあなたがすでに関数で非常によく似た何かを行うことができるか、または引数としてstd::functionを行うことができれば、本当に問題にならないと思います。

Answer 2

C++のテンプレートは、コンパイル時にコンクリート型を使用してコンパイルされます。彼らを知る必要があります。

これは、引数を導き出すことができる関数テンプレートを渡すことで、部分的な解決策をさらに進めることができると述べています。これは、lessをタイプするだけの具体的な型の関数を明示的に渡すことと違いはないことに注意してください。

限り template< typename T1, typename T2, typename T3> someTemplateが希望どおりに実行し、他のテンプレート内で、できるだけ多くの組み合わせで使用することができ、エラーなしでいくつかの実際のクラスと評価されたよう

template<typename T> 
T square(T a, T b) 
{ 
    return a * b; 
} 

template<typename T, T (*some_function)(T, T)> 
T test(T a) 
{ 
    return square (a, a); 
} 

void main() 
{ 
    int a = test<int, square>(2); 
    float b = test<float, square>(2.2f); 
} 

Answer 3

。

コンパイルしようとしましたか？