[[nodiscard]] 是 C++17 引入的属性,用于提示编译器函数返回值不应被忽略,否则触发警告;适用于返回错误码、资源、关键结果或带副作用临时对象的函数,C++20 支持带提示信息的变体。
![c++中的[[nodiscard]]属性有什么用_c++防止忽略函数返回值【c++17】](https://img.php.cn/upload/article/001/431/639/176571729336609.png)
[[nodiscard]] 是 C++17 引入的一个属性,用来告诉编译器:这个函数的返回值**不应该被忽略**。如果调用者没用上它的返回值(比如直接写 func(); 而不赋值或检查),编译器就会发出警告(甚至报错,取决于编译选项)。
什么时候该加 [[nodiscard]]?
适合加在那些返回值有重要语义、忽略它可能导致逻辑错误或资源问题的函数上:
- 返回错误码或状态(如
std::expected、自定义 result 类型) - 返回新分配的资源(如智能指针工厂函数)
- 返回需要检查的迭代器或查找结果(如
find()、try_emplace()) - 返回临时对象且其析构有副作用(比如锁、计时器、RAII guard)
怎么用?语法很简单
直接写在函数声明前或返回类型后(推荐放前面,更清晰):
示例:[[nodiscard]] int parse_int(const std::string& s); [[nodiscard]] std::unique_ptropen_file(const char* path); std::vector [[nodiscard]] get_primes_up_to(int n); // 也可放返回类型后
编译器真的会管吗?
会,但行为依赖编译器和警告级别:
立即学习“C++免费学习笔记(深入)”;
- 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。











