我可以指定模板参数应该是某个基类的子类吗？

【问题标题】：Can I specify that template arguments ought to be subclasses of some base class?我可以指定模板参数应该是某个基类的子类吗？
【发布时间】：2011-04-14 02:27:03
【问题描述】：

我有一个类旨在使用某种类型的参数。有什么方法可以强制模板参数是指向某种类型的子类的指针？

【问题讨论】：

stackoverflow.com/questions/3175219/…
C++: Templates of child classes only的可能重复

标签： c++ templates

【解决方案1】：

#include <type_traits>
#include <utility>

struct B { };
struct D : B { };

template <typename T>
struct S {
    typedef typename std::enable_if<std::is_base_of<B, T>::value>::type check;
};

int main()
{
    S<B> x;   // Ok!
    S<D> y;   // Ok!
    S<int> z; // Not ok!
}

enable_if 实用程序和 is_base_of 类型特征是 C++0x 标准库的一部分，但两者在 Boost 中也可用。

【讨论】：

也可以将其放入模板参数中：template <typename T, typename = std::enable_if<std::is_base_of<B, T>::value>::type>。
是的，你可以，但是你的模板参数列表很快就会变得笨拙。
我个人觉得static B* check = (T*) 0 足够清楚。无需为此包含 Boost。