C++11之前普通整型const变量是否总能作为模板参数使用？

你观察到的这种用法是C++98/03标准明确规定的合法行为，并非GCC、Clang的自定义扩展。

C98标准对模板非类型参数的实参有明确要求：必须是编译期可确定的常量表达式。同时标准也明确了一类常量表达式的来源：使用常量表达式完成初始化的const限定整型/枚举类型变量，本身属于常量表达式，这一规则远早于C11新增的constexpr关键字存在。

你给出的示例中所有用作模板参数的变量都完全符合标准要求：

• const int SIZE = 42：const整型，用整型字面量（常量表达式）初始化
• const int SIZE2 = SIZE ^ 0xDEADBEEF：const整型，用两个常量表达式的位运算结果（本身也是常量表达式）初始化
• const En E1 = V0：const枚举类型，用枚举常量（常量表达式）初始化

只有不符合上述要求的const变量才无法用作模板非类型参数，比如用运行时返回值初始化的const变量：

int get_val() {
    return 42;
}
const int INVALID_SIZE = get_val(); // 初始化值为运行时确定，不属于常量表达式
C<INVALID_SIZE> c; // 编译错误，所有符合标准的编译器都会报错

在C++11的constexpr出现之前，这种用法是实现编译期常量计算、静态断言等功能的核心基础，属于业界广泛使用的标准约定写法。

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