在C++中，注解标签（或称为属性）是一种为编译器提供额外信息的机制。C++11引入了标准的属性语法，允许程序员在代码中嵌入编译器可以识别和利用的额外信息。以下是一些常见的C++标准属性及其用法：

1.[[noreturn]]

指示函数不返回到调用者。

#include <cstdlib>

[[noreturn]] void exit_program() {
    std::exit(1);
}

int main() {
    exit_program();
    // 这行代码永远不会执行
    return 0;
}

2.[[deprecated]]

标记函数、变量或类型为已弃用。可以选择性地提供弃用消息。

[[deprecated("Use new_function instead")]]
void old_function() {
    // ...
}

void new_function() {
    // ...
}

int main() {
    old_function();  // 编译时会产生弃用警告
    new_function();
    return 0;
}

3.[[nodiscard]]

指示调用者不应忽略函数的返回值。

[[nodiscard]] int compute_value() {
    return 42;
}

int main() {
    compute_value();  // 编译时会产生警告，因为返回值被忽略
    int value = compute_value();  // 正确用法
    return 0;
}

4.[[maybe_unused]]

表明变量、函数或类型可能未被使用，以抑制编译器警告。

[[maybe_unused]] void helper_function() {
    // 可能未被调用
}

int main() {
    [[maybe_unused]] int x = 42;  // 可能未被使用
    return 0;
}

5.[[fallthrough]]

用于显式标记 switch 语句中的case分支意图落空，以避免编译器警告。

void process(int value) {
    switch (value) {
        case 1:
            // some code
            [[fallthrough]];
        case 2:
            // some code
            break;
        default:
            // some code
            break;
    }
}

6.[[likely]]和[[unlikely]]

提示编译器某个分支在运行时更可能（或不太可能）被执行（C++20引入）。

void process(int value) {
    if ([[likely]] value > 0) {
        // 这个分支更可能被执行
    } else {
        // 这个分支不太可能被执行
    }
}

7.[[no_unique_address]]

用于优化类的内存布局（C++20引入）。

struct Empty {};

struct MyClass {
    [[no_unique_address]] Empty e;
    int value;
};

自定义属性

C++标准允许用户定义自定义属性，虽然编译器可能不会解释这些属性，但它们可以被工具或库使用。

[[my_custom_attribute]]
void custom_function() {
    // ...
}

总结

C++标准属性为程序员提供了一种嵌入额外信息的机制，以帮助编译器优化或生成警告。这些属性在现代C++编程中越来越重要，尤其是在提高代码可读性、维护性和性能方面。