问题现象与背景

在STM32 HAL库项目中，用户重定义了HAL_GPIO_EXTI_Callback等__weak函数，但触发中断后程序仍跳入默认的while(1)死循环。编译无报错，调试器显示PC停在Default_Handler或HAL_GPIO_EXTI_Callback的弱定义处。这通常不是代码逻辑错误，而是链接阶段符号覆盖失败导致的。

__weak机制与链接原理

__weak是编译器（如ARMCC、GCC）扩展属性，将函数标记为弱符号。
链接器处理规则：强符号优先于弱符号。若存在同名强符号，则弱符号被丢弃。
HAL库中HAL_GPIO_EXTI_Callback定义为__weak void HAL_GPIO_EXTI_Callback(uint16_t GPIO_Pin)，默认实现为空或死循环。
用户重定义时，必须确保生成的是强符号，且链接器能正确解析。

常见原因与排查步骤

1. 检查函数签名是否完全一致

弱符号覆盖要求函数名、参数类型、返回类型完全一致。常见错误：

参数类型不匹配（如uint16_t写成uint32_t）
遗漏extern "C"（C++项目中）
函数名拼写错误

排查：对比HAL库源文件中的声明，确保逐字符一致。

2. 检查符号是否被正确编译为强符号

使用arm-none-eabi-nm或fromelf查看目标文件符号表：

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

强符号显示为T（全局文本段），弱符号显示为W。
若用户函数显示为W，说明未正确覆盖（可能因__weak残留或链接顺序问题）。

3. 分析map文件确认最终符号地址

在map文件中搜索HAL_GPIO_EXTI_Callback：

HAL_GPIO_EXTI_Callback  0x08001234  Thumb Code  12  main.o(.text.HAL_GPIO_EXTI_Callback)

若地址指向stm32f1xx_hal_gpio.o，说明弱符号未被覆盖。
检查用户目标文件是否被链接（可能因未加入工程或链接脚本排除）。

4. 检查链接顺序与库依赖

链接器按命令行顺序解析符号。若HAL库静态库（.a）在用户目标文件之前，弱符号可能先被解析。
解决：确保用户目标文件在链接命令中位于HAL库之前，或使用--whole-archive强制包含。

5. 检查链接脚本是否丢弃了用户段

自定义链接脚本中若使用/DISCARD/丢弃了.text.*段，可能导致用户函数被移除。

排查：检查.map文件中用户函数是否存在于最终镜像。

6. C++项目中的名称修饰问题

C++中函数名会被修饰（mangled），导致与C弱符号不匹配。

解决：在重定义函数前加extern "C"：

extern "C" void HAL_GPIO_EXTI_Callback(uint16_t GPIO_Pin) {
    // 用户代码
}

完整代码示例

弱定义（HAL库）

__weak void HAL_GPIO_EXTI_Callback(uint16_t GPIO_Pin) {
    UNUSED(GPIO_Pin);
    while (1) { /* 默认死循环 */ }
}

用户重定义（正确写法）

// main.c
#include "stm32f1xx_hal.h"

void HAL_GPIO_EXTI_Callback(uint16_t GPIO_Pin) {
    if (GPIO_Pin == GPIO_PIN_0) {
        HAL_GPIO_TogglePin(GPIOC, GPIO_PIN_13);
    }
}

验证符号类型

arm-none-eabi-nm -C build/main.o | grep HAL_GPIO_EXTI_Callback
# 输出应为：00000000 T HAL_GPIO_EXTI_Callback

注意事项

不要在用户函数前加__weak，否则仍为弱符号。
确保用户源文件参与编译并链接（检查IDE工程文件列表）。
使用-ffunction-sections -Wl,--gc-sections时，确认用户函数被引用，否则可能被垃圾回收。
若使用静态库，链接顺序至关重要：gcc main.o -lhal -lstartup，用户目标文件在前。
调试时可在用户函数入口设断点，若未命中则说明符号未覆盖。
定期检查map文件，这是排查链接问题的黄金标准。

总结

__weak函数重定义失败的本质是链接阶段符号解析问题。通过检查函数签名、符号类型、map文件、链接顺序和链接脚本，可系统定位并解决。掌握这些方法，能显著提升嵌入式开发中的调试效率。

STM32 HAL库中__weak函数重定义后中断仍进默认死循环的链接排查方法