【现代C++】属性关键字

现代C++引入了属性关键字，旨在为编译器提供更多的信息，以便进行优化或发出警告和错误。这些属性关键字不改变程序的逻辑，但它们对于提高代码的可读性、维护性和性能非常有用。以下是一些常用的C++属性关键字及其使用示例：

1. [[nodiscard]]

[[nodiscard]]属性用于强调函数的返回值不应被忽略，如果调用者未使用该函数的返回值，编译器将发出警告。

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

void nodiscardExample() {
    compute();  // 这里会产生警告，因为忽略了返回值
    int value = compute();  // 没有警告，因为使用了返回值
}

2. [[maybe_unused]]

[[maybe_unused]]属性用于指示变量或函数可能未被使用，从而避免在未使用变量或函数时编译器发出的警告。

[[maybe_unused]] void helperFunction() {
    // 可能不会被调用的函数
}

void maybeUnusedExample() {
    [[maybe_unused]] int unusedVariable = 42;  // 可能不会被使用的变量
}

3. [[deprecated]] 和 [[deprecated("reason")]]

[[deprecated]]属性用于标记已弃用的实体。可以提供一个字符串字面量作为参数，说明弃用的原因。

[[deprecated("Use newFunction instead")]] void oldFunction() {
    // 已弃用的函数
}

void deprecatedExample() {
    oldFunction();  // 调用此函数时，编译器将发出弃用警告
}

4. [[fallthrough]]

在switch语句中，[[fallthrough]]属性用于明确指示允许从一个case标签向下“穿透”到下一个case标签，这样可以避免编译器关于非故意的case穿透的警告。

void fallthroughExample(int num) {
    switch (num) {
        case 1:
            std::cout << "1";
            [[fallthrough]];
        case 2:
            std::cout << "2";
            break;
        default:
            std::cout << "Other";
    }
}

5. [[likely]] 和 [[unlikely]] (C++20)

C++20引入了[[likely]]和[[unlikely]]属性，用于告知编译器某个条件分支的可能性，以帮助优化生成的代码。

void likelyExample(int num) {
    if (num == 42) [[likely]] {
        std::cout << "It's 42";
    } else [[unlikely]] {
        std::cout << "Not 42";
    }
}

通过上述示例，可以看到C++属性关键字如何帮助开发者向编译器提供额外的信息，从而优化代码、生成警告或改进代码可读性。