C++ attribute: assume (since C++23)

指定在给定点假定表达式始终求值为 true ，以便编译器能基于所提供信息进行优化。

语法

说明

[ [ assume ] ] 仅能应用于 空语句 ，如 [ [ assume ( x > 0 ) ] ] ; 。该语句被称为 假设语句 。

expression 会被 上下文转换为 bool ，但不会被求值（它仍然是 潜在求值表达式 ）。

• 若转换后的 表达式 在假设出现的位置将求值为 true ，则该假设不产生任何效果。
• 否则，该假设的求值将引发 运行时未定义行为 。

注释

由于假设若不成立会导致运行时未定义行为，因此应谨慎使用。

使用它们的一种正确方式是让假设紧随断言：

assert(x > 0);     // 当未定义 NDEBUG 且 x > 0 为假时触发断言
[[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)
}

缺陷报告

以下行为变更缺陷报告被追溯应用于先前发布的C++标准。

参考文献

参见

外部链接