c++ - 模板默认参数

Question

如何将模板类指定为模板类型名的默认值？例如以下不起作用。

template <typename A, typename B> class X {};

template <typename T=template <typename, typename> class X> class Y {};

int main()
{
    Y<> y;
    return 0;
} 

tmp.cc:4:22: error: expected type-specifier before ‘template’
 template <typename T=template <typename, typename> class X> class Y {};
                      ^~~~~~~~
tmp.cc:4:22: error: expected ‘&gt;’ before ‘template’
tmp.cc: In function ‘int main()’:
tmp.cc:8:7: error: template argument 1 is invalid
     Y<> y;
       ^

Answer 1

您的代码的问题是Y您询问类型模板参数并且想要使用模板模板参数。

template <typename A, typename B> class X {};

//           type                template template
//........VVVVVVVVVV VVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVV
template <typename T=template <typename, typename> class X> class Y {};

int main()
{
    Y<> y;
    return 0;
} 

如果要X作为默认使用，T必须是模板模板，所以

template <typename, typename>
class X
 {};

template <template <typename, typename> class T = X>
class Y
 {};

int main ()
 {
   Y<> y;
 } 

或者也使用可变参数来提高灵活性

template <template <typename...> class T = X>
class Y
 {};