可能性属性在单个if语句中是否有效？以[[unlikely]]为例

你问的这段代码：

if (condition) [[unlikely]] {
    do_stuff();
}

里面的[[unlikely]]是能生效的，具体说明如下：

• 语法合法合规
  C++标准允许将[[likely]]/[[unlikely]]这类可能性属性标注在语句上，这里的[[unlikely]]紧跟在if (condition)之后，作用对象就是后续的代码块（即执行do_stuff()的分支），编译器会正常识别这个标注。

• 关于“执行备选路径”的理解
  标准里提到的“执行备选路径”，其实就是分支的两种走向：对if语句而言，一种是条件成立时进入的then分支，另一种是条件不成立时“不进入then分支”的路径——哪怕没写else语句，这个“不进入”的路径也是真实存在的。你添加的[[unlikely]]，就是明确告诉编译器：进入当前then分支（执行do_stuff()）的概率很低，编译器可据此做优化，比如调整分支预测的默认方向，或者把低概率分支的代码放到内存中不常用的区域，减少缓存失效的情况。

• 文档未明确说明的原因
  Cppreference和N4741没专门提及单个if语句的用法，是因为这类属性的规则是通用的：只要是分支语句中的独立执行路径，都可以标注可能性属性，不管有没有对应的else分支。单个if的then分支本身就是独立路径，自然适用该规则。

内容的提问来源于stack exchange，提问作者Kaiyakha