[[nodiscard]]是C++17引入的编译期属性，用于在调用者忽略函数返回值时触发警告；适用于资源获取、状态/错误码、值变换等关键语义函数，需在声明处显式标注，不自动传播，可与[[noreturn]]等属性共存。
[[nodiscard]] 是 C++17 引入的属性，核心作用就是：**让编译器在调用者忽略函数返回值时发出警告（或错误）**。它不是运行时机制，纯属编译期约束，用来捕获那些“本该检查却忘了检查”的逻辑漏洞。
哪些函数适合加 [[nodiscard]]？
不是所有函数都需要——只对「返回值携带关键语义、忽略即可能出错」的函数才真正有意义：
- 资源获取类函数：
std::unique_ptr create_resource()、FILE* fopen(...)（忽略返回值意味着没拿到句柄，后续操作全崩）
- 状态/错误码函数：
std::expected parse_int(const std::string&)、自定义的 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& v, int target);
// 也可带说明文字（C++20），提升警告可读性
[[nodiscard("error code must be checked")]] ErrorCode wr
ite_file(const char* path);// 类型别名也能标记（C++20）
using Result = [[nodiscard]] std::expected;
注意：[[nodiscard]] 不会自动传播到重载或特化版本，每个声明需单独标注；成员函数同样适用，包括 const 成员函数。
忽略返回值时会发生什么？编译器行为与实际效果
效果完全取决于编译器实现和警告级别设置：
- 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 get_config_value();
真正容易被忽略的是：这个属性对「隐式转换构造函数返回的临时对象」也生效，比如 [[nodiscard]] struct Error { Error(int); };，然后写 func();（其中 func 返回 Error），也会被警告——很多人只想到普通函数，忘了类型本身也能被标记。
