![c++如何利用属性（attributes）如[[nodiscard]]提升代码质量？（编译检查）](https://img.php.cn/upload/article/001/431/639/177251180273408.jpg)
[[nodiscard]] 该加在哪些函数上才真正起作用
它只对函数声明（含成员函数、模板实例化后的函数）有效，加在变量、类型、命名空间上完全被忽略。编译器不会报错，但也不会做任何检查——等于白写。
常见误用场景：std::vector::push_back 不该加 [[nodiscard]]（它本就不返回值），而 std::vector::data、std::optional::value、自定义的工厂函数（如 create_widget()）才是典型目标。
- 返回资源句柄（
FILE*、int fd、std::unique_ptr）的函数必须加 - 返回状态但不抛异常的函数（如
parse_config() → std::expected<config error></config>）建议加 - 重载运算符（如
operator+()）加了也没用：调用者几乎不可能忽略返回值，且编译器通常不检查
忽略 [[nodiscard]] 返回值时，不同编译器的警告级别差异
Clang 默认开启 -Wunused-result，GCC 需显式加 -Wunused-result，MSVC 则依赖 /Wall 或 /WX 才提示。即使开了，GCC 对 std::move 包裹的 [[nodiscard]] 函数也不警告——这是已知行为，不是 bug。
- Clang 15+ 对
[[nodiscard("reason")]]的字符串提示显示更完整 - GCC 12 开始支持
[[nodiscard]]，但对模板推导出的函数仍可能漏检 - CI 中务必统一启用对应警告标志，否则本地能捕获的问题在线上静默失效
自定义 [[nodiscard]] 类型与隐式转换的坑
给类加 [[nodiscard]] 属性后，其临时对象若参与隐式转换，返回值可能被“吞掉”而不触发警告。例如 [[nodiscard]] struct Result { operator bool() const; };，写 if (compute()) { ... } 就不会告警——因为转换成了 bool，不再是原类型返回值。
立即学习“C++免费学习笔记（深入）”；
- 避免为支持隐式转换的类型加
[[nodiscard]] - 改用显式转换函数（如
.ok()、.has_value()）替代operator bool() - 若必须保留转换，可在转换函数上也加
[[nodiscard]]，但要注意 GCC 目前不支持对该类函数属性的检查
和 static_assert / concept 一起用才能堵住逻辑漏洞
[[nodiscard]] 只管“有没有用返回值”，不管“用得对不对”。比如 [[nodiscard]] std::optional<int> find_value();</int>，调用者写 find_value().value(); 依然过编译，但运行时可能崩溃。
- 搭配
static_assert检查调用上下文（如仅允许在auto x = ...或if (x.has_value())中使用）需要宏或概念约束，实际中较难落地 - 更可行的是：在 CI 中启用
-Wuninitialized+-Wmaybe-uninitialized，和[[nodiscard]]形成互补 - 真正容易被忽略的是：模板函数如果未显式实例化，某些编译器（尤其是老版本 GCC）根本不会检查其
[[nodiscard]]属性
