CPU是否允许针对空指针分支条件执行推测执行？

1. CPU能否对这类分支做推测执行？具体过程是怎样的？ #

当然可以。CPU的分支推测执行不区分分支条件是a > b还是ptr != nullptr，本质都是处理条件跳转指令，过程和普通分支完全一致：

• 分支预测器根据历史执行记录（比如该ptr之前多数情况为nullptr）或静态启发规则（比如编译器将更可能执行的分支放在跳转指令后），选择一个分支提前执行；
• 执行过程中，所有运算结果、内存访问都会暂存在CPU的重排序缓冲区（ROB）和加载/存储缓冲区（LSB）内，不会立刻修改实际寄存器、内存状态，也不会触发异常；
• 等分支条件的实际结果计算完成后，验证预测是否正确：若正确，就提交暂存的操作结果使其生效；若错误，直接清空ROB和LSB中的暂存数据，回滚到分支前的状态，再执行正确分支。

2. CPU会特意假设指针为nullptr规避UB吗？还是启发式推测两种条件？ #

CPU完全不知道什么是C的未定义行为（UB）——它只识别机器指令，不管代码是用C、C还是汇编编写的，因此不存在“为规避UB特意选择else分支”的逻辑。

分支预测的选择完全基于启发式算法：

• 若该分支的历史执行记录中，ptr大多时候是nullptr，预测器会偏向跳转到else分支；
• 若之前ptr经常非空，就会偏向执行if分支；
• 若没有历史数据（比如首次执行），可能会遵循静态规则（比如默认不跳转，或参考编译器生成的分支布局）。

只有当编译器在代码中添加了静态分支预测提示（比如GCC的__builtin_expect(ptr == nullptr, 1)），才会引导CPU更偏向某个分支，但这属于编译器层面的操作，并非CPU主动规避UB。

3. 若CPU推测执行了解引用nullptr的分支，规避UB的机制是什么？ #

核心在于推测执行的操作不具备“实际生效”的权限：

• 当CPU推测执行*ptr（此时ptr为nullptr，对应地址0）时，会尝试加载该地址的数据，但这个加载操作仅会在CPU内部缓冲区暂存结果，不会触发实际的页错误或硬件异常——因为异常属于“对外可见的副作用”，CPU不会在推测阶段触发这类操作；
• 一旦后续验证分支预测错误，CPU会直接丢弃所有暂存的操作数据，包括这次无效的内存加载，整个过程不会对系统状态产生任何影响，自然也不会引发崩溃。

补充说明：若编译器通过静态分析能确定ptr必然是nullptr（比如代码中ptr初始化后未被修改），会直接删除整个if分支，根本不会生成条件跳转指令，此时连推测执行的场景都不存在。

内容的提问来源于stack exchange，提问作者Vladislav