使用extern声明的常量初始化constexpr变量为何两类场景表现不同？

问题核心原因：两种constexpr初始化对编译期信息的要求完全不同 #

1. constexpr const int * b = a为什么能通过编译

你这里初始化的是指针常量，constexpr对指针类型的初始化只要求指向对象的地址是编译/链接期可确定的即可，不需要知道地址中存储的具体值：

• 全局数组a是静态存储期对象，它的地址在链接阶段就会固定下来，属于C++标准规定的「地址常量表达式」范畴，完全满足constexpr指针的初始化要求。
• 哪怕你不知道a里存的是什么元素，只要确定a的地址是固定的，就能初始化constexpr指针。

2. constexpr const int e = d为什么编译失败

你这里初始化的是整型常量，constexpr要求初始化值必须在当前编译单元的编译阶段就能确定，不能等到链接阶段：

• 编译main.cpp的时候，编译器只能看到test.h里的extern int const d;声明，完全看不到test.cpp里d = 4的初始化逻辑。
• 对编译器而言，d是一个定义在其他编译单元的外部变量，它的值只有链接阶段才能确定，自然无法用于需要编译期确定值的constexpr变量初始化。

补充：如果把d的定义移到main.cpp的同编译单元内，或者给d加上inline修饰让初始化式在头文件可见，这个编译报错就会消失。

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