一种在编译期加约束的方式，可以学习一下这个思路

来自《[荣耀]C++模板编程与OO编程范型--混搭.pdf》

template<typename D, typename B>
class must_same_or_have_base
{
public:
    must_same_or_have_base()
    {
        void(*p)(D*,B*) = constraints;
    }

    static void constraints(D* pd, B* pb)
    {
        pb = pd;
    }
};

//这种偏特化对应一种情况，比如detail::D<detail::A, void> dab_;
//假如没有这个偏特化，那么它就能编译通过，应为void*能接住任何指针的对象
//所以加了这个偏特化之后，detail::D<detail::A, void> dab_;就会报编译错误：
//error C2280: “detail::D<detail::A,void>::D(void)”: 尝试引用已删除的函数

template<typename D>
class must_same_or_have_base<D, void>
{
    must_same_or_have_base();
};

namespace detail
{
    class A {};
    class B :public A {};
    class C {};
    template<typename T1, typename T2>
    class D :public must_same_or_have_base<T1, T2> {};
}


int main()
{
    detail::D<detail::B, detail::A> dba;


    detail::D<detail::A, detail::A> daa;


    detail::D<detail::A, void> dab_;
    detail::D<detail::A, detail::B> dab;
    detail::D<detail::C, detail::A> dca;
    detail::D<int, double> did;
}