关于GNU Linker孤儿段与符号分配的技术疑问

我猜你困惑的另一个核心概念大概率是自定义输出段的显式定义——毕竟这是和孤儿段逻辑最容易产生冲突、也最需要配合的部分，很多人在写自定义SECTIONS命令时都会在这里踩坑。

先把你已经了解的孤儿段核心逻辑再梳理一遍，方便后续结合场景分析：

• 当编译生成的输入段（比如.foo）在你的链接脚本SECTIONS块中找不到同名输出段定义时，链接器会自动创建一个同名输出段，将该输入段放入其中；
• 若多个目标文件中存在同名输入段，它们会被合并到同一个自动生成的输出段里，顺序遵循链接时目标文件的传入顺序。

下面结合常见场景拆解两者结合的逻辑和避坑点：

1. 手动定义输出段时，如何让潜在孤儿段“归队”？ #

如果你想把可能出现的孤儿段合并到手动定义的输出段中，不用等链接器自动创建，直接在SECTIONS里用通配符或显式指定即可。比如：

SECTIONS {
  .text : {
    *(.text)       /* 匹配所有目标文件的.text段 */
    *(.text.*)     /* 兜底所有.text开头的孤儿段，比如.text.foo、text.bar */
  }

  .data : {
    *(.data)
    *(.data.*)
    *(.rodata)     /* 显式将只读数据段归入.data，避免它成为孤儿段 */
  }

  /* 未被上述规则匹配的输入段，会自动生成对应孤儿段 */
}

这里要注意：手动定义.text后，.text.foo这类衍生段不会自动归入.text，必须用通配符*.text.*显式包含，否则它们会被当作孤儿段单独生成输出段——这是新手最容易踩的坑。

2. 如何完全禁用孤儿段的自动生成？ #

如果你想确保所有输入段都被手动分配（避免遗漏），可以通过链接选项或脚本指令禁止孤儿段自动创建：

SECTIONS {
  /* 你的自定义输出段定义 */
}
PHDRS {
  /* 你的程序头定义 */
}
/* 遇到未匹配的输入段直接报错，而非自动创建孤儿段 */
--orphan-handling=error

--orphan-handling有三个取值：place（默认，自动创建）、warn（创建但抛出警告）、error（直接终止链接并报错）。

3. 孤儿段的内存分配规则 #

自动生成的孤儿段会遵循你在脚本中定义的MEMORY布局规则。比如你定义了内存区域：

MEMORY {
  ROM (rx) : ORIGIN = 0x0000, LENGTH = 0x1000
  RAM (rw) : ORIGIN = 0x1000, LENGTH = 0x1000
}

那么只读属性的孤儿段（比如.rodata.foo）会被自动分配到ROM区，可读写属性的（比如.data.bar）会被分配到RAM区，和手动定义的输出段遵循完全一致的属性匹配逻辑。

4. 如何验证孤儿段的生成情况？ #

如果你不确定哪些段被当作孤儿段处理，可以用readelf -S查看最终可执行文件的段表，或者在链接时添加-M选项（ld -M）生成链接映射文件，里面会明确标注哪些是自动生成的孤儿段。

本质上，孤儿段是链接器的“兜底机制”：当你没手动覆盖某个输入段的分配逻辑时，它帮你自动完成段的创建和合并；但如果你想完全掌控内存布局，就必须显式覆盖所有可能的输入段，或者禁用孤儿段的自动生成逻辑。

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