为调试段添加起止符号导致二进制体积增至三倍的原因排查

看起来你踩了链接脚本中过度对齐的坑——给每个调试段单独设置ALIGN(4K)正是导致二进制体积暴涨的罪魁祸首，而且跟重复生成调试信息完全无关。

为什么体积会翻三倍？ #

默认情况下，LLVM的lld链接器（Zig默认使用的链接器）会把调试段紧凑排列，这些段的原生对齐要求通常很低（比如4字节或8字节），不会产生太多空填充。但你给每个调试段都加上ALIGN(4K)后：

• 每个调试段的起始地址都被强制对齐到4KB边界，哪怕这个段本身只有几十字节。比如一个100字节的.debug.info段，会占用整整4KB空间（剩下的3996字节全是填充的零）。
• 下一个调试段（比如.debug.abbrev）又要从下一个4KB边界开始，以此类推，每个小调试段都会浪费大量空间。
• 更糟的是，这种自定义段规则可能打乱了链接器对.text、.rodata等核心段的默认布局优化，导致这些段也被迫产生不必要的对齐间隙，进一步推高了整体体积。

你提到两种情况都包含完整的调试信息，这就排除了重复生成调试段的可能，问题完全出在过度对齐带来的无效填充字节上。

修复方案 #

你不需要给每个调试段单独设置对齐，只要调整链接脚本的写法，就能同时保留调试段的起止符号，又避免体积暴涨：

方案1：去掉单个段的ALIGN(4K)，按需整体对齐 #

如果不是必须让每个调试段单独对齐到4KB，直接去掉每个段的ALIGN(4K)，只保留起止符号即可：

.debug_info : { DEBUG_INFO_START = .; *(.debug.info) DEBUG_INFO_END = .; }
.debug_abbrev : { DEBUG_ABBREV_START = .; *(.debug.abbrev) DEBUG_ABBREV_END = .; }
.debug_line : { DEBUG_LINE_START = .; *(.debug.line) DEBUG_LINE_END = .; }
/* 其他调试段照此处理 */

如果确实需要整个调试区域对齐到4KB，可以在所有调试段之前统一设置一次对齐：

SECTIONS {
    /* 先处理核心段，保持默认布局 */
    .text ALIGN(4K) : { *(.text) }
    .rodata : { *(.rodata) }

    /* 统一对齐调试区域，再逐个设置起止符号 */
    . = ALIGN(4K);
    .debug_info : { DEBUG_INFO_START = .; *(.debug.info) DEBUG_INFO_END = .; }
    .debug_abbrev : { DEBUG_ABBREV_START = .; *(.debug.abbrev) DEBUG_ABBREV_END = .; }
    /* ...其他调试段 */
}

方案2：用ALIGN_WITH_INPUT继承原生对齐 #

如果你坚持要给调试段设置对齐，但不想强制4KB，可以用ALIGN_WITH_INPUT来继承目标文件中调试段的原始对齐要求，避免不必要的填充：

.debug_info ALIGN_WITH_INPUT : { DEBUG_INFO_START = .; *(.debug.info) DEBUG_INFO_END = .; }
.debug_abbrev ALIGN_WITH_INPUT : { DEBUG_ABBREV_START = .; *(.debug.abbrev) DEBUG_ABBREV_END = .; }

方案3：基于Zig默认链接脚本修改 #

Zig自带了针对不同目标的优化过的默认链接脚本，你可以先查看默认脚本：

zig ld --print-script > zig-default-script.ld

然后在默认脚本的基础上，为调试段添加起止符号，这样不会打乱链接器的默认布局优化：

/* 引入默认链接脚本 */
INCLUDE "zig-default-script.ld"

/* 为调试段添加起止符号 */
.debug_info : {
    DEBUG_INFO_START = .;
    *(.debug.info)
    DEBUG_INFO_END = .;
}
.debug_abbrev : {
    DEBUG_ABBREV_START = .;
    *(.debug.abbrev)
    DEBUG_ABBREV_END = .;
}

验证方法 #

你可以用LLVM工具链的命令来直观查看段的变化：

• 用llvm-size -Ax your-binary查看每个段的大小和起始地址，对比修改前后的填充字节
• 用objdump -h your-binary查看段的对齐要求和实际占用空间

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