17370845950

[[nodiscard]] 是 C++17 引入的属性，用于提示编译器函数返回值不应被忽略，否则触发警告；适用于返回错误码、资源、关键结果或带副作用临时对象的函数，C++20 支持带提示信息的变体。

[[nodiscard]] 是 C++17 引入的一个属性，用来告诉编译器：这个函数的返回值**不应该被忽略**。如果调用者没用上它的返回值（比如直接写 func(); 而不赋值或检查），编译器就会发出警告（甚至报错，取决于编译选项）。

什么时候该加 [[nodiscard]]？

适合加在那些返回值有重要语义、忽略它可能导致逻辑错误或资源问题的函数上：

• 返回错误码或状态（如 std::expected、自定义 result 类型）
• 返回新分配的资源（如智能指针工厂函数）
• 返回需要检查的迭代器或查找结果（如 find()、try_emplace()）
• 返回临时对象且其析构有副作用（比如锁、计时器、RAII guard）

怎么用？语法很简单

直接写在函数声明前或返回类型后（推荐放前面，更清晰）：

[[nodiscard]] int parse_int(const std::string& s);  
[[nodiscard]] std::unique_ptr open_file(const char* path);  
std::vector [[nodiscard]] get_primes_up_to(int n);  // 也可放返回类型后

编译器真的会管吗？

会，但行为依赖编译器和警告级别：

• Clang 和 GCC 在 -Wall 或 -Wignored-attributes 下会警告
• MSVC 默认就警告（C4834）
• 可以用 #pragma GCC diagnostic error "-Wunused-result" 升级为错误
• 注意：构造函数、析构函数、void 函数不能加这个属性

和 [[nodiscard]](message) 一起用（C++20）

C++20 允许带提示信息，让警告更友好：

[[nodiscard("check if allocation succeeded")]]  
std::shared_ptr create_data();

编译时警告会带上括号里的文字，帮调用者快速理解为什么不能忽略。

基本上就这些 —— 它不是强制约束，而是协作契约。加得合理，能提前拦住很多低级但难查的 bug。