功能上的模板模板參數

Question

這是C++模板中的有效模板結構嗎？

template < template <typename T2> class T> 
void foo() { 

} 

Answer 1

是的。這是有效的。

您可以使用任何類模板調用此函數，其中完全是一個模板參數。例如，

template<typename T> 
struct A 
{ 
    //... 
}; 

foo<A>(); //ok 

注意，您不必爲A類模板，這意味着，以下會導致編譯錯誤模板參數：

foo< A<int> >(); //error 

而且，在你的代碼T2是可選的，而事實上，你不能在函數中使用它，所以最好將其刪除，使定義簡單：

template < template <typename> class T> 
void foo() { 

    T<int> x; //this is how T can be instantiated; provide template argument! 
} 

演示：http://ideone.com/8jlI5