消除魔术数字：const int与constexpr int的差异探究

好问题！咱们一步步把这些细节搞清楚：

一、在.cpp源文件中用const vs constexpr的差异 #

首先你说的没错——在这个简单的场景下，大部分编译器都会把两种写法优化成直接硬编码42到机器码里，生成的最终执行文件几乎没有区别。但两者的语义和使用限制还是有细微差别的：

• constexpr是C++11引入的，它的核心语义是「这个值是编译期就能确定的常量」，相当于给编译器一个明确的指令：“这个值在编译时就可以算出来，放心把它当成编译期常量用”。
• const的语义是「这个变量的值不能被修改」，但它的初始化值不一定是编译期常量（比如const int x = get_runtime_value();也是合法的）。在你的场景里，const int SOMETHING = 42;编译器会自动优化成编译期常量，但这是编译器的“善意优化”，而非语法强制要求。
• 如果你后续不小心把初始化改成了运行时才能确定的值，constexpr会直接编译报错，而const只会在某些必须用编译期常量的场景（比如数组大小int arr[SOMETHING];）才会报错。

所以结论是：如果你的常量确实是编译期可确定的，constexpr的语义更严谨清晰；用const也能正常工作，更多是风格偏好，但constexpr能提前帮你规避一些潜在的错误。

二、把常量声明在.h头文件中的区别 #

这时候两者的差异就变得非常关键了，处理不好会引发编译错误或运行时的奇怪问题：

1. 用const的情况 #

C++中，全局作用域的const变量默认是内部链接（每个包含头文件的.cpp文件都会生成一个独立的常量副本）。如果多个源文件都包含这个头文件，每个文件里的const常量虽然值相同，但内存地址是不一样的——如果代码里用到了这个常量的地址（比如&SOMETHING），就会出现多个实例的问题，甚至引发未定义行为。

正确的做法是：

• 在头文件中声明：extern const int SOMETHING_SOMETHING_MEANING_OF_LIFE;
• 在某一个.cpp源文件中定义：const int SOMETHING_SOMETHING_MEANING_OF_LIFE = 42;
  这样所有源文件共享同一个常量实例，避免多副本问题。

2. 用constexpr的情况 #

• C++11/14中，全局constexpr变量默认也是内部链接，同样会有多个副本的问题，所以需要用extern constexpr声明+cpp定义的方式。
• C++17及以后，引入了inline变量的特性，constexpr变量可以直接用inline修饰放在头文件里：

  inline constexpr int SOMETHING_SOMETHING_MEANING_OF_LIFE = 42;
  

  这样所有包含头文件的源文件都会共享同一个常量实例，既保留了编译期常量的特性，又不用额外的cpp定义，写法更简洁。

总结 #

• 单.cpp文件内替换魔术数字：const和constexpr在效果上几乎一致，constexpr语义更严谨，推荐使用；
• 头文件中声明常量：const需要配合extern分声明/定义，constexpr（C++17+）用inline直接定义更方便，且能避免多副本问题。

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