c++ - 函数上的模板模板参数

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