在C++23中，[[assume(expression)]]属性使得如果expression为false，行为将变得未定义。 例如： int div(int x, int y) { [[assume(y == 1)]]; return x / y; } 这将编译成与 y ...