如何专门化一个类模板，以便模板参数可以是类型：指向特定类的指针或指向该特定类型的派生类的指针？不使用Boost可以做到吗？
可能重复：C++ templates that accept only certain types
我只是想知道答案是否相同，即使我使用的是指向实例的指针。
【问题讨论】：
标签： c++ templates template-specialization
您可以将您的类专门用于指针，然后使用 std::is_base_of 和 static_assert：
template <typename T>
class foo;
template <typename T>
class foo<T*>
{
static_assert(std::is_base_of<Base, T>::value, "Type is not a pointer to type derived from Base");
};
See it in action。 std::is_base_of 和 static_assert 都是 C++11 特性，因此不需要 Boost。
如果由于某种原因你不喜欢static_assert，你可以使用enable_if 方式：
template <typename T, typename Enable = void>
class foo;
template <typename T>
class foo<T*, typename std::enable_if<is_base_of<Base, T>::value>::type>
{
// ...
};
【讨论】：
enable_if 使用语言的奇特特性来对某些事物强制执行断言式约束。它可用于在某些条件下启用不同的构造。您刚刚给出的示例是用于启用函数模板，您提供一个类型为 std::enable_if<...>::type* 默认为 0 的虚拟参数。我给出的示例是用于启用类专业化，您在其中提供一个类似的虚拟模板参数默认为void的方式。
enable_if 在条件为假时导致无效的模板实例化。特别是，如果条件为假，则不会定义其成员type。
一种基于某些谓词而不是模式的特化技术是使用额外的默认参数。
template <typename T, bool = predicate<T>::value>
class foo {
// here is the primary template
};
template <typename T>
class foo<T, true> {
// here is the specialization for when the predicate is true
};
您所需要的只是一个正确的谓词。在这种情况下，std::is_base_of 似乎很合适。它也有一个 boost 实现。
【讨论】：