为何未初始化double变量参与运算时+运算符含义未定义？

首先得明确C++里的核心规则：读取未初始化的自动变量的值属于未定义行为（UB）。

你提到的代码示例：

double x;  // 未初始化的自动变量
double z = 2.0 + x;

这里的问题不是+运算符对double类型本身的定义有问题——正常情况下，两个double的加法是完全符合标准的。但问题出在x是未初始化的自动变量，读取它的值的那一刻，就已经触发了未定义行为。

一旦触发未定义行为，整个程序的行为就不受C++标准约束了。编译器可以自由处理这种情况：它可能生成错误的计算结果，可能让程序崩溃，甚至可能直接优化掉整个表达式。这时候，我们没法再用“标准里定义的double加法”来描述这个+的行为了，因为整个操作已经脱离了标准的范畴，所以Bjarne会说这里+的含义是未定义的。

简单来说：不是+本身对double无效，而是因为你给+传了一个“非法”的操作数（未初始化变量的值），导致整个运算的行为彻底失控，失去了标准定义的含义。

内容的提问来源于stack exchange，提问作者C.Kim