取自动存储期对象的地址是否会影响未定义行为的发生？

首先明确：执行取对象地址的操作，确实会改变后续使用该未初始化自动变量时的行为性质——从未定义行为（UB）变为未指定行为。

背后的原因 #

C++标准的这条规则，本质是为了给编译器提供优化空间：

• 对于从未被取过地址的自动存储期变量，编译器可以将其视为"逻辑上不存在"的对象——不需要为它分配实际的内存空间，直接用寄存器暂存或者干脆优化掉存储逻辑。这时候如果直接读取未初始化的它，相当于访问了一个根本没被创建的实体，自然触发未定义行为。
• 一旦执行了取地址操作，编译器就必须为该变量分配真实的内存空间（因为地址需要指向有效的内存位置），此时变量成为了一个实际存在的实体。这时候读取它的未初始化值，虽然得到的是不确定的垃圾值，但属于标准允许的未指定行为——程序不会直接触发UB（除非后续用这个垃圾值执行比如除以零、数组越界等危险操作）。

代码示例对比 #

• 触发UB的情况：

void test() {
    int x;
    int y = x; // UB：x未初始化且从未被取地址
}

• 不触发UB的情况：

void test() {
    int x;
    &x; // 取地址操作，强制编译器为x分配内存
    int y = x; // 未指定行为：读取垃圾值，但不属于UB
}

这种设计的核心目的是平衡性能与语言规则：让编译器能对不需要地址的临时变量做极致优化，同时保证当变量需要被寻址时，其存在性是确定的。

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