C++ 20新特性之属性的标准化

💡 如果想阅读最新的文章，或者有技术问题需要交流和沟通，可搜索并关注微信公众号“希望睿智”。

概述

        在C++ 20之前，属性通常是通过特定的预处理指令或编译器特定的语法来实现的。在C++ 20中，属性被纳入了标准，使得它们在不同的编译器之间更加一致，也更易移植。通过属性，我们可以为代码中的实体（比如：类、函数、变量等）添加元数据。这些元数据可以用于各种目的，包括：编译器优化、代码分析、文档生成等。

        C++ 20中的属性使用“[[ ]]”语法来定义，并且可以与多种实体一起使用。接下来，我们将介绍一些常用的属性。

[[likely]] 和 [[unlikely]]属性

        这两个属性用于指示条件分支的倾向性，以帮助编译器做出更好的优化决策。

        在下面的示例代码中，Process函数内部通过一个if语句检查bValid的值。在这个检查前，使用了[[likely]]属性修饰bValid为true的情况。这意味着，我们认为这条路径在实际运行时更常被触发。相对地，else部分则隐含地被认为是不太可能被执行的路径。

        这里[[likely]]的直接效果对程序的运行逻辑没有影响，它更多是作为一种编译器的提示，理论上可以帮助生成更加高效的机器码。但实际上，这种优化效果依赖于编译器的具体实现以及目标平台。

#include <iostream>
using namespace std;

void Process(bool bValid)
{
    if ([[likely]] bValid)
    {
        cout << "valid case" << endl;
    }
    else
    {
        cout << "invalid case" << endl;
    }
}

int main()
{
    Process(true);
    return 0;
}

[[nodiscard]]属性

        该属性用于提示编译器某个函数的返回值不应被忽略，如果忽略了返回值，编译器应该发出警告。

        在下面的示例代码中，我们定义了一个函数CheckSomething()。它被[[nodiscard]]属性修饰，意味着其返回的布尔值应当被检查或使用。然而，在main()函数中，当调用CheckSomething()时，并没有使用其返回值，这明显违背了[[nodiscard]]属性的意图。因此，大多数遵循C++ 20标准的编译器在编译这段代码时，会发出警告信息，比如：“discarding return value of function with 'nodiscard' attribute”。

#include <iostream>
using namespace std;

[[nodiscard]] bool CheckSomething()
{  
    // 执行一些检查并返回结果
    return true;
}

int main()
{
    CheckSomething();
    return 0;
}

[[maybe_unused]]属性

        该属性用于告诉编译器某个实体可能会被使用，但在当前的编译单元中没有被使用，这可以防止编译器发出未使用的实体的警告。

        在下面的示例代码中，debugCheck变量被标记为[[maybe_unused]]。这意味着，即使在最终的代码路径中没有使用到它，也不会触发编译器的未使用变量的警告。这为开发者提供了灵活性，同时也保持了代码的整洁，避免了不必要的编译时警告干扰。

#include <iostream>
using namespace std;

void ProcessData(int data)
{
    // 这个变量仅用于调试，可能在最终版本中不使用
    [[maybe_unused]] int debugCheck = data * 10;
    cout << data << endl;
}

int main()
{
    ProcessData(66);
    return 0;
}

[[fallthrough]]属性

        该属性实际上是在C++ 17中引入的一个新特性，主要用在switch语句中。[[fallthrough]]属性用于在switch语句中明确指示编译器，从当前case标签到下一个case标签的执行是有意为之的，不应发出遗漏break语句的警告。

#include <iostream>
using namespace std;

void Process(int nOption)
{
    switch(nOption)
    {
    case 1:
        cout << "Option 1" << endl;
        // 明确告诉编译器，这里没有忘记break
        [[fallthrough]];
    case 2:
        cout << "Option 2" << endl;
        break;
    default:
        cout << "Default case" << endl;
    }
}

int main()
{
    Process(1);
    return 0;
}