如何专门化给定模板的模板

Question

是否可以将这个模板专门用于任何basic_string？

template<class T> struct X {};

由于basic_string本身就是模板，所以我知道这是一种解决方案：

template <template <class, class, class> class T> struct X {}; template <> struct X<basic_string> {};

但是，我想知道该语言是否允许保留第一个模板定义，只需以某种方式专用于basic_string即可。

Answer 1

是：

#include <string>

template <typename> struct X;

template <typename TChar, typename TTraits, typename TAlloc>
struct X<std::basic_string<TChar, TTraits, TAlloc>>
{
    // ...
};

您的主要模板采用一个类型参数，因此每个专业化必须以一种或另一种方式为X提供一个类型参数。