关于将const变量用作非类型模板参数的技术疑问

要搞清楚这个问题，核心是理解C++对模板非类型参数的要求：它必须是一个编译期常量表达式，而不是仅仅被const修饰。

能正常编译的情况分析 #

先看这段可通过编译的代码：

template <int N>
void func() { }

int main(int argc, char *argv[]) { 
    const int x = 12;
    func<x>();
}

这里的const int x = 12，x被一个编译期已知的常量（字面量12）初始化。虽然没有显式用constexpr修饰，但根据C++标准，这种用常量表达式初始化的const整数类型变量，本身会被编译器视为常量表达式——它的值在编译期就能完全确定，满足模板非类型参数的要求，因此可以作为func的模板实参。

无法编译的情况分析 #

再看这段报错的代码：

int main(int argc, char *argv[]) { 
    const int x = argc;
    func<x>();
}

这里的argc是程序运行时才会确定的值（来自命令行传入的参数数量），哪怕x被const修饰（表示运行时不能修改x的值），但x的本质是运行时常量，它的值在编译期无法确定，不属于编译期常量表达式。而模板实例化是在编译阶段完成的，编译器此时无法得知x的具体值，自然无法通过编译。

关键结论 #

• const和constexpr不是等价的：const仅保证变量运行时不可修改，constexpr才是明确声明变量的值是编译期可确定的常量表达式。
• 对于用编译期常量表达式初始化的const整数类型变量，编译器会隐式将其视为常量表达式，允许作为模板非类型参数；但如果初始化值是运行时才能确定的，哪怕加了const，也无法满足模板参数的要求。

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