指针类型是否为字面量类型？constexpr指针初始化疑问

一、字面量类型≠可声明为constexpr的充分条件 #

你说得完全没错：

• 标量类型（包括指针）确实属于字面量类型；
• 但字面量类型只是满足constexpr对象的必要条件，而非充分条件。

constexpr变量的核心要求是：它的初始化值必须是常量表达式（能在编译阶段就计算出结果的表达式）。哪怕类型是字面量类型，如果初始化表达式无法在编译期确定结果，依然不能声明为constexpr。指针作为字面量类型，只是拥有了成为constexpr对象的资格，但能不能真正声明，还要看初始化的地址是不是编译期可知的常量表达式。

二、为什么pointer1合法，pointer2报错？ #

你的观察精准：指向全局/静态存储期变量的指针可以声明为constexpr，但指向局部自动变量的不行，这是C++标准明确规定的。

背后的标准逻辑 #

根据C++11及后续版本的标准，指针类型的常量表达式允许以下几种情况：

• 指向拥有静态存储期的对象的地址（比如全局变量、static局部变量）；
• nullptr或者指向空指针的表达式；
• 指向静态存储期数组的元素的地址；
• 指向某个完整对象的首地址，且该对象拥有静态存储期。

而局部自动变量（比如你代码里main函数中的b）属于自动存储期，它的内存地址是程序运行时在栈上动态分配的，编译阶段根本无法确定这个地址的值，所以&b不是常量表达式，自然不能用来初始化constexpr int* pointer2。

反过来，全局变量a属于静态存储期，它的地址在程序启动前就已经确定，编译期可以获取这个地址值，所以&a是合法的常量表达式，能用来初始化constexpr指针。

补充验证例子 #

如果把局部变量改成static（转为静态存储期），代码就能正常编译了：

int main () {
    static int b = 4; // 改为静态存储期
    constexpr int *pointer2 = &b; // 合法！编译通过
}

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