C++中constexpr编译期指针的工作原理及代码疑问解析

1. 模板非类型参数指针与constexpr函数指针参数的本质差异 #

你提到的模板指针参数限制，核心是模板特化必须确定指针的具体地址值——普通局部对象的地址由运行时分配，自然无法满足。但constexpr函数的指针参数逻辑完全不同：它只要求传入的实参是常量表达式，不需要把指针地址作为模板特化的标识，而是允许编译器在编译期模拟指针行为执行函数。

2. 代码合法的原因 #

字符串字面量（如"Monkey types Hamlet!"）属于具有静态存储期的常量表达式：编译器会在编译阶段将其存入程序的只读数据段，其地址在编译期即可确定。
同时，length是constexpr函数，传入字符串字面量后，编译器会直接在编译期解析字符串的字符内容，模拟循环计算长度，最终把length变量替换成编译好的数值——整个过程无需等到运行时执行。

3. 编译期str指向的内存 #

编译期逻辑上，str指向的是编译器为该字符串字面量分配的只读数据段（如.rodata）内存位置。不过实际编译期执行constexpr函数时，编译器不会真的访问运行时内存，而是直接操作字符串字面量的编译期内部表示，等价于直接读取字符序列计算长度。

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