テンプレートテンプレート関数のパラメータ

Question

、私は難解なテンプレートの魔法のこのシンプルな作品を動作させることはできません。

template<typename T, int a, int b> 
int f(T v){ 
    return v*a-b; // just do something for example 
} 

template<typename T, int a, int b, template<typename,int,int> class func> 
class C{ 
    int f(){ 
    return func<T,a,b>(3); 
    } 
}; 

int main(){ 
    C<float,3,2, f> c; 
} 

はファンクタを介さずに行うことは可能、このですか？

Answer 1

fはクラスとみなされています - あなたは関数を持っています。

以下を参照してください。

#include <iostream> 


template<typename T, int a, int b> 
int f(T v) 
{ 
    std::cout << "Called" << std::endl; 
    return v*a-b; // just do something for example 
} 

template<typename T, int a, int b, template<typename,int,int> class func> 
struct C 
{ 
    int f() 
    { 
    return func<T,a,b>(3); 
    } 
}; 

template <class T, int a, int b> 
struct FuncAdapt 
{ 
    T x_; 
    template <class U> 
    FuncAdapt(U x) 
    : x_(x) 
    {} 
    operator int() const 
    { 
    return f<T,a,b>(x_); 
    } 
}; 

int main() 
{ 
    C<float,3,2, FuncAdapt > c; 
    c.f(); 
} 

Answer 2

いいえ、そうではありません。構文も：

template <typename T, int a, int b, template <typename, int, int> class func> 
                    ^^^^^ 

は、テンプレートテンプレートパラメータの引数がクラステンプレートでなければならないことを示しています。

Answer 3

あなたのコンパイラがある理由：あなたはポートレガシーコード（クラステンプレートに機能を適応させる）する必要がある場合

// Class acts like a function - also known as functor. 
template<typename T, int a, int b> 
class f 
{ 
    int operator()(T v) 
    { 
    return v*a-b; // just do something for example 
    } 
}; 

template<typename T, int a, int b, template<typename,int,int> class func> 
class C 
{ 
    int f() 
    { 
    return func<T,a,b>(3); 
    } 
}; 

int main() 
{ 
    C<float,3,2, f> c; 
} 

を...そして適応バージョンクラスとしてCの最後のテンプレートパラメータに関数（f）を渡しているという不満があります。

関数をテンプレートパラメータとして渡すことはできないため、関数ポインタまたは関数ファンクタを使用する必要があります。そして、ファンクターは間違いなくこれを行うためのよりクリーンな方法です。

したがって、ファンクターを使用せずに、あなたが望むものを達成することは可能ですが、実際には試してはいけません。

あなたはこのような何かを見ていることになる関数ポインタを使用したい場合：私はあなたがcの宣言でコードの重複を排除することができるだろうとは思わないような場合には

template<typename T, int a, int b, int (*func)(T)> 
class C{ 
    int f(){ 
     return (*func)(3); 
    } 
}; 

int main(){ 
    C< float,3,2,&f<float,3,2> > c; 
} 

、しかし私は間違っているかもしれません。あなたは少し策略を通してそれを解決することができ

Answer 4

：

template<typename T, int a, int b> 
int f(T v){ 
    return v*a-b; // just do something for example 
} 

template<typename T, int, int> 
using func_t = int (*)(T); 

template<typename T, int a, int b, func_t<T, a, b> func> 
class C{ 
    int f(){ 
    return func(3); 
    } 
}; 

C<float,3,2, f<float, 3, 2>> c; 

まず、機能（上記func_t）のための型の別名を必要とする、とあなたは、残念ながらcの宣言にテンプレート引数を複製する必要があります。