C标准为何不支持全局变量初始化为两个地址常量相减的结果？

为什么C标准不允许两个地址相减初始化全局变量 #

核心原因分为两层： #

• 标准层面的可移植性约束
  C标准从未对全局变量的存储布局做强制规定：既不要求同一编译单元内的全局变量按声明顺序排布，也不约束相邻定义的同类型变量之间没有对齐填充字节，不同编译单元的全局变量顺序更是完全由链接器决定。因此addr_a和addr_b的差值不属于编译阶段可确定的常量，不符合全局变量必须用常量表达式初始化的规则。
  而(unsigned long)addr_b - 8属于标准明确允许的「地址常量加减整型常量表达式」，只需要链接器在确定addr_b的最终地址后，直接减去固定值8即可完成初始化，逻辑可跨平台实现。
• 实现层面的重定位格式限制
  主流操作系统的目标文件格式（如ELF、PE）提供的原生重定位规则，仅支持「单个符号地址加固定偏移」的静态修正，没有对应「两个符号地址相减结果作为静态初始值」的重定位类型。如果要支持这类操作，需要编译器额外插入运行时代码计算差值，违背了全局变量静态初始化不需要执行额外运行时逻辑的设计原则。

嵌入式场景特殊用法的说明 #

你提到的可信固件项目中用段起止地址差值的场景，属于非标准C的扩展用法：这类场景下的起止地址都是在自定义链接脚本中明确固定了相对偏移的特殊符号，差值在链接阶段就能确定，同时项目编译时开启了编译器的非标准扩展允许这类操作，不属于标准C的通用规则。
如果要在标准C中实现相同需求，可将差值计算逻辑放到main函数开头执行，运行时计算不受常量初始化规则约束。

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