属性: likely, unlikely (C++20以上)

その文を含む実行経路がそのような文を含まないあらゆる他の実行経路よりも可能性が高いまたは低い場合に対してコンパイラが最適化できるようにします。

これらの属性はラベルおよび文 (宣言文を除く) に適用できます。これらは同じラベルまたは文には同時には適用できません。

1) その文を含む実行経路がそのような文を含まないあらゆる他の実行経路よりも可能性が高い場合に対してコンパイラが最適化できるように、文に対して適用されます。

2) その文を含む実行経路がそのような文を含まないあらゆる他の実行経路よりも可能性が低い場合に対してコンパイラが最適化できるように、文に対して適用されます。

実行経路はそのラベルへのジャンプを含む場合にのみそのラベルを含むとみなされます。

int f(int i) {
    switch(i) {
    case 1: [[fallthrough]];
    [[likely]] case 2: return 1;
    }
    return 2;
}

i == 2 は i の他のあらゆる値よりも可能性が高いとみなされますが、たとえ case 2: ラベルにフォールスルーしていても [[likely]] は i == 1 に対しては効果を持ちません。

noreturn‎ (C++11)
carries_dependency (C++11)
deprecated (C++14)
fallthrough (C++17)
nodiscard (C++17)
maybe_unused (C++17)
likelyunlikely (C++20)(C++20)
no_unique_address (C++20)
optimize_for_synchronized (TM TS)