外部EQU常量在BSS段预留空间的报错及异常现象问询

问题背景 #

我有两个汇编文件：

A.asm #

global nodeNum

section .data
; reading consts
cmdNum          equ 9
cmdSize         equ 5
; tree consts
nodeNum         equ 8

B.asm（初始版本，报错） #

extern nodeNum

section .bss
t1          resb 1
t2          resb 5*nodeNum
treevptr    resd 1

汇编时出现错误：Attempt to reserve non-constant quantity in BSS space

修改后的B.asm（可汇编，但存在地址重合问题） #

extern nodeNum

section .bss
t1          resb 1
t2          resb (1*nodeNum + 1*nodeNum)
treevptr    resd 1

问题解答 #

1. 初始版本为何报错？ #

核心原因有两点：

• equ是编译期伪指令，仅在当前汇编文件内做文本替换，不会生成可被其他文件引用的符号表条目。你在A.asm中写global nodeNum完全无效，因为equ nodeNum equ 8不会把nodeNum导出为全局符号，其他文件根本无法识别这个常量。
• B.asm里的extern nodeNum会让汇编器将nodeNum视为运行时才能确定地址的外部变量，而非编译期常量。BSS段的resb/resd等伪指令要求参数是编译期可确定的常量——因为汇编器需要在编译阶段计算BSS段的内存布局，提前确定每个变量的偏移和整个段的大小。用编译期未知的外部变量计算预留空间大小，自然会触发“尝试在BSS段预留非常量大小”的错误。

2. 修改后的版本为何能通过汇编，但nodeNum值为0？ #

这是汇编器与链接器的行为共同导致的：

• 当表达式写成1*nodeNum + 1*nodeNum时，汇编器会将其视为包含外部符号的重定位表达式。部分汇编器（如NASM）对这类表达式的限制更宽松，允许它作为resb的参数——本质是把t2的大小标记为需要链接阶段再计算。
• 但关键问题是：A.asm并未导出nodeNum这个符号（equ不会生成符号），链接时找不到nodeNum的定义。大多数链接器会将未定义的外部符号默认解析为0，导致t2的大小被计算为1*0 + 1*0=0，相当于t2未预留任何空间。这就使得t1（占1字节）之后的下一个地址直接被treevptr占用，出现地址重合问题。

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