C++ 属性： assume (C++23 起)

assert(x > 0);     // 在 NDEBUG 没有定义时检查条件，如果条件不成立则触发断言
[[assume(x > 0)]]; // 在 NDEBUG 定义时提供优化机会

#include <cmath>
 
void f(int& x, int y)
{
    void g(int);
    void h();
 
    [[assume(x > 0)]]; // 编译器可以假设 x 是正数
 
    g(x / 2); // 可以生成更高效的代码
 
    x = 3;
    int z = x;
 
    [[assume((h(), x == z))]]; // 编译器可以假设在调用 h 后 x 的值保持相同
                               // 该假设本身不会调用 h
 
    h();
    g(x); // 编译器可以用 g(3); 替换该语句
 
    h();
    g(x); // 编译器不能用 g(3); 替换该语句
          // 假设只在它出现的地方适用
 
    z = std::abs(y);
 
    [[assume((g(z), true))]]; // 编译器可以假设 g(z) 会返回
 
    g(z); // 根据上面和下面的假设，编译器可以用 g(10); 替换该语句
 
    [[assume(y == -10)]]; // 这里 y != -10 的情况下行为未定义
 
    [[assume((x - 1) * 3 == 12)]];
 
    g(x); // 编译器可以用 g(5); 替换该语句
}