GNU链接器（LD）：位置计数器（.）功能及实例解析

0 参考资料

GNU-LD-v2.30-中文手册.pdf
GNU linker.pdf

1 前言

一个完整的编译工具链应该包含以下4个部分：
（1）编译器
（2）汇编器
（3）链接器
（4）lib库
在GNU工具链中，对应的是：
（1）编译器：GCC（GNU Compiler Collection，GNU编译器套件）
（2）汇编器：GAS（GNU Assembler，GNU汇编器）
（3）链接器：LD（GNU Linker，GNU链接器）
（4）lib库：glibc（GNU C Library，GNU C 库）
本文介绍GNU链接器脚本中位置计数器（.）功能及实例解析。

2 GNU链接器（LD）：位置计数器（.）功能及实例解析

2.1 位置计数器（.）功能

句点（.）是一个特殊的链接器脚本变量，句点（.）的值总是当前输出位置的计数值，因此也被称作位置计数器。因为句点（.）的值总是输出位置的计数值，因此只能出现在SECTIONS命令内的表达式中。
为句点（.）赋值会导致位置计数器值被修改，通常被用来在输出分区中创建空分区。位置计数器不能在输出分区内向后移动，也不能在输出分区外向后移动，否则可能创建重叠的LMA（加载内存地址）区域。

2.2 位置计数器（.）实例解析

2.2.1 实例（1）

SECTIONS
{output :{file1(.text). = . + 1000;file2(.text). += 1000;file3(.text)} = 0x12345678;
}

说明：
file1中的.text段位于输出分区output的开头，接着创建1个1000字节的空分区。然后分配file2的.text段，接着接着创建1个1000字节的空分区。然后分配file3的.text段。最后的=0x12345678表示在空分区中填充数据0x12345678。

2.2.1 实例（2）

SECTIONS
{. = 0x100.text: {*(.text). = 0x200} . = 0x500.data: {*(.data). += 0x600}
}

说明：
位置计数器指的是当前包含对象开始的字节偏移。通常包含对象是SECTIONS，它的起始地址为0，因此位置计数器可以作为绝对地址。但是如果位置计数器用于分区描述则它表示的是该分区开始的字节偏移量，而不是绝对地址。因此以上操作功能如下：
即使.text输入分区没有足够的空间来填充数据，也会为.text分区分配0x100的起始地址和恰好0x200字节大小（如果需要容纳的数据超出大小，将会产生错误）。.data部分将从0x500地址开始，并且在.data输入分区结束之后和.data输出分区结束之前，还具有额外的0x600字节空间。