我有一个设计用于处理特定类型参数的类。有什么办法可以强制模板参数是指向某种类型的子类的指针吗?
最佳答案
#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 中也可用。
关于c++ - 我可以指定模板参数应该是某个基类的子类吗?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/5657898/