C++中constexpr const char*与const char* const的区别是什么？

你观察到的差异本质上是const和constexpr的语义边界不同，二者的作用并不完全等价，标准的规则设计是为了明确语义边界，而非无意义的限制。

• 首先明确两者的语义差异
  const的限定仅作用于运行期：const char* const仅代表「指针本身和指向的内容在程序运行期间不能被修改」，但它的初始化值完全可以是运行期才确定的内容，比如下面的写法是完全合法的：

void demo(const char* runtime_input) {
    const char* const p = runtime_input;
    // 后续只能读取p和*p，不能修改，但p的初始值是运行时传入的，编译期不可知
}

而constexpr的限定作用于编译期：constexpr const char*强制要求变量的初始化值必须是编译期可确定的常量，编译器会在编译阶段就完成值的校验，不允许用运行期内容初始化。

• 为什么const char* const不能默认用作编译期表达式
  因为const语义不保证初始化值是编译期已知的，编译器没有办法默认所有const char* const都是编译期常量——如果强行将符合条件的const变量识别为编译期可用，会出现「同一个语法的变量在部分场景能用于编译期、部分场景不能」的歧义，反而会增加代码的不可预测性。
  如果你确实需要一个const char* const类型的变量能用于编译期上下文，只需要给它加constexpr标注即可，相当于显式告诉编译器「这个变量的初始化值是编译期可确定的，请做校验」。

• 关于ASLR的补充说明
  你提到的虚拟地址随机化机制和constexpr的语义并不冲突：constexpr指针保存的是静态存储区数据的相对偏移量，这个偏移量是编译期固定的，程序运行时操作系统会给进程分配随机基址，最终的虚拟地址是基址+偏移量，所以不会和ASLR冲突，也不需要保证多次运行的指针值一致。

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