C++模板特化优先级疑问：N<0时偏特化成员为何优先？

问题背景 #

我尝试通过模板递归实现一个简单的编译时整数范围，编写了如下代码：

#include <iostream>
template<int N, bool Enable = true>
struct S{
    static void print(){
        std::cout << N << ", ";
        S<N - 1>::print();
    }
};
template<int N>
struct S<N, N < 0>{
    static void print(){
        std::cout << N << ", ";
        S<N + 1>::print();
    }
};
template<>
struct S<0>{
    static void print(){
        std::cout << "0.\n";
    }
};
int main() {
    S<-5>::print();
    S<5>::print();
}

运行输出为：

-5, -4, -3, -2, -1, 0.
5, 4, 3, 2, 1, 0.

结果符合预期，但我无法理解其运行原理：当N < 0时，为何template<int N> struct S<N, N < 0>的print()会优先于主模板template<int N, bool Enable = true> struct S的print()被选用？且将print改为非静态成员时，也存在同样的优先级情况。

核心原因：模板特化的匹配优先级规则 #

C++模板匹配遵循更特化（more specialized）的模板会优先被选用的规则，具体到这段代码：

1. 主模板template<int N, bool Enable = true> struct S对两个模板参数没有额外限制，能匹配所有S<X, Y>的实例化请求，是最通用的版本。
2. 部分特化template<int N> struct S<N, N < 0>对第二个模板参数做了明确限制：必须等于N < 0的编译期计算结果。相比主模板，它的匹配条件更具体，属于更特化的版本。

当实例化S<-5>时，主模板的第二个参数有默认值true，原本会尝试匹配S<-5, true>，但此时编译器会检查是否有更特化的模板能匹配：

• 编译期计算N < 0：-5 < 0结果为true，所以这个部分特化的实例是S<-5, true>，和主模板的实例化请求完全匹配，且它比主模板更特化，因此编译器会优先选择这个部分特化版本的print()。

当N >= 0时，N < 0的结果是false，此时部分特化的实例是S<N, false>，和主模板默认实例化的S<N, true>不匹配，所以编译器会选用主模板的版本。

另外，全特化的S<0>是最特化的版本，所以当递归到N=0时，会直接匹配这个全特化模板，终止递归。

不管print是静态成员还是非静态成员，这个特化优先级规则都适用——因为规则针对的是模板类本身的匹配，成员函数的归属是跟着模板类走的。

内容的提问来源于stack exchange，提问作者Captain Giraffe