C++中基于自身声明变量为何可行？原理探究

先看这段代码：

#include <stdio.h>

int y = y;
int main() {
    int x = x;
    printf("Hello World%d|%d|\n", x, y);

    return 0;
}

观察到的现象 #

• 这段代码在C14至C23版本均可正常编译运行：全局变量y始终输出0，局部变量x输出值不固定，和未初始化变量的行为完全一致。
• 切换为C语言编译时直接报错：error: initializer element is not constant。
• 将int x = x;替换为int x = x*x;，行为也与仅声明x后打印x*x的结果一致。

背后的实现原理与编译器逻辑 #

1. C++全局变量的处理逻辑

全局变量y属于静态存储期对象，C++标准明确规定：静态存储期的对象如果没有显式初始化，会先执行零初始化。这里的int y = y;，实际执行顺序是：先把y零初始化为0，再执行自赋值操作（将0赋值给0，无实际影响），所以最终y的值固定为0。

2. C++局部变量的处理逻辑

局部变量x属于自动存储期对象，C++不要求自动存储期对象默认初始化。当执行int x = x;时，初始化表达式中的x是正在被创建的变量本身，此时它还未完成初始化，读取这个值属于未定义行为——因此输出结果随机，和直接声明int x;后打印x的行为一致。同理，int x = x*x;也是读取未初始化的x值进行计算，结果同样随机，符合未定义行为的表现。

3. C语言编译报错的原因

C语言对全局变量的初始化有严格限制：全局变量的初始化器必须是常量表达式。int y = y;中的右侧y是变量，属于非常量表达式，违反了C的语法规则，因此编译器直接抛出错误。而对于局部变量，C允许用非常量表达式初始化，但int x = x;同样属于读取未初始化变量的未定义行为，编译阶段不会阻止（除非开启严格编译选项），运行时结果也是随机的。

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