链接脚本核心作用是控制代码段、数据段在可执行文件和内存中的布局，精确指定.text、.data、.bss等段的地址、对齐、合并与加载顺序，支撑裸机驱动、嵌入式os等底层开发。
c++链接脚本的核心作用
链接脚本（Linker Script）不处理C++语法或类定义，而是由链接器（如GNU ld）在最终链接阶段读取，用于精确指定代码段、数据段在可执行文件和内存中的布局。它直接控制.text、.data、.bss、自定义section的起始地址、对齐方式、合并规则和加载顺序——这是实现裸机驱动、嵌入式OS、安全隔离、内存热补丁等底层场景的关键基础。
最简可用的C++链接脚本结构
一个典型嵌入式或可控环境下的链接脚本（如layout.ld）如下：
MEMORY 定义物理/虚拟地址空间区域
SECTIONS 描述每个段如何映射到这些区域
示例（ARM Cortex-M风格，带C++运行时支持）：
立即学习“C++免费学习笔记（深入）”；
MEMORY
{
FLASH (rx) : ORIGIN = 0x08000000, LENGTH = 512K
RAM (rwx): ORIGIN = 0x20000000, LENGTH = 128K
}
<p>SECTIONS
{
.text : ALIGN(4)
{
<em>(.text.startup) /</em> 启动代码优先 <em>/
</em>(.text) /<em> 普通函数 </em>/
<em>(.rodata) /</em> 只读数据（含C++字符串字面量、虚表、typeinfo）<em>/
. = ALIGN(4);
__exidx_start = .;
</em>(.ARM.exidx) /<em> C++异常表入口（若启用-EH） </em>/
__exidx_end = .;
} > FLASH</p><p>.data : ALIGN(4)
{
<strong>data_load_start = LOADADDR(.data);
</strong>data_start = .;
<em>(.data)
</em>(.data.<em>)
. = ALIGN(4);
__data_end = .;
} > RAM AT > FLASH /</em> 运行时从FLASH拷贝到RAM */</p><p>.bss : ALIGN(4)
{
__bss_start = .;
<em>(.bss)
</em>(.bss.<em>)
</em>(COMMON)
. = ALIGN(4);
__bss_end = .;
} > RAM</p><p>/<em> C++全局构造函数表（关键！否则ctor不执行） </em>/
.init_array : ALIGN(4)
{
PROVIDE_HIDDEN (__init_array_start = .);
KEEP (<em>(SORT(.init_array.</em>)))
KEEP (*(.init_array))
PROVIDE_HIDDEN (__init_array_end = .);
} > RAM</p><p>/<em> C++全局析构函数表（用于atexit或退出清理） </em>/
.fini_array : ALIGN(4)
{
PROVIDE_HIDDEN (__fini_array_start = .);
KEEP (<em>(SORT(.fini_array.</em>)))
KEEP (*(.fini_array))
PROVIDE_HIDDEN (__fini_array_end = .);
} > RAM</p><p>/<em> 自定义section：比如放特定类实例到固定地址 </em>/
.my_section ALIGN(64) :
{
*(.my_section)
} > RAM</p><p>/<em> 符号：栈顶、堆底（供malloc/sbrk使用） </em>/
_stack_top = ORIGIN(RAM) + LENGTH(RAM);
_heap_start = .;
}</p>C++代码中配合链接脚本的关键写法
仅靠链接脚本无法自动绑定C++对象——必须用__attribute__((section("xxx")))显式指定目标section，并用extern "C"避免符号修饰干扰地址计算：
- 将某个全局对象强制放入
.my_section：MyDriver driver_instance __attribute__((section(".my_section"), used)); - 声明启动前必须调用的初始化函数（类似Linux module_init）：
void init_hw() __attribute__((constructor(101))); // 数字越小越早执行 - 获取链接脚本定义的符号（如
__data_start），需声明为外部C符号：extern "C" char __data_start[], __data_end[], __data_load_start[]; - 虚函数表（vtable）、RTTI（typeinfo）默认进
.rodata；若需隔离，可重定向：*(.rodata.vtable) *(.rodata.typeinfo)单独归组
验证与调试技巧
写完链接脚本不能只靠“能编过”，必须验证实际布局是否符合预期：
- 用
arm-none-eabi-objdump -h your.elf查看各section的VMA/LMA地址和大小 - 用
arm-none-eabi-nm -n your.elf | grep "__data"确认符号地址是否落在RAM区间 - 在C++启动代码（如Reset_Handler）中插入断言：
static_assert(reinterpret_cast<uintptr_t>(&driver_instance) == 0x20001000, "driver not at expected addr");</uintptr_t> - 对关键对象加
static_assert(sizeof(MyClass) % 64 == 0, "not aligned for cache line")配合section对齐
不复杂但容易忽略：C++模板实例化、内联函数、异常处理帧信息都会生成隐藏section，务必用objdump -s -j .rodata your.elf抽样检查内容分布。
