哈喽,各位好!今天我们要聊聊C++20里一对儿有趣的小伙伴:[[likely]] 和 [[unlikely]]。 它们就像是编译器的小耳语者,让我们能告诉编译器,哪些分支代码更有可能执行,哪些不太可能。这样一来,编译器就可以针对我们的提示进行优化,从而提升程序的性能。 1. 分支预测:编译器的小九九 在深入[[likely]]和[[unlikely]]之前,我们先来了解一下分支预测。CPU执行指令的时候,可不是傻乎乎地一条一条等。它很聪明,会提前预测下一步要执行哪条指令。尤其是在遇到 if 语句、 switch 语句、循环等分支结构时,CPU会猜测哪个分支更有可能被执行。 如果CPU猜对了,那一切顺利,流水线继续happy地工作。但如果猜错了,那就要付出代价了!CPU需要把已经预取和执行的指令全部丢掉,重新从正确的指令开始执行,这会造成性能上的损失,我们称之为“分支预测失败”。 分支预测的准确性直接影响程序的性能。现代CPU的分支预测器已经相当厉害了,能根据历史执行情况和一些启发式规则进行预测。但是,有时候编译器和CPU也无法准确判断,这时候就需要我们出手相助了。 2. [[likel …