问题现象与背景

在STM32 HAL库项目中，用户常通过重定义__weak函数（如HAL_GPIO_EXTI_Callback）来实现自定义中断逻辑。但有时重定义后，中断触发时程序并未执行用户函数，而是跳转到默认死循环或HardFault。典型现象包括：

中断触发后程序卡在Default_Handler中的while(1)。
调试时发现PC指针指向非预期地址。
重定义函数未被调用，但编译无报错。

__weak机制与中断向量表原理

__weak函数的作用

HAL库中大量使用__weak修饰回调函数（如HAL_IncTick、HAL_GPIO_EXTI_Callback），允许用户在不修改库源码的情况下提供自己的实现。链接器优先选择强符号（用户定义），忽略弱符号（库中默认实现）。

中断向量表与函数地址

中断向量表位于启动文件（如startup_stm32f103xb.s）中，每个中断入口指向一个弱符号的默认处理函数（如EXTI0_IRQHandler）。若用户重定义了该函数，链接器会用用户函数地址替换向量表中的弱符号地址。

关键点：向量表在链接时确定，若用户函数未正确链接或地址对齐异常，向量表可能指向错误位置。

典型错误场景与排查步骤

场景1：函数名拼写错误或签名不匹配

用户重定义HAL_GPIO_EXTI_Callback时，若函数名拼写错误（如HAL_GPIO_EXTI_CallBack）或参数类型不一致，编译器不会报错（因弱符号允许覆盖），但链接器仍使用库中默认空函数。

排查：

检查函数名与HAL库声明完全一致（区分大小写）。
使用__attribute__((used))确保函数不被优化掉。

// 正确示例
void HAL_GPIO_EXTI_Callback(uint16_t GPIO_Pin) {
    if (GPIO_Pin == GPIO_PIN_0) {
        // 用户逻辑
    }
}

场景2：未在启动文件中正确配置中断向量

若用户直接重定义EXTI0_IRQHandler（而非HAL回调），需确保启动文件中该向量指向用户函数。但若启动文件被修改或链接脚本异常，向量表可能未更新。

排查：

检查startup_stm32fxxx.s中EXTI0_IRQHandler是否仍为WEAK声明。
使用objdump -t查看符号表，确认用户函数地址已替换。

场景3：中断向量表重定位未生效

在IAP或Bootloader场景中，用户可能重定位向量表（SCB->VTOR），但未正确设置偏移，导致中断跳转到旧向量表。

排查：

确认SCB->VTOR设置为新向量表基地址（需256字节对齐）。
检查链接脚本中.isr_vector段是否位于正确地址。

// 重定位向量表示例
#define VECT_TAB_OFFSET  0x8000
SCB->VTOR = FLASH_BASE | VECT_TAB_OFFSET;

场景4：函数被编译器优化或内联

若用户函数被声明为static或未加__attribute__((used))，编译器可能将其优化掉，导致链接器仍使用弱符号。

排查：

在函数定义前添加__attribute__((used))。
避免使用static修饰中断回调函数。

完整代码示例与验证

以下示例展示正确重定义HAL_GPIO_EXTI_Callback并验证中断跳转：

// 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回调，添加used属性防止优化
__attribute__((used)) void HAL_GPIO_EXTI_Callback(uint16_t GPIO_Pin) {
    if (GPIO_Pin == GPIO_PIN_0) {
        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();

    // PC13输出
    GPIO_InitStruct.Pin = GPIO_PIN_13;
    GPIO_InitStruct.Mode = GPIO_MODE_OUTPUT_PP;
    GPIO_InitStruct.Pull = GPIO_NOPULL;
    GPIO_InitStruct.Speed = GPIO_SPEED_FREQ_LOW;
    HAL_GPIO_Init(GPIOC, &GPIO_InitStruct);

    // PA0上升沿中断
    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);
}

验证方法：

编译后使用arm-none-eabi-nm查看符号表，确认HAL_GPIO_EXTI_Callback地址非0且位于Flash区域。
调试时在函数入口设断点，触发中断观察是否命中。

注意事项

重定义__weak函数时，函数名、参数、返回值必须与库中声明完全一致。
避免在中断回调中执行耗时操作（如HAL_Delay），否则可能引发其他中断丢失。
若使用RTOS，注意中断优先级与RTOS配置的兼容性。
修改启动文件或链接脚本后，务必重新编译并检查向量表映射。
使用__attribute__((used))防止函数被优化，但不要滥用，以免增加代码体积。

通过以上排查步骤，可快速定位__weak函数重定义导致的中断跳转异常，确保系统稳定运行。

STM32 HAL库中__weak函数被用户重定义后中断向量跳转异常的排查