指定地址赋值代码是否会被编译器优化？求权威执行保障依据

1. 这段代码会不会被优化消除？ #

不会。

当你写出int *ptr = (int *)0x1234; *ptr = 2;这样的代码时，编译器无法确定0x1234这个地址指向的是什么：它可能是一块普通RAM，也可能是内存映射的硬件寄存器（比如嵌入式系统里的外设控制地址）。根据C标准的规则，这种对未知地址的写入操作被视为带有外部可见副作用的操作——编译器不能仅凭“后续没用到这个值”就判定它是无用代码，因为这个写入可能会触发硬件行为、影响外部设备状态，这些都是编译器无法感知的外部副作用。

2. 能否确保在任何合规编译器及任意优化级别下都被执行？ #

是的，只要编译器符合C标准（如C99、C11、C17），就必须保留这个写入操作。

C标准明确要求，编译器必须保留所有具有外部可见副作用的操作。这里的核心逻辑是：编译器没有能力验证0x1234这个地址的属性，它不能假设这个写入没有实际意义——哪怕你在作用域内再也没用到ptr或者这个值，编译器也必须执行这个内存写入。

你用-S测试gcc和gcc-arm-none-eabi时看到代码没被优化，这完全符合标准要求，这两款都是合规的C编译器实现。

关于权威准则的补充 #

你采纳的Jonathan Mee的答案，核心就是基于C标准中对「副作用」和「内存位置」的定义：当指针指向的内存区域是编译器无法静态追踪其用途的（比如显式转换的常量地址），对应的存储操作属于必须保留的外部副作用，不能被优化消除。

如果是指向普通栈/堆内存的指针，编译器可能会在某些优化级别下消除无用写入，但这种显式指定硬件级地址的情况完全不同——编译器必须保守地认为这个地址关联着外部状态，所以不会优化掉这个操作。

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