在C++20契约if语句中使用[[likely]]/[[unlikely]]：实践与优化价值探讨

首先明确：C++20引入的[[likely]]和[[unlikely]]属性，是用来给编译器提供分支执行概率的提示，帮它做更精准的优化。但这算不算良好实践，得看具体场景，不能一概而论。

符合良好实践的场景 #

• 你明确知道分支的执行概率：比如示例里的n < 0是极罕见的错误情况，这时加[[unlikely]]完全合理。编译器可以基于这个提示，把大概率走的主分支代码放在连续内存段，减少指令缓存失效，优化分支预测逻辑。
• 代码处于性能敏感的热点路径：比如高频调用的工具函数、循环内部的分支。这类场景下，分支预测的命中率对整体性能影响极大，合理的提示能带来可观的性能提升。

需要避免使用的情况 #

• 不要凭主观猜测加属性：如果你不确定分支的实际执行概率，乱加反而可能帮倒忙。编译器的静态分析和运行时性能 profiling，通常比人的主观判断更准确。
• 非热点代码没必要加：普通业务代码里加这些属性，性能提升微乎其微，反而会让代码可读性下降，增加维护成本。

性能优化角度的合理性 #

从底层CPU的运行逻辑来看，分支预测器会根据历史执行情况调整策略，但如果分支的概率是固定且极端的（比如99.9%走主分支），提前给编译器提示能带来两个关键优化：

1. 优化代码布局：把大概率分支的代码紧凑排列，提升指令缓存（ICache）的命中率，减少跳转带来的缓存失效开销。
2. 调整分支指令生成：把大概率分支处理成“无跳转”的直通逻辑，只有小概率分支才生成跳转指令，降低分支预测失败的惩罚。

拿你的示例对比：
带属性的写法：

int foo(int n)
{
    if (n < 0) [[unlikely]] {
        // handle n < 0
    }

    // impl...
} 

如果n < 0确实是极少触发的错误分支，这个写法能让编译器把主逻辑// impl...放在更高效的内存位置，错误处理分支被移到不常用的代码段，减少主路径的缓存开销。

而不带属性的常规写法：

int foo(int n)
{
    if (n < 0) {
        // handle n < 0
    }

    // impl...
} 

编译器只能靠静态分析猜测分支概率，万一猜反了，反而会拖慢主路径的执行效率。

总结 #

• 这是有条件的良好实践：只在你确定分支执行概率、且代码处于性能敏感路径时使用。
• 从性能优化角度，在正确场景下是合适的选择，能有效提升分支预测命中率和缓存效率，但滥用会起到反效果。

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