问题现象：重定义的回调函数为何不生效？

在STM32 HAL库开发中，我们常通过重定义__weak函数来实现自定义逻辑，例如：

void HAL_UART_RxCpltCallback(UART_HandleTypeDef *huart) {
    // 用户代码
}

但有时明明写了重定义函数，程序却依然执行HAL库中的空弱函数。调试发现，链接器选择了弱符号而非用户强符号。这通常与链接顺序有关。

原理：弱符号与强符号的链接规则

  • 强符号：普通函数定义（无__weak修饰）。
  • 弱符号：用__weak修饰的函数，或未初始化的全局变量。

链接器处理规则：

  1. 不允许强符号重复定义（否则报错）。
  2. 若一个符号在多个目标文件中是弱符号，选择其中一个（通常第一个遇到的）。
  3. 若同时存在强符号和弱符号，优先选择强符号。

关键点：链接器按命令行中目标文件的顺序依次处理。如果弱符号所在的目标文件先于强符号文件被链接，链接器可能先记录弱符号，后续遇到强符号时仍会覆盖（因为强符号优先）。但某些链接器（如GNU ld）在特定配置下（如--allow-multiple-definition）或使用静态库时，行为可能不同。

常见陷阱：当用户代码被编译为静态库（.a）时，链接器只从库中提取被引用的目标文件。如果弱符号在库中先被引用，而强符号在另一个库或目标文件中，链接器可能不会提取强符号所在的目标文件，导致弱符号被保留。

排查步骤

1. 确认符号类型

使用nm工具查看目标文件中的符号类型：

arm-none-eabi-nm -C build/main.o | grep HAL_UART_RxCpltCallback

输出中：

  • W 表示弱符号
  • T 表示强符号（代码段）

若用户函数显示为W，说明__weak未正确移除（例如在头文件中声明了__weak）。

2. 检查链接顺序

查看链接器命令（通常由Makefile或IDE生成），确认目标文件/库的顺序。例如：

arm-none-eabi-gcc ... main.o stm32f4xx_hal_uart.o ... -luser_lib

若stm32f4xx_hal_uart.o（含弱符号）在main.o（含强符号）之前，且链接器未正确处理，可能出问题。但GNU ld通常优先强符号，所以更常见的是静态库顺序问题。

3. 检查静态库依赖

如果用户代码在静态库中，确保该库在HAL库之后链接，或使用--whole-archive强制包含所有目标文件。

4. 使用-Wl,--trace-symbol跟踪

arm-none-eabi-gcc ... -Wl,--trace-symbol=HAL_UART_RxCpltCallback

链接器会打印该符号被哪个文件定义和引用。

完整代码示例

假设工程结构：

  • main.c：用户重定义回调
  • stm32f4xx_hal_uart.c：HAL库，含弱定义

HAL库中的弱定义：

__weak void HAL_UART_RxCpltCallback(UART_HandleTypeDef *huart) {
    UNUSED(huart);
}

用户重定义（main.c）：

#include "stm32f4xx_hal.h"

void HAL_UART_RxCpltCallback(UART_HandleTypeDef *huart) {
    if (huart->Instance == USART1) {
        // 用户处理
        HAL_GPIO_TogglePin(LED_GPIO_Port, LED_Pin);
    }
}

错误链接顺序（Makefile片段）：

OBJS = stm32f4xx_hal_uart.o main.o

若链接器先处理stm32f4xx_hal_uart.o，弱符号被记录，后处理main.o时强符号应覆盖。但若main.o被编译为静态库libuser.a，且链接命令为：

... stm32f4xx_hal_uart.o -luser

链接器在stm32f4xx_hal_uart.o中看到对HAL_UART_RxCpltCallback的引用（实际是定义），但不会从libuser.a中提取main.o，因为该符号已由弱定义满足。结果弱函数被使用。

修正方法：将用户库放在HAL库之前，或使用--whole-archive：

LDFLAGS += -Wl,--whole-archive -luser -Wl,--no-whole-archive

或直接链接目标文件：

OBJS = main.o stm32f4xx_hal_uart.o

注意事项

  • 避免在头文件中用__weak声明：__weak应仅用于定义，声明时不要加，否则用户包含头文件后重定义可能被忽略。
  • 静态库顺序：确保包含强符号的库在弱符号库之前，或使用--whole-archive。
  • 使用-ffunction-sections -fdata-sections和--gc-sections：可移除未使用的弱函数，但需确保强函数被引用。
  • 检查编译器优化：某些优化可能内联弱函数，导致重定义无效，可尝试-fno-inline。
  • 使用链接脚本PROVIDE：可显式指定弱符号默认值，但HAL库已用__weak，无需额外处理。

通过以上排查，可解决绝大多数弱符号覆盖问题。理解链接器行为是嵌入式开发者的必备技能。