constexpr与static Const：选择哪一个？

Question

对于定义像下面这样的整型类型的编译时常量（在函数和类作用域），哪种语法是最好的？

static const int kMagic = 64; // (1)
constexpr int kMagic = 64;    // (2)

(1)也适用于C++98/03编译器，而(2)至少需要C++11。两者之间还有其他区别吗？在现代C++代码中，应该选择其中一个或另一个，为什么？

int main()
{
#define USE_STATIC_CONST
#ifdef USE_STATIC_CONST
  static const int kOk = 0;
  static const int kError = 1;
#else
  constexpr int kOk = 0;
  constexpr int kError = 1;
#endif
  return kOk;
}

对于静态常量情况，这是GCC6.2生成的程序集：

main::kOk:
        .zero   4
main::kError:
        .long   1
main:
        push    rbp
        mov     rbp, rsp
        mov     eax, 0
        pop     rbp
        ret

另一方面，对于constexpr，它是：

main:
        push    rbp
        mov     rbp, rsp
        mov     DWORD PTR [rbp-4], 0
        mov     DWORD PTR [rbp-8], 1
        mov     eax, 0
        pop     rbp
        ret

虽然在-o3中，我得到了相同的（优化的）程序集：

main:
        xor     eax, eax
        ret

#include <iostream>
using namespace std;

int main() {
    const int k1 = 10;
    constexpr int k2 = 2*k1;
    cout << k2 << '\n';
    return 0;
}

但是，doubles似乎有不同的行为。我在这里单独提出了一个问题。

Answer 1

只要我们讨论的是声明的编译时常量 <罢工> 标量 整数或枚举类型，使用const（类作用域中的静态const)或constexpr完全没有区别。

请注意，编译器需要支持常量表达式中的静态const int对象（使用常量初始化器声明），这意味着编译器别无选择，只能将此类对象视为编译时常量。此外，只要这些对象保持ODR未使用，它们就不需要定义，这进一步表明它们不会用作运行时值。

此外，常量初始化规则防止动态初始化本地静态const int对象，这意味着本地声明此类对象不会带来性能损失。此外，整体静态对象对静态初始化的排序问题的免疫性是该语言的一个非常重要的特性。

constexpr是最初在C++中通过带有常量初始化器的const实现的概念的扩展和概括。对于整数类型，constexpr在const已经提供的功能之外没有提供任何额外的功能。constexpr只是对初始值设定项的“一致性”进行早期检查。但是，可以说constexpr是专门为此目的设计的一个特性，因此它在风格上更适合。