模板模板函數參數

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應該是一個類 - 你有一個功能。

見下文：

// 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; 
} 

...而改編版本，如果你需要移植遺留代碼（適應函數類模板）：

#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

的原因，你的編譯器抱怨是你將一個函數（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; 
} 

在這種情況下，我不認爲你將能夠消除的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聲明。