属性

C23 标准引入了属性(attributes)语法，使用 [[]] 方式声明。这种语法提供了一种标准化的方式来向编译器传达额外的信息。

基本语法

属性使用双方括号声明：

[[attribute_name]]

可以指定多个属性：

[[attribute_name1, attribute_name2]]

标准属性

1. nodiscard 属性

表示函数的返回值不应该被忽略：

[[nodiscard]] int important_function(void);

// 使用时如果忽略返回值，编译器会警告
important_function();  // 警告：丢弃了返回值

也可以添加说明文字：

[[nodiscard("必须检查返回值")]] int check_status(void);

2. maybe_unused 属性

表示某个变量或函数可能不会被使用：

[[maybe_unused]] static int debug_flag;

[[maybe_unused]] static void debug_function(void) {
    // 调试用函数
}

3. deprecated 属性

标记已废弃的函数或变量：

[[deprecated]] void old_function(void);

// 可以添加废弃原因
[[deprecated("使用 new_function 代替")]] void legacy_function(void);

4. fallthrough 属性

在 switch 语句中，明确指示 case 的 fallthrough 行为：

void process(int value) {
    switch (value) {
        case 1:
            // 处理 case 1
            [[fallthrough]];  // 明确表示要继续执行下一个 case
        case 2:
            // 处理 case 2
            break;
    }
}

属性的位置

属性可以应用在多个位置：

1. 对象声明

[[maybe_unused]] static int debug_level;

2. 函数声明

[[nodiscard]] [[deprecated]] int legacy_function(void);

3. 类型定义

[[deprecated]] typedef int old_type;

4. 标签

[[maybe_unused]] label:
    // 代码

使用建议

1. 优先使用标准属性：相比编译器特定的 __attribute__，标准属性具有更好的可移植性，但也要注意编译器支持情况。

2. 明确使用目的。

3. 添加说明：对于 deprecated 等属性，建议添加说明文字。

实际应用示例

#include <stdio.h>

// 返回值不能被忽略的函数
[[nodiscard("必须检查文件操作结果")]] int save_file(const char* filename) {
    // 文件保存操作
    return 1;  // 成功返回 1
}

// 废弃的函数
[[deprecated("使用 new_process 代替")]] void old_process(void) {
    printf("旧的处理函数\n");
}

// 可能未使用的调试函数
[[maybe_unused]] static void debug_print(const char* msg) {
    printf("Debug: %s\n", msg);
}

int main(void) {
    // 编译器会警告：忽略了返回值
    save_file("test.txt");

    // 编译器会警告：使用了废弃函数
    old_process();

    return 0;
}

总结

C23 标准属性提供了：

• 更好的可移植性
• 统一的语法
• 明确的语义

使用标准属性可以：

• 提高代码的可读性
• 帮助捕获潜在的错误
• 更好地表达代码意图