中断服务程序不能直接用普通函数指针注册，必须使用__attribute__((interrupt))等编译器特定声明以满足硬件调用约定；需extern "C"避免名字修饰，禁止参数与返回值，不可调用非可重入函数；C++成员函数需通过静态胶水层和volatile全局指针间接调用，且共享变量必须用volatile并配内存屏障。
中断服务程序不能直接用普通函数指针注册
在裸机嵌入式（如 STM32 标准库、CMSIS 或 RISC-V 平台）中，void (*isr_ptr)() 这类通用函数指针无法直接用于 NVIC 或中断向量表注册——编译器不保证其调用约定、栈帧布局和异常返回行为符合硬件要求。真实 ISR 必须是用 __attribute__((interrupt))（GCC/Clang）、__irq（ARMCC）或 CMSIS 的 __weak 弱定义函数，否则可能触发 HardFault 或跳转到错误地址。
常见错误现象：HardFault_Handler 被反复触发，或中断响应后程序跑飞；调试时发现 PC 指向非法内存或 0x00000000。
- ISR 函数必须声明为
extern "C"，避免 C++ 名字修饰（mangling）导致链接失败 - 不能带参数、不能有返回值（即使写成
void isr(void)，底层也禁止传参） - 不能调用非
reentrant的 C 库函数（如printf、malloc），否则破坏栈或引发重入问题
用函数指针间接跳转到 C++ 成员函数需绕过 this 指针限制
你想在 ISR 中调用某个对象的处理逻辑（比如 uart_device.handle_rx()），但 C++ 成员函数隐含 this 参数，无法直接赋给中断向量。可行做法是：用静态函数作“胶水层”，通过全局或静态变量暂存对象指针。
示例（STM32 + GCC）：
立即学习“C++免费学习笔记（深入）”；
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
class UartHandler {
public:
void on_rx_byte(uint8_t b) { /* 处理逻辑 */ }
private:
static UartHandler* s_instance;
};
<p>UartHandler* UartHandler::s_instance = nullptr;</p><p>extern "C" void USART1_IRQHandler(void) {
if (UartHandler::s_instance) {
// 手动读取 DR 寄存器并清除标志
uint8_t byte = USART1->DR;
UartHandler::s_instance->on_rx_byte(byte);
}
}</p><p>// 初始化时绑定
void init_uart_handler(UartHandler& h) {
UartHandler::s_instance = &h;
NVIC_EnableIRQ(USART1_IRQn);
}- 不要在 ISR 中 new/delete 或访问非 volatile 全局对象（编译器可能优化掉读写）
-
s_instance必须声明为volatile（如static volatile UartHandler* s_instance;），否则优化级别 -O2 可能将其缓存在寄存器中，导致更新失效 - 若多个外设共用同一类 handler，需按外设 ID 区分实例，不能全局单例
向量表里填指针？多数芯片不支持运行时修改
你不能在运行时把 &USART1_IRQHandler 写进向量表地址（如 *((uint32_t*)0x00000008) = (uint32_t)&my_isr;），因为 Cortex-M 向量表首地址由 VTOR 寄存器控制，且多数启动流程已将向量表拷贝到 RAM 并锁定；RISC-V 则依赖 mtvec 寄存器，但只接受对齐地址，且不支持任意函数指针赋值。
- 真正可配置的是 NVIC 的中断使能/优先级寄存器（如
NVIC->ISER[0]），不是向量入口本身 - 若需动态切换 ISR，应使用函数指针数组 + 静态分发函数，例如：
static void (*isr_dispatch_table[16])(void);，再让每个 IRQ Handler 查表调用对应项 - 注意：查表引入分支延迟，在高频率中断（如 PWM 捕获）中可能影响时序，需实测周期
volatile 和内存屏障比指针类型更重要
很多开发者花时间纠结指针类型（void (*)() vs void (__attribute__((interrupt)) *)()），却忽略更关键的内存语义问题：ISR 和主循环共享的标志位、缓冲区必须用 volatile 声明，否则编译器可能缓存值或重排读写顺序。
- 错误写法：
bool rx_ready = false;→ 主循环 while(!rx_ready) 可能永远不退出 - 正确写法：
static volatile bool rx_ready = false;，且在 ISR 中写完后加__DMB()（ARM）或__sync_synchronize()（GCC）确保内存可见性 - 环形缓冲区的 head/tail 计数器也必须是
volatile，且增减操作需原子（如用__atomic_fetch_add或禁用中断临界区）
指针只是跳转工具，真正决定中断是否可靠的是内存访问语义和硬件交互细节。没加 volatile 的标志位，哪怕函数指针再“正确”，也会在 -O2 下静默失效。
