如何解决我可以指定模板参数应该是某个基类的子类吗?
| 我有一个旨在与某种类型的参数一起使用的类。有什么方法可以强制让template参数成为某种类型的子类的指针?解决方法
#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中也都可用。
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。