可能（真实）属性的意义是什么

Question

我刚刚在cppreference 上阅读了一些关于 C++ 中的属性的内容。他们在那里提到了可能（真实）属性，现在我想知道它有什么好处。不幸的是，我在网上找不到更多信息。

这是处理器在执行期间使用的某种分支预测吗？

Answer 1

是的，没错。它用于给编译器更多关于if语句的信息，以便它可以根据目标微架构生成最优代码

虽然每个微架构都有其了解分支可能性的方法，但我们可以从英特尔优化手册中举一个简单的例子

Assembly/Compiler Coding Rule 3.（M影响，H泛化）排列代码要符合 静态分支预测算法：使条件分支之后的fall-through代码成为 可能针对具有前向目标的分支，并在条件之后生成贯穿代码 对于具有后向目标的分支来说，分支是不太可能的目标。

简单地说，前向分支的静态预测是not-taken（所以分支后的代码是推测性执行的，这是可能的路径）而后向分支是taken em> （所以分支后的代码不会被推测执行）。

考虑 GCC 的这段代码：

#define probably_true(x) __builtin_expect(!!(x), 1)
#define probably_false(x) __builtin_expect(!!(x), 0)

int foo(int a, int b, int c)
{
    if (probably_true(a==2))
        return a + b*c;
    else
        return a*b + 2*c;
}

我使用内置的__builtin_expect 来模拟[[problably(true)]]。

这会被编译成

foo(int, int, int):
        cmp     edi, 2           ;Compare a and 2
        jne     .L2              ;If not equals jumps to .L2

        ;This is the likely path (fall-through of a forward branch)

        ;return a + b*c;

.L2:
        ;This is the unlikely path (target of a forward branch)

        ;return a*b + 2*c;

        ret

我省去了一些汇编代码。
如果将probably_true 替换为probably_false，则代码变为：

foo(int, int, int):
        cmp     edi, 2           ;Compare a and 2
        je     .L5               ;If equals jumps to .L5

        ;This is the likely path (fall-through of a forward branch)

        ;return a*b + 2*c;

.L5:
        ;This is the unlikely path (target of a forward branch)

        ;return a + b*c;

        ret

你可以和with this example at codebolt.org一起玩。