如何让链接脚本与C程序共用同一头文件定义内存地址？

问题背景 #

需要将特定数据静态分配到0x100000000、0x100100000、0x100200000这类间隔固定的地址，已在C头文件中定义了地址宏：

#define DATA_START 0x100000000
#define DATA_GAP 0x100000
#define DATA0_START DATA_START + 0*DATA_GAP
#define DATA1_START DATA_START + 1*DATA_GAP
#define DATA2_START DATA_START + 2*DATA_GAP

同时要在链接脚本中用这些地址定义段，示例如下：

. = DATA_START;
.mydata : {
  *(.data0)
   . = ALIGN(DATA_GAP);
  *(.data1)
   . = ALIGN(DATA_GAP);
...
}

核心需求是单一数据源：所有地址定义只在头文件中维护，不用同时修改C代码和链接脚本，且保证两边地址完全匹配，避免数据重叠。

方法1：用C预处理器兼容双语法（推荐） #

通过在头文件中定义条件编译宏，让同一个头文件既能在C代码中作为#define使用，又能在链接脚本中生成链接器变量定义。

步骤1：修改头文件data_addr.h #

#ifndef DATA_ADDR_H
#define DATA_ADDR_H

// 根据环境定义不同的宏展开规则
#ifdef __ASSEMBLER__
// 链接脚本/汇编环境：生成链接器变量定义
#define DEFINE_ADDR(sym, val) sym = val;
#else
// C环境：生成#define宏
#define DEFINE_ADDR(sym, val) #define sym val
#endif

// 核心地址定义
DEFINE_ADDR(DATA_START, 0x100000000)
DEFINE_ADDR(DATA_GAP, 0x100000)

// 派生地址定义（适配两种环境的语法）
#ifdef __ASSEMBLER__
#define DATA0_START DATA_START + 0*DATA_GAP
#define DATA1_START DATA_START + 1*DATA_GAP
#define DATA2_START DATA_START + 2*DATA_GAP
#else
#define DATA0_START (DATA_START + 0*DATA_GAP)
#define DATA1_START (DATA_START + 1*DATA_GAP)
#define DATA2_START (DATA_START + 2*DATA_GAP)
#endif

#endif // DATA_ADDR_H

步骤2：编写链接脚本linker.ld #

直接包含头文件，同时定义__ASSEMBLER__宏触发链接脚本语法：

#define __ASSEMBLER__
#include "data_addr.h"

. = DATA_START;
.mydata : {
  *(.data0)
   . = ALIGN(DATA_GAP);
  *(.data1)
   . = ALIGN(DATA_GAP);
  *(.data2)
}

步骤3：编译时自动处理 #

GCC等编译器会自动用预处理器处理链接脚本，把头文件中的宏展开成链接器能识别的变量定义，C代码中包含头文件时则正常使用#define宏。

方法2：通过Makefile提取头文件宏 #

如果不想修改头文件结构，可以用Makefile从C头文件中提取宏值，替换链接脚本模板中的占位符。

步骤1：保持原头文件data_addr.h不变 #

#define DATA_START 0x100000000
#define DATA_GAP 0x100000
#define DATA0_START DATA_START + 0*DATA_GAP
#define DATA1_START DATA_START + 1*DATA_GAP
#define DATA2_START DATA_START + 2*DATA_GAP

步骤2：创建链接脚本模板linker.ld.in #

用占位符代替具体地址：

DATA_START = @DATA_START@;
DATA_GAP = @DATA_GAP@;

. = DATA_START;
.mydata : {
  *(.data0)
   . = ALIGN(DATA_GAP);
  *(.data1)
   . = ALIGN(DATA_GAP);
  *(.data2)
}

步骤3：在Makefile中添加生成规则 #

# 从C头文件中提取宏值
DATA_START := $(shell grep -E '^#define DATA_START' data_addr.h | awk '{print $$3}')
DATA_GAP := $(shell grep -E '^#define DATA_GAP' data_addr.h | awk '{print $$3}')

# 生成最终链接脚本
linker.ld: linker.ld.in
	sed -e 's/@DATA_START@/$(DATA_START)/' -e 's/@DATA_GAP@/$(DATA_GAP)/' $< -o $@

# 确保编译依赖链接脚本
your_target: linker.ld

这样每次编译时，Makefile会自动从头文件提取最新的地址值，生成符合要求的链接脚本。

方法3：直接让链接脚本包含头文件（部分编译器支持） #

部分编译器（如GCC）允许链接脚本直接包含C头文件，只要在链接脚本开头定义__ASSEMBLER__宏，让头文件适配链接器语法。这种方法和方法1类似，但不需要额外的预处理步骤，直接编写链接脚本即可：

#define __ASSEMBLER__
#include "data_addr.h"

. = DATA_START;
.mydata : {
  *(.data0)
   . = ALIGN(DATA_GAP);
  *(.data1)
   . = ALIGN(DATA_GAP);
}

头文件使用方法1中的兼容版本，编译时编译器会自动处理链接脚本中的宏展开。

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