嘿，这个问题其实戳中了C++里一个容易混淆的核心点——未定义行为，咱们慢慢理清楚：

首先先确认书中的描述是完全准确的：

在《C++程序设计语言》第9.2节中，Bjarne Stroustrup写道：注意，在全局或命名空间作用域中定义且无初始化器的变量会被默认初始化。但局部变量或自由存储区创建的对象并非如此。

你的代码里的int x;是函数局部变量，按照C标准，它属于「未初始化」状态。读取未初始化的局部变量是明确的未定义行为——这意味着C标准没有规定程序必须产生什么结果，它可能输出随机值、直接崩溃，甚至在不同环境下表现完全不一样。

那为啥g++会输出0呢？这是编译器在特定编译模式下的「贴心」行为：

• 默认情况下，g++是以Debug模式编译代码的，这个模式下编译器会自动把栈上的未初始化变量清零，目的是方便开发者调试（避免随机垃圾值干扰定位问题）。
• 但如果你开启优化选项（比如-O1、-O2或-O3），编译器就会跳过这个清零步骤，这时候运行程序大概率会输出随机的垃圾值——因为编译器会利用「未定义行为」做优化，不会浪费性能去处理没有明确要求的操作。

举个实际的编译例子：

• Debug模式编译：g++ test.cpp -o test，运行可能输出0
• 开启优化编译：g++ test.cpp -O2 -o test，运行结果大概率是随机数

最后必须强调：永远不要依赖这种输出0的行为！这不是标准规定的，换个编译器（比如MSVC）或者调整编译选项，结果就会变化。正确的做法是始终显式初始化局部变量，比如：

int x = 0;
// 或者C++11及以后更推荐的列表初始化
int x{};

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