类模板中静态constexpr模板偏特化在C++17/20下编译失败的原因及解决方法

你碰到的这个问题，本质是C++标准对模板偏特化中常量表达式的依赖规则在起作用——同样是初始化constexpr成员模板，偏特化引用类内成员就报错，全特化或用字面量就正常，下面给你拆解清楚：

为什么第一个代码会报错？ #

核心矛盾在于依赖模板参数的实体在偏特化初始化中的常量性判定：
在struct A的偏特化代码template<typename T> static constexpr size_t C<T> = B;里，B是类模板A<TSomeTemplate>的非模板成员，它依赖于类模板的参数TSomeTemplate。尽管B被声明为constexpr且初始化为1，但在偏特化的定义阶段，编译器还不知道TSomeTemplate具体是什么，无法提前确认B的初始化表达式在所有可能的实例化中都是合法的编译期常量——从语法上看，B属于未实例化的模板类，编译器不能默认它一定是常量。

而另外两个能编译的情况：

• struct Works用了成员模板的全特化：template<> static constexpr size_t C<int> = B;。全特化的成员模板会绑定到类模板的每个实例上，当类模板被实例化（比如Works<int>）时，B已经是确定的编译期常量，编译器可以正常解析。
• struct AlsoWorks的偏特化直接用了字面量2：这个值不依赖任何模板参数，是明确的常量表达式，自然能通过编译。

如何修复struct A的代码？ #

这里有几种实用的修复方案，你可以根据实际场景选择：

方案1：明确限定B的所属实例 #

把偏特化的初始化表达式改为A<TSomeTemplate>::B，让编译器明确这是当前类模板实例的成员，这样就能确认它是常量表达式：

template<typename TSomeTemplate> struct A {
    static constexpr size_t B = 1;
    template<typename T, typename... Ts> static constexpr size_t C = 4;
    template<typename T> static constexpr size_t C<T> = A<TSomeTemplate>::B;
};
int main() {
    A<int>::C<int>;
    return 0;
}

方案2：将B改为非模板常量 #

如果B的值不依赖类模板参数，直接把它移到类外作为全局constexpr常量，这样偏特化的初始化就不再依赖模板参数：

constexpr size_t B_CONST = 1;
template<typename TSomeTemplate> struct A {
    static constexpr size_t B = B_CONST;
    template<typename T, typename... Ts> static constexpr size_t C = 4;
    template<typename T> static constexpr size_t C<T> = B_CONST;
};

方案3：用constexpr成员函数包装B #

通过一个constexpr成员函数返回B的值，函数的返回值会被编译器视为合法的常量表达式：

template<typename TSomeTemplate> struct A {
    static constexpr size_t B = 1;
    static constexpr size_t get_B() { return B; }
    template<typename T, typename... Ts> static constexpr size_t C = 4;
    template<typename T> static constexpr size_t C<T> = get_B();
};

这三种方法都能让编译器确认偏特化的初始化表达式是合法的常量表达式，从而顺利通过编译。

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