类局部特殊化定义中不同类型名称顺序之间是否有区别？

如何解决类局部特殊化定义中不同类型名称顺序之间是否有区别？

代码显示如下

template<typename t1,typename t2,typename t3>
class Test {

};

将类型名称t1指定为bool时，存在两种局部专用化

// 1
template<typename t5,typename t6>
class Test<bool,t5,t6> {
public:
    t5 n1;
    t6 n2;
};


// 2
template<typename t5,t6,t5> {
public:
    t5 n1;
    t6 n2;
};

似乎两者都工作相同，在类局部特殊化定义中，不同类型名顺序之间是否有区别？

解决方法

这两个专业是不同的。使用Test<bool,X,Y> t，专业化（1）的类型为t.n1的{​​{1}}，专业化（2）的类型为X的{​​{1}}。 Demo

通过交换t.n1和Y所使用的类型参数，同时在n1之后的列表中交换它们，您当然可以轻松解决。列表中n2之后的名称顺序对于专业化而言无关紧要。

,

感谢@Igor Tandetnik的答案，它可以帮助我弄清楚类型Test的类型如何匹配

template<typename t1,typename t2,typename t3>
class Test {

};

template<typename t2,typename t3>
class Test<bool,t3,t2> {   // 1
public:
    t2 n1;
    t3 n2;
};

当我们定义变量Test<bool,int,double> t时，它将转到1，然后将t3指定为int，将t2指定为double >