[[nodiscard]]用于提示编译器函数返回值不应被忽略，若忽略则发出警告，提高代码安全性。它适用于错误处理、资源创建和状态查询等场景，如divide或try_lock函数，防止因未检查返回值导致的逻辑错误。C++20支持带说明的[[nodiscard("理由")]]，增强警告信息。正确做法是检查返回值或用(void)显式忽略，以表明意图。合理使用可提升代码健壮性。

[[nodiscard]] 是 C++17 引入的一个属性，用于提示编译器：一个函数的返回值不应该被忽略。如果调用者调用了带有 [[nodiscard]] 的函数却未使用其返回值，编译器会发出警告。这个机制有助于提高代码安全性，防止因忽略关键返回值而导致的逻辑错误。

一、[[nodiscard]] 的基本作用

它的主要用途是标记那些返回值包含重要信息的函数，比如错误码、状态、资源句柄等。开发者如果不检查这些返回值，程序可能会在出错时继续运行，导致不可预料的行为。

例如：

[[nodiscard]] int divide(int a, int b) {
    if (b == 0) return -1; // 错误
    return a / b;
}
<p>int main() {
divide(10, 0); // 编译器警告：忽略 [[nodiscard]] 函数的返回值
return 0;
}</p>

大多数现代编译器（如 GCC、Clang、MSVC）在这种情况下会给出警告，提醒你检查返回值。

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

二、实际应用场景

以下是一些适合使用 [[nodiscard]] 的典型场景：

• 错误处理函数：返回错误码或布尔值表示操作是否成功。
• 工厂函数：返回新创建的对象或资源句柄，忽略可能导致资源泄漏。
• 状态查询函数：比如尝试加锁的函数，返回是否成功获取锁。

示例：

[[nodiscard]] bool try_lock() {
    // 模拟尝试加锁
    return /* 是否成功 */;
}
<p>void critical_section() {
try_lock(); // 警告！未检查是否真的获得了锁
// 危险：可能在未加锁的情况下访问共享资源
}</p>

三、增强版用法：带说明的 [[nodiscard("理由")]]

C++20 扩展了该属性，允许添加描述性字符串，帮助开发者理解为什么不能忽略返回值。

C++14

C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。

下载

例如：

[[nodiscard("忘记处理错误码可能导致数据损坏")]]
std::pair<bool, int> process_data();
<p>// 使用时若忽略返回值，编译器警告中会包含括号内的提示</p>

这在团队协作或复杂系统中特别有用，能快速传达设计意图。

四、如何正确处理被标记的返回值

当你调用一个 [[nodiscard]] 函数时，应显式处理其返回值。常见做法包括：

• 将返回值赋给变量并检查
• 用于条件判断
• 明确表示“故意忽略”（需谨慎）

例如：

auto result = divide(10, 3);
if (result == -1) {
    // 处理错误
}

如果你确实想忽略返回值（比如测试中），可以用 (void) 显式转换来抑制警告：

(void)divide(10, 0); // 明确表示忽略，不触发警告

这种方式比直接忽略更安全，因为它表达了程序员的明确意图。

基本上就这些。合理使用 [[nodiscard]] 能显著提升代码健壮性，尤其是在涉及错误处理和资源管理的场景中。它不复杂但容易被忽视，值得在日常开发中积极采用。