如何在 if-else 语句中使用 C++20 的可能/不可能属性

Question

这个问题是关于 C++20 的[[likely]] / [[unlikely]]特性，而不是编译器定义的宏。

本文档 ( cppreference ) 仅给出了将它们应用于 switch-case 语句的示例。 这个 switch-case 示例与我的编译器 (g++-7.2)完美编译，所以我假设编译器已经实现了这个特性，尽管它在当前的 C++ 标准中还没有正式引入。

但是当我像这样使用它们时： if (condition) [[likely]] { ... } else { ... } ，我收到一个警告：

“警告：语句开头的属性被忽略 [-Wattributes]”。

那么我应该如何在 if-else 语句中使用这些属性呢？

Answer 1

根据Jacksonville'18 ISO C++ Report的示例，语法是正确的，但似乎尚未实现：

if (a>b) [[likely]] {

Answer 2

那么我应该如何在 if-else 语句中使用这些属性呢？

正是因为你在干什么，你的语法是按标准草案（简化为只显示相关的位）给出的示例中正确的是：

int f(int n) {
    if (n > 5) [[unlikely]] {
        g(0);
        return n * 2 + 1;
    }

    return 3;
}

但是你应该明白这个特性是一个相对较新的特性，所以在实现中可能只有占位符来允许你设置属性。 这在您的警告消息中很明显。

您还应该了解，除非最新草案和最终产品之间的某些措辞发生变化，否则即使是合规的实现也能够忽略这些属性。 它们对编译器有很多建议，比如在 C 中inline 。来自最新的n4762草案（在这个答案的时候，以及我的重点）：

注意：使用可能的属性旨在允许实现针对以下情况进行优化：包含它的执行路径比在语句或标签上不包含此类属性的任何替代执行路径更有可能。

请注意“允许”一词，而不是“强制”、“要求”或“授权”。

Answer 3

截至今天， cppreference指出，例如， likely （强调我的）：

应用于语句以允许编译器针对包含该语句的执行路径比不包含此类语句的任何替代执行路径更有可能的情况进行优化。

这表明放置属性的位置是最有可能的语句，即：

if (condition) { [[likely]] ... } else { ... }

例如，在使用/std:c++latest编译时，Visual Studio 2019 16.7.0 接受此语法。