C++20:[[likely]]、[[unlikely]] 和 __builtin_expect 之间的区别？

Question

初步资料:根据近期ISO C++ Committee Trip Report ，条件分支的 [[ likely ]] 和 [[ unlikely ]] 属性将添加到 C++20 中，并且在最新版本的 GNU GCC(您可以在在线编译器上使用它 wandbox.org)。

---

问题:是下面的构造

if (cond) [[ likely ]] { ... }

等同于下面那个？

if (__builtin_expect(bool(cond), 1)) { ... }

不同编译器之间是否存在任何性能差异或实现的细微差别，人们应该注意这些差异才能有效地使用它？

Answer 1

Is the following construction equivalent to the following one?

有意的，是的。

---

Are there any performance difference or implementation nuances accross compilers that one should be aware of in order to use it effectively?

从P0479可以看出，对这些属性的行为没有强制性的措辞要求。他们的行为作为非规范性注释的一部分被提及，鼓励但不是强制遵循这些实现。

回答这个问题的唯一方法是查看编译器的手册。