问题现象：重写了回调，却仍进默认实现

在使用STM32 HAL库时，我们经常需要重写HAL_GPIO_EXTI_Callback、HAL_UART_RxCpltCallback等弱函数。典型代码如下：

void HAL_GPIO_EXTI_Callback(uint16_t GPIO_Pin)
{
    if (GPIO_Pin == KEY_Pin) {
        // 用户逻辑
    }
}

但调试时发现，中断触发后程序并未进入上述函数，而是执行了HAL库中默认的空实现（通常位于stm32f1xx_hal_gpio.c中，函数体为空）。单步调试或反汇编确认，链接器最终选择了弱符号版本。

原理：弱符号与链接器的选择规则

GCC使用__attribute__((weak))声明弱符号。链接器在处理多个同名符号时遵循以下规则：

  • 强符号只能定义一次，否则报重复定义错误。
  • 若存在一个强符号和多个弱符号，链接器选择强符号。
  • 若只有弱符号，则选择第一个遇到的弱符号（取决于链接顺序）。

HAL库中的回调函数均被声明为__weak，用户重写的函数是强符号。理论上链接器应选择用户版本。但实际项目中，用户代码可能未被正确链接，或者链接顺序导致弱符号先被解析。

关键点：链接器只处理被显式加入链接过程的目标文件（.o）或库成员。如果包含用户回调的源文件没有被编译进最终的可执行文件，强符号根本不存在，链接器只能使用库中的弱符号。

常见原因与排查步骤

1. 源文件未加入编译

检查IDE（Keil、STM32CubeIDE、IAR）的工程配置，确认包含回调函数的.c文件已添加到编译列表。在Makefile工程中，检查SRC变量是否包含该文件。

2. 静态库链接顺序问题

如果用户代码被编译为静态库（.a），链接顺序至关重要。链接器从左到右扫描库文件，只提取满足当前未定义符号的成员。若库A中的弱符号先被解析，后续库B中的强符号将不会被提取。

错误示例：

LIBS = -lhal -luser   # hal库在前，user库在后

若hal库已提供弱符号定义，链接器不会从user库中提取强符号。

正确做法：将用户库放在HAL库之前，或使用--whole-archive强制包含所有成员：

LIBS = -luser -lhal
# 或
LIBS = -Wl,--whole-archive -luser -Wl,--no-whole-archive -lhal

3. 链接脚本中的KEEP与段放置

某些链接脚本使用KEEP保留特定段，若用户回调被放置在自定义段且未被正确引用，可能被垃圾回收（--gc-sections）。检查链接脚本是否包含：

KEEP(*(.text.*))

或确保用户函数所在段不被回收。

4. 函数被内联或优化掉

若用户回调函数仅被弱符号引用，且编译器开启-Os或-flto，可能认为该函数未被使用而将其优化掉。使用__attribute__((used))强制保留：

__attribute__((used)) void HAL_GPIO_EXTI_Callback(uint16_t GPIO_Pin)
{
    // ...
}

5. 多个弱符号定义冲突

项目中可能存在多个HAL库副本（如旧版驱动），导致弱符号重复。使用nm命令检查最终ELF：

arm-none-eabi-nm -C build/firmware.elf | grep HAL_GPIO_EXTI_Callback

输出中若出现W（弱符号）而非T（强符号），说明强符号未生效。

完整排查流程与代码示例

步骤1：确认符号类型

编译后执行：

arm-none-eabi-nm -C firmware.elf | grep Callback
  • T表示强符号（用户实现）
  • W表示弱符号（HAL默认）

步骤2：检查目标文件是否包含强符号

arm-none-eabi-nm -C user_callback.o | grep Callback

若输出T，说明目标文件正确；若为空，检查源文件是否编译。

步骤3：调整链接顺序

在Makefile中确保用户目标文件在HAL库之前：

OBJS = main.o user_callback.o stm32f1xx_hal_gpio.o ...
$(TARGET).elf: $(OBJS)
    $(CC) $(LDFLAGS) -o $@ $^ $(LIBS)

步骤4：使用链接器映射文件

生成.map文件，搜索回调函数：

HAL_GPIO_EXTI_Callback   0x08001234  0x20  user_callback.o

若显示来自stm32f1xx_hal_gpio.o，则强符号未被链接。

步骤5：强制保留符号（可选）

在链接选项中添加：

LDFLAGS += -Wl,--undefined=HAL_GPIO_EXTI_Callback

强制链接器保留该符号。

注意事项

  • 不要修改HAL库源文件：直接删除弱符号定义会导致库升级困难，应通过链接配置解决。
  • CubeMX生成代码的陷阱：CubeMX可能将用户回调放在main.c中，若main.c未被正确编译（如路径错误），同样导致问题。
  • LTO优化：开启-flto时，链接时优化可能改变符号可见性，建议对回调函数添加__attribute__((used))。
  • 多工程共用库：若多个工程共用同一HAL库，确保每个工程独立编译用户代码，避免库缓存污染。
  • 调试技巧：在默认弱函数中设置断点，若命中则说明强符号未生效；结合反汇编查看调用地址。

通过以上系统排查，可快速定位链接顺序或符号包含问题，确保用户回调被正确调用。