问题现象与背景

在STM32 HAL库开发中，我们常通过重定义__weak函数（如HAL_GPIO_EXTI_Callback、HAL_TIM_PeriodElapsedCallback）来实现中断回调。但有时重定义后中断不再触发，调试器显示中断标志已置位却未进入回调。这通常不是HAL库的bug，而是链接、启动文件或中断向量表配置问题。

__weak机制与中断响应流程

__weak是编译器（如ARMCC、GCC）的弱符号修饰，允许用户提供同名强符号覆盖库中的默认实现。
HAL库中中断回调通常定义为__weak void HAL_xxx_Callback(...)，默认空实现。
中断响应流程：硬件触发中断 → 跳转中断向量表 → 执行启动文件中的中断服务函数（如EXTI0_IRQHandler） → 调用HAL中断处理函数（如HAL_GPIO_EXTI_IRQHandler） → 清除标志并调用回调。
若用户重定义的回调未被链接，或中断服务函数被覆盖，则中断无法进入用户代码。

常见原因与排查路径

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

函数名、参数类型、返回值必须与弱符号完全一致。
常见错误：参数类型不匹配（如uint16_t写成uint32_t）、遗漏void参数、返回类型错误。
使用nm或map文件确认符号是否被正确替换。

2. 检查启动文件中的中断向量表

启动文件（如startup_stm32f103xb.s）中定义了中断服务函数弱符号，如EXTI0_IRQHandler。
若用户重定义了EXTI0_IRQHandler但未正确链接，或启动文件被修改导致向量表错位，中断将无法响应。
排查：查看map文件确认EXTI0_IRQHandler地址是否指向用户函数。

3. 检查链接脚本与符号覆盖

使用GCC时，弱符号覆盖依赖链接顺序。若用户文件未参与链接或链接顺序错误，弱符号不会被覆盖。
排查：在map文件中搜索HAL_GPIO_EXTI_Callback，确认其地址是否为用户函数地址。
确保用户源文件被加入编译（如Makefile或IDE工程）。

4. 检查中断使能与优先级配置

即使回调重定义正确，若NVIC未使能中断或优先级配置错误，中断也不会触发。
使用HAL_NVIC_EnableIRQ使能对应中断，并检查HAL_NVIC_SetPriority。

5. 检查中断标志清除与回调调用条件

HAL库的中断处理函数通常先检查标志，再调用回调。若标志未正确清除或条件不满足，回调不会执行。
例如HAL_GPIO_EXTI_IRQHandler会检查__HAL_GPIO_EXTI_GET_IT，若标志未置位则直接返回。

完整代码示例

以下示例展示正确重定义EXTI回调并配置中断的流程。

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

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

int main(void) {
  HAL_Init();
  SystemClock_Config();
  MX_GPIO_Init();
  while (1) { }
}

// 重定义EXTI回调（强符号覆盖弱符号）
void HAL_GPIO_EXTI_Callback(uint16_t GPIO_Pin) {
  if (GPIO_Pin == GPIO_PIN_0) {
    // 用户逻辑：翻转LED
    HAL_GPIO_TogglePin(GPIOC, GPIO_PIN_13);
  }
}

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

  // LED引脚
  HAL_GPIO_WritePin(GPIOC, GPIO_PIN_13, GPIO_PIN_SET);
  GPIO_InitStruct.Pin = GPIO_PIN_13;
  GPIO_InitStruct.Mode = GPIO_MODE_OUTPUT_PP;
  GPIO_InitStruct.Speed = GPIO_SPEED_FREQ_LOW;
  HAL_GPIO_Init(GPIOC, &GPIO_InitStruct);

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

  // NVIC配置
  HAL_NVIC_SetPriority(EXTI0_IRQn, 2, 0);
  HAL_NVIC_EnableIRQ(EXTI0_IRQn);
}

// stm32f1xx_it.c 中确保中断服务函数存在（通常由CubeMX生成）
void EXTI0_IRQHandler(void) {
  HAL_GPIO_EXTI_IRQHandler(GPIO_PIN_0);
}

注意事项

使用CubeMX生成代码时，回调函数应放在/* USER CODE BEGIN */与/* USER CODE END */之间，避免被重新生成覆盖。
若使用C++，需用extern "C"包裹重定义函数，防止名称修饰导致链接失败。
检查编译器优化等级，过高优化可能移除未使用的弱符号或用户函数，可尝试-O0调试。
使用调试器查看中断向量表地址，确认EXTI0_IRQHandler指向正确位置。
若重定义的是HAL_xxx_IRQHandler（而非回调），需确保启动文件中的中断服务函数未被重复定义。

通过以上排查路径，可系统性地定位__weak函数重定义后中断不响应的问题，确保嵌入式系统稳定运行。

STM32 HAL库中__weak函数被用户重定义后中断不响应的排查路径