[[nodiscard]]是c++17引入的编译期属性，用于在调用者忽略函数返回值时触发警告；适用于资源获取、状态/错误码、值变换等关键语义函数，需在声明处显式标注，不自动传播，可与[[noreturn]]等属性共存。
![c++的[[nodiscard]]属性有什么用？ (防止返回值被忽略)](https://img.php.cn/upload/article/001/431/639/176835912384645.png)
[[nodiscard]] 是 C++17 引入的属性，核心作用就是：**让编译器在调用者忽略函数返回值时发出警告（或错误）**。它不是运行时机制，纯属编译期约束，用来捕获那些“本该检查却忘了检查”的逻辑漏洞。
哪些函数适合加 [[nodiscard]]？
不是所有函数都需要——只对「返回值携带关键语义、忽略即可能出错」的函数才真正有意义：
- 资源获取类函数：
std::unique_ptr<t> create_resource()</t>、FILE* fopen(...)（忽略返回值意味着没拿到句柄，后续操作全崩） - 状态/错误码函数：
std::expected<int std::string> parse_int(const std::string&)</int>、自定义的ErrorCode do_something()（忽略返回值 = 默认假设成功，掩盖失败） - 值变换但不就地修改的函数：
std::string to_upper(const std::string&)（原字符串不变，新字符串被丢弃 = 白干） -
标准库中已广泛使用：如
std::vector::data()、std::optional::value_or()、std::regex_search()等
怎么加？语法和常见写法差异
可以加在函数声明、函数模板、类/结构体、枚举、甚至整个命名空间（C++20）上。最常用的是函数级别：
[[nodiscard]] int find_value(const std::vector<int>& v, int target);
<p>// 也可带说明文字（C++20），提升警告可读性
[[nodiscard("error code must be checked")]] ErrorCode write_file(const char* path);</p><p>// 类型别名也能标记（C++20）
using Result = [[nodiscard]] std::expected<int, std::string>;注意：[[nodiscard]] 不会自动传播到重载或特化版本，每个声明需单独标注；成员函数同样适用，包括 const 成员函数。
立即学习“C++免费学习笔记（深入）”；
忽略返回值时会发生什么？编译器行为与实际效果
效果完全取决于编译器实现和警告级别设置：
- Clang/GCC 在
-Wall或-Wreturn-type下默认触发[-Wunused-result]警告 - MSVC 对应警告是
C4834（“discarding return value of function with ‘nodiscard’ attribute”） - 若配合
-Werror或/WX，警告直接变编译错误 - 用户仍可用显式丢弃绕过：
(void)find_value(v, 42);或[[maybe_unused]] auto r = find_value(v, 42);
⚠️ 容易踩的坑：只在头文件声明处加 [[nodiscard]]，而定义（.cpp 中）没加——没问题，属性只作用于声明；但若在定义处加了而声明没加，部分编译器可能不识别（因为调用点看到的是声明）。
和 [[maybe_unused]]、[[noreturn]] 的关系
三者互不干扰，解决不同问题：
-
[[nodiscard]]约束「调用方」：你不能随便扔掉返回值 -
[[maybe_unused]]告诉编译器「这个变量/参数我暂时不用，别警告」 -
[[noreturn]]告诉编译器「这函数永不返回」，用于std::abort()、throw等
它们可以共存，比如一个从不返回但返回值又必须检查的函数（极少，但语法允许）：
[[nodiscard]] [[noreturn]] std::optional<int> get_config_value();
真正容易被忽略的是：这个属性对「隐式转换构造函数返回的临时对象」也生效，比如 [[nodiscard]] struct Error { Error(int); };，然后写 func();（其中 func 返回 Error），也会被警告——很多人只想到普通函数，忘了类型本身也能被标记。
