我想检查模板中给定的类型是否从我的项目中的基类继承而来。
它应该像以下示例所期望的那样工作:
它应该像以下示例所期望的那样工作:
template< class T : public CBaseClass >
- 如果使用模板无法实现这个功能,那么还有什么其他方法可以做到呢?
template<class Test, class Base>
struct AssertSameOrDerivedFrom {
AssertSameOrDerivedFrom() { &constraints; }
public:
static void constraints() {
Test *pd = 0;
Base *pb = pd;
}
};
template<class T>
struct YourClass {
YourClass() {
AssertSameOrDerivedFrom<T, CBaseClass>();
}
};
template<class T>
struct YourClass {
static_assert(std::is_base_of<CBaseClass, T>::value);
};
你可以使用Boost的boost::is_base_and_derived
,结合BOOST_STATIC_ASSERT
。如果你正在使用支持TR1或C++0x的编译器,则标准库中有那些构造的等效物(std::is_base_of和C++0x中的static_assert语句)。
<type_traits>
头文件和其中的std::is_base_of
模板。 - Jeremiah Willcock如果您想要断言,请按照Nurk的方式进行。如果您想要检查,请使用boost或C++0x中的is_base_of。如果您不能使用这两者之一,请使用SFINAE:
template < typename Base, typename PotentialDerived >
struct is_base
{
typedef char (&no) [1];
typedef char (&yes) [2];
static yes check(Base*);
static no check(...);
enum { value = sizeof(check(static_cast<PotentialDerived*>(0))) == sizeof(yes) };
};
std::is_base_of
:static_assert(std::is_base_of_v<CBaseClass, T>);
if constexpr
结合使用:if constexpr (std::is_base_of_v<CBaseClass, T>) {
//
} else {
//
}
越短越好:
template <typename Base, typename Derived>
struct is_base {
constexpr static bool check(Base*) { return true; }
constexpr static bool check(...) { return false; }
enum { value = check(static_cast<Derived*>(0)) };
};
例子 1:
struct A {};
struct B : A { };
int main(void) {
static_assert(is_base<A,B>::value, "If Error: A is not base of B");
}
template <bool, typename T=void>
struct Use {
static std::string info() { return "Implementation that consider that A is not base of B"; }
};
template <typename T>
struct Use<true,T> {
static std::string info() { return "Implementation that consider that A is the base of B"; }
};
int main(void) {
std::cout << Use<is_base<A,B>::value>::info(); //Implementation that consider that A is the base of B
}