C++中的模板断言？

Question

有没有办法定义模板

assertInheritsFrom<A, B>

这样的

assertsInheritsFrom<A, B>

编译当且仅当

class A : public B { ... } // struct A is okay too

谢谢!

Answer 1

将静态断言与is_base_of<Base,Derived>Boost.TypeTraits 结合使用:

BOOST_STATIC_ASSERT(boost::is_base_of<B, A>::value);

一个天真的实现(不处理整数类型,私有基类和歧义)可能如下所示:

template<class B, class D>
struct is_base_of {
    static yes test(const B&); // will be chosen if B is base of D
    static no  test(...);      // will be chosen otherwise
    static const D& helper();
    static const bool value = 
        sizeof(test(helper())) == sizeof(yes);
    // true if test(const B&) was chosen
};