c++的[[nodiscard]]属性有什么用？ (防止返回值被忽略)

[[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 write_file(const char* path);
// 类型别名也能标记（C++20） using Result = [[nodiscard]] std::expected;

注意：[[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 get_config_value();

真正容易被忽略的是：这个属性对「隐式转换构造函数返回的临时对象」也生效，比如 [[nodiscard]] Struct Error { Error(int); };，然后写 func();（其中 func 返回 Error），也会被警告——很多人只想到普通函数，忘了类型本身也能被标记。