C++ 属性标签（[[nodiscard]]/[[maybe_unused]]）是什么？（如何利用编译器警告优化代码）

[[nodiscard]]仅对彻底丢弃返回值的函数调用触发警告，不分析语义；[[maybe_unused]]不能抑制未定义行为，仅限未使用符号；c++20起强制诊断，需配合编译器警告选项生效。

[[nodiscard]] 能拦住哪些漏掉返回值的错误？

它只对函数调用表达式起作用，且仅当返回值被彻底丢弃（没赋给变量、没用于 if/while、没传给 void 函数）时触发警告。编译器不会分析语义，比如 std::vector::push_back() 返回 void，加了 [[nodiscard]] 也无效；但 std::vector::at() 返回引用，漏掉就真可能出错。

常见漏判场景：
– 返回临时对象但被隐式转换（如 auto x = f(); 中 f() 返回 std::optional<int></int>，却没检查 has_value()）
– 调用后直接分号结尾（parse_json(input);，而 parse_json 声明为 [[nodiscard]] 且返回 std::expected<t err></t>）
– 宏展开后隐藏了调用（宏里调用了 [[nodiscard]] 函数，但外层看不出）

实操建议：
– 只给「不检查返回值大概率导致逻辑错误或资源泄漏」的函数加，比如内存分配、解析结果、状态校验
– 避免给纯计算函数（如 abs()、max()）加，否则团队会养成“(void)f();” 消音习惯，反而掩盖真问题
– GCC 12+ 和 Clang 14+ 支持 [[nodiscard("reason")]]，提示更明确，比如 [[nodiscard("check allocation success")]]

[[maybe_unused]] 是不是能随便塞来 suppress 警告？

不能。它只抑制「未使用变量/参数/typedef」的编译器警告，对未定义行为、未初始化、悬垂指针等完全无效。最常见误用是把它当成万能静音器，结果把真正该修的 bug 给藏起来了。

典型踩坑点：
– 在 Lambda 参数上滥用：比如 [&](int x, int y) { return x * 2; }，给 y 加 [[maybe_unused]] 掩盖了接口设计冗余
– 用于局部变量但变量实际参与了副作用（比如 [[maybe_unused]] auto _ = log_debug("start");），编译器可能因优化直接删掉这行，日志就没了
– 和 static_cast<void></void> 混用，比如 static_cast<void>(f()); [[maybe_unused]] auto _ = f();</void>，重复且误导

实操建议：
– 仅在确实需要保留符号但当前上下文不用时使用，比如跨平台条件编译中某平台不需要的参数
– 对函数参数，优先考虑重载或 SFINAE，而不是加标签“假装用过”
– 检查编译器是否真的识别：Clang 会警告 [[maybe_unused]] 用在非声明位置，GCC 则相对宽松

这两个属性在 C++17 和 C++20 下有什么兼容性差异？

C++17 引入基础支持，但部分实现不完整；C++20 才正式标准化语义和诊断要求。最大区别在于：C++17 下编译器可选择不报 [[nodiscard]] 警告（尤其模板实例化中），而 C++20 要求必须诊断。

影响明显的场景：
– 模板函数加 [[nodiscard]]，在 C++17 模式下 GCC 9 可能完全不报，Clang 10 仅对显式实例化报
– [[nodiscard]] 应用于类类型时（如返回自定义 RAII 类型），C++17 实现常忽略构造函数是否被调用，C++20 明确要求检查对象是否被绑定
– [[maybe_unused]] 用于结构体成员，在 C++17 中某些编译器不支持，C++20 允许

实操建议：
– 项目统一指定 -std=c++20 或更高，避免行为漂移
– 不要依赖 __has_cpp_attribute 简单判断，应测试具体行为（例如写个最小用例看是否触发警告）
– CI 流水线里用不同编译器版本验证，尤其注意 MSVC 对 [[nodiscard]] 的延迟诊断问题（可能到链接期才报）

为什么加了 [[nodiscard]] 还收不到警告？

最常见原因是编译器警告级别不够或相关选项没开。这些属性本身不改变代码行为，只提供诊断信号，必须配合编译器开关才能生效。

立即学习“C++免费学习笔记（深入）”；

关键配置项：
– GCC/Clang 必须启用 -Wall 或至少 -Wunused-result（GCC） / -Wunused-result（Clang）
– MSVC 需开启 /Wall 或 /wd4834（对应 C4834：丢弃 nodiscard 返回值）
– CMake 中别只写 set(CMAKE_CXX_STANDARD 20)，还得加 add_compile_options(-Wall) 或对应 warning flag

其他干扰因素：
– 头文件未被正确包含（属性在头文件中声明，但实现文件没 include）
– 函数声明和定义分离时，[[nodiscard]] 只写在定义上，而调用处看到的是无属性的声明
– 使用了 #pragma GCC diagnostic ignored "-Wunused-result" 之类全局压制，覆盖了属性效果

实操建议：
– 在 CI 构建脚本里加一行验证：编译一个故意漏掉 [[nodiscard]] 返回值的测试文件，确认是否报错
– 把属性和声明写在同一行，避免宏展开或注释意外截断，比如 [[nodiscard]] std::String get_name(); 而不是换行写
– 如果团队用 precompiled header，确保属性相关的头（如 <utility></utility>）已预编译，否则可能解析失败

属性本身很简单，难的是判断什么时候该加、加在哪一层、以及怎么让整个工具链真正响应它——尤其是混合旧代码和新标准时，编译器的“宽容”常常比 bug 更危险。