问题现象与背景

在STM32项目中使用HAL库时，开发者常通过重写__weak函数（如HAL_GPIO_EXTI_Callback）来实现中断回调。但有时会发现：中断标志已置位，但自定义的回调函数就是不执行。更诡异的是，在调试器中能看到中断服务程序（ISR）被触发，但断点却落在默认的__weak空函数里。

本文以STM32F4系列为例，系统梳理从现象到根因的排查路径，涉及启动文件、链接脚本、编译链接过程及调试技巧。

核心原理：__weak与中断向量表

__weak函数的作用机制

__weak是ARM编译器（AC6）的关键字，用于声明弱符号。若工程中存在同名强符号，链接器会优先使用强符号，忽略弱符号。HAL库中大量回调函数定义为__weak，例如：

__weak void HAL_GPIO_EXTI_Callback(uint16_t GPIO_Pin)
{
  /* 默认空实现 */
}

用户重写该函数后，链接器应使用用户版本。但若重写方式不当，链接器可能仍选择弱符号。

中断服务程序与回调的关系

以EXTI中断为例，启动文件startup_stm32f407xx.s中定义了中断向量表，其中EXTI0_IRQHandler指向HAL库的EXTI0_IRQHandler（强符号）。该ISR内部调用HAL_GPIO_EXTI_IRQHandler，后者清除标志并调用HAL_GPIO_EXTI_Callback。因此，回调不执行的可能原因包括：

用户重写的回调未被链接（弱符号覆盖失败）
中断向量表被错误重定向
中断未正确使能或优先级配置错误
编译器优化导致函数被移除

排查路径与步骤

步骤1：确认中断是否真正触发

在EXTI0_IRQHandler入口设置断点，或使用GPIO翻转法：在ISR中翻转一个测试引脚，用示波器观察。若ISR未进入，检查：

NVIC使能：HAL_NVIC_EnableIRQ(EXTI0_IRQn)
EXTI线配置：HAL_GPIO_Init中正确设置GPIO_MODE_IT_RISING
中断优先级分组：HAL_NVIC_SetPriorityGrouping

步骤2：检查回调函数是否被链接

使用arm-none-eabi-nm查看符号表：

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

若输出显示W（弱符号）而非T（强符号），说明用户函数未被链接。常见原因：

用户函数定义在未被编译的源文件中
函数签名与弱符号不一致（如参数类型不同）
使用了C++编译但未加extern "C"

步骤3：验证链接脚本与向量表

检查链接脚本（.ld）中.isr_vector段是否指向正确的向量表地址。若使用了自定义向量表（如Bootloader跳转），需确保SCB->VTOR已更新。

SCB->VTOR = FLASH_BASE | 0x10000; // 示例偏移

步骤4：排查编译器优化与函数移除

若回调函数仅被弱符号引用，且未显式调用，链接器可能因--gc-sections移除该函数。解决方法：

在链接选项中添加-Wl,--undefined=HAL_GPIO_EXTI_Callback
或使用__attribute__((used))修饰函数

__attribute__((used)) void HAL_GPIO_EXTI_Callback(uint16_t GPIO_Pin)
{
  // 用户代码
}

步骤5：调试器实时验证

在调试器中查看HAL_GPIO_EXTI_Callback的地址，与nm输出对比。若地址落在弱符号区域，可单步跟踪链接过程。

完整代码示例

以下示例展示正确重写回调的完整流程（基于STM32F407，EXTI0 PA0上升沿触发）：

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

void SystemClock_Config(void);
static void MX_GPIO_Init(void);

int main(void)
{
  HAL_Init();
  SystemClock_Config();
  MX_GPIO_Init();

  while (1)
  {
    HAL_Delay(1000);
  }
}

static void MX_GPIO_Init(void)
{
  GPIO_InitTypeDef GPIO_InitStruct = {0};

  __HAL_RCC_GPIOA_CLK_ENABLE();

  GPIO_InitStruct.Pin = GPIO_PIN_0;
  GPIO_InitStruct.Mode = GPIO_MODE_IT_RISING;
  GPIO_InitStruct.Pull = GPIO_NOPULL;
  HAL_GPIO_Init(GPIOA, &GPIO_InitStruct);

  HAL_NVIC_SetPriority(EXTI0_IRQn, 2, 0);
  HAL_NVIC_EnableIRQ(EXTI0_IRQn);
}

// 重写回调，必须与弱符号签名完全一致
__attribute__((used)) void HAL_GPIO_EXTI_Callback(uint16_t GPIO_Pin)
{
  if (GPIO_Pin == GPIO_PIN_0)
  {
    HAL_GPIO_TogglePin(GPIOD, GPIO_PIN_12); // 测试LED
  }
}

注意事项与避坑指南

签名一致性：重写回调时参数类型、个数必须与弱符号完全一致，否则链接器视为不同函数。
C++混编：在C++文件中重写C弱符号，必须用extern "C"包裹。
链接优化：启用-ffunction-sections -fdata-sections和--gc-sections时，务必用__attribute__((used))或--undefined保留回调。
向量表重定位：使用Bootloader时，确保SCB->VTOR在跳转后正确设置，否则中断会进入错误地址。
调试技巧：利用nm和objdump分析符号，比盲目改代码更高效。

通过以上路径，90%以上的“回调不执行”问题可快速定位。核心在于理解链接器对弱符号的处理规则，并确保用户函数以强符号形式参与链接。

STM32 HAL库中__weak函数被覆盖后中断服务程序不执行的排查路径