[[nodiscard]]仅触发编译器警告而非错误，是否报错取决于编译器设置和显式绕过手段；典型触发场景包括丢弃返回值、临时对象构造等，支持带提示消息的C++20扩展及类/枚举标注，但可被(void)等方式轻松绕过。

它不能强迫，只能警告——是否报错、是否忽略，最终取决于编译器设置和调用者显式绕过手段。

[[nodiscard]] 触发警告的典型场景

编译器只在「返回值被丢弃且未转为 void」时发出警告，不是语法错误。常见触发点包括：

• some_nodiscard_func(); —— 直接调用不接收返回值
• SomeClass(); —— 临时对象构造后立即销毁（类被标记为 [[nodiscard]]）
• static_cast<someclass>(arg);</someclass> —— 显式类型转换生成临时对象
• std::make_unique<t>();</t> —— 若 T 构造函数或工厂函数带 [[nodiscard]]，而你没接住返回的 std::unique_ptr

Clang/GCC 默认在 -Wall 下启用 -Wunused-result；MSVC 对应警告是 C4834。若加了 -Werror 或 /WX，警告才升级为编译失败。

绕过警告的合法方式（也是容易踩的坑）

开发者可以轻松绕过 [[nodiscard]] 的提醒，这意味着它只是“提示器”，不是“守门员”：

立即学习“C++免费学习笔记（深入）”；

C++ Code Review Master

组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。

下载

• (void)func(); —— 最常用，显式丢弃
• [[maybe_unused]] auto r = func(); —— C++17 起支持，声明变量但不用
• std::ignore = func(); —— 仅当返回类型可赋值给 std::ignore（如 std::tuple 成员）
• 重载或特化版本未加 [[nodiscard]] —— 属性不自动继承，每个声明必须单独标注

特别注意：头文件中声明加了 [[nodiscard]]，实现文件（.cpp）里不写也没关系；但若在 .cpp 中重新声明函数（比如内联定义），没加属性就失效。

C++20 增强：带提示消息的 [[nodiscard]]

你可以让警告更具体，帮助调用者快速理解为什么不能忽略：

[[nodiscard("file descriptor must be closed or passed to RAII")]]
int open_file(const char* path);
<p>[[nodiscard("result contains error code; check before proceeding")]]
ErrorCode do_something();

这种写法在 Clang 12+、GCC 10+、MSVC 19.28+ 支持。但要注意：消息字符串不参与编译检查，纯属提示；如果编译器不支持该语法，会直接报错（而非降级为无消息版），所以跨平台项目需配合宏保护。

类/枚举上使用 [[nodiscard]] 的实际影响

标记整个类（如 class [[nodiscard]] Handle { ... };）时，所有按值返回该类型的场景都会触发警告：

• Handle create_handle(); Handle(); create_handle(); —— 全部告警
• 但 Handle& 或 Handle* 返回不触发（没产生新对象）
• 派生类不自动继承该属性；若基类构造函数标了 [[nodiscard]]，派生类构造函数仍需单独标注
• 移动/拷贝构造函数不受影响，除非你显式给它们加属性

真正关键的是：它对资源型 RAII 类最有价值（比如 [[nodiscard]] std::expected 或自定义 ScopeGuard），但一旦用户写了 (void)create_guard();，清理逻辑就彻底失效——这点比函数返回值更危险，因为后果是静默的资源泄漏或未提交事务。