来自《[荣耀]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;
}