C/C++编译器能否为extern const变量生成立即数+重定位而非加载指令？

我希望编译器生成类似如下的汇编代码：

mov eax,
add eax, 42
ret

并在链接阶段，利用另一个翻译单元（TU）中的常量值解析该重定位。请问是否有办法实现这一需求，或是存在导致无法实现的技术限制？

可以实现，核心是利用外部符号引用让编译器生成带重定位的指令，以下是具体实现方式和注意事项：

1. GCC/Clang 下的实现 #

在当前翻译单元中声明外部符号（不要加const，避免编译器优化重定位）：

extern int external_const;

编写目标函数：

int func() {
    return external_const + 42;
}

编译后生成的汇编代码会符合预期：

mov eax, external_const
add eax, 42
ret

在另一个翻译单元中定义该常量：

int external_const = 100; // 可替换为任意常量值

链接时，链接器会将external_const的重定位符号替换为实际值。

2. MSVC 下的实现 #

逻辑与GCC一致，注意显式声明外部符号：

extern int external_const;
int func() {
    return external_const + 42;
}

另一个翻译单元定义常量：

int external_const = 200;

编译后同样会生成带重定位的mov指令，链接阶段完成解析。

关键技术限制 #

• 禁止给外部符号加const修饰：如果声明为const extern int external_const;，部分编译器会将其视为编译期常量，直接优化掉重定位，导致链接错误。
• 不能用static修饰外部符号：static会将符号限制在当前翻译单元内，无法跨TU链接。
• 高优化等级下需关闭LTO：开启链接时优化（LTO，如GCC的-O3 -flto）会让编译器在编译阶段解析外部符号值，不会生成带重定位的mov指令，需添加-fno-lto关闭LTO。

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