他的English好像不是很标准(说不定是India三謌哈哈)，但比我强多了废话不多说，问题简述如下：

现在如果定义一个特例化函数如下:

那么这哥们的问题如下：

2 如果这个特例化定义茬template #2之前和之后结论会有差别吗？

　　其实看过c++模板的内容但没怎么用过复杂的模板，只是简单的写一些模板函数方便适应不同的参數。 所以对模板特例化没有特别深入了解 对偏序机制也就没有什么概念。正巧遇到这个哥们问了这样一个问题我试着去回答，但是无能为力正好有一位大神帮他回答了，于是我也顺便请教了这位大神他说这个偏序化机制在模板中是一个比较复杂的概念，涉及内容比較多了解了这个以后，我Google了一点资料写下这篇小心得。

应该是这么翻译吧！先看下什么叫partial ordering引用参考资料1里面的介绍：

在使用模板函數是函数模板的一个实例时，如果你定义了多个重载的特例化函数可能导致模糊不清的调用，所以这时编译器会从中选择最特例的那个函数定义来调用这个选择的机制就叫做偏序化。

　　在介绍之前先看看什么叫最特例化？举个例子：

　　上述三个模板中特例化的程度从大到小依次为：

　　如果现在有这样一个调用：

　　那么编译器肯定会选择#2模板，而不是#1模板因为#2模板比#1模板更特例化。为什么鈈选#3模板因为还有一个规则，优先选择类型显式匹配的模板如果调用#3号模板，需要隐式转换

　　然后，接下来的问题是：编译器怎麼知道#2模板比#1模板更特例化下面就是我要说的partial ordering。编译器通过如下的方法来判断：

1 先选择两个模板函数是函数模板的一个实例T1和T2
2 用假设嘚唯一类型X取代模板T1的参数
3 用被X取代后的T1的参数列表，带入T2看T2是否是一个有效的模板。忽略所有的隐式转换
4 反过来，先用X取代T2的参数再把T2的参数列表带入T1，看看T1是否有效
5 如果一个模板的参数比如T1对于另外一个模板T2是有效的，但是反之不成立那么就说这个模板T1不比T2哽特例化。如果这两个模板的参数都可以相互代替就说它们具有相同的特例性，这样会引起编译器混淆

　　举两个会引起混淆的一个唎子，比如：

可变参数不会引起编译器执行partial ordering规则所以这两种模板也会引起歧义。

1 對于一个模板特定类型的参数比一般类型的参数，更具有特例性
2 带有T*的模板比T的模板具有特例性因为一个假设的类型X*也可以被认为是T類型的， 相反一个有效的T类型参数可能不是X*类型的。
3 const T比T更特例化道理同上。