C++23中[[assume]]属性包含未定义行为(UB)时会发生什么？

先回顾[[assume(expression)]]的基础语义：C++23规定，当程序执行到该属性所在位置时，若expression为假，程序行为属于未定义行为(UB)。编译器会基于expression恒为真的前提做优化，比如：

int div(int x, int y) {
    [[assume(y == 1)]];
    return x / y;
}

编译后会直接返回x，因为编译器认定y始终为1，除法操作可以被完全优化掉：

div(int, int):
        mov     eax, edi
        ret

当假设表达式本身包含UB时的情况 #

如果假设的表达式里内嵌了未定义行为，比如：

int div(int x, int y) {
    [[assume(x / 0 == 1)]];
    return x / y;
}

这里的核心要点是：[[assume]]的表达式不会被求值，所以x/0这个除法不会实际执行，不会触发除法的UB。但这个假设的语义需要从标准规则推导：

• 这个假设等价于“程序执行到此处时，x/0 ==1为真”，但x/0在C++中本身就是未定义行为——不存在任何合法的程序状态能让x/0产生一个等于1的值。
• 编译器会将这个假设解读为：该属性所在的代码路径是完全不可达的。因为没有任何合法执行路径能满足假设的前提，只要程序走到这里，就已经处于UB范畴。
• 基于这个推断，编译器可以做任意激进优化：比如直接删除假设之后的所有代码（包括返回x/y的逻辑），生成空的函数实现，或者任意指令——因为UB状态下编译器不需要保证任何行为。

这种假设并非无意义，它相当于明确告诉编译器“这个分支永远不会被执行”，编译器可以利用这点消除冗余代码，或者调整控制流分析。

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