c – 优先课程专业化

假设我们有一个双重参数化的模板

template<class A,class B>
class Class { .... };

并且对于特定的A和特定的B有特殊化

template<class B> class Class<A1,B> { .... };
template<class A> class Class<A,B1> { .... };

现在,当我必须实例化< A1,B1>编译器抱怨歧义,因为它找到< A,B1>和< A1,B>同样可用

当然可以通过添加< A1,B1>专业化,但在我的上下文中,它将是相同的< A1,B>.

有没有办法消除歧义,而不重复整个< A1,B>全码？

解决方法

一个可能性是简单地禁止第二个专业选择：

template<class A,class B,class=void>
class Class {};

template<class B>
class Class<A1,B> {};

template<class A>
class Class<A,B1,typename std::enable_if<!std::is_same<A,A1>::value>::type> {};

Demo.