[[nodiscard]]用于提示编译器函数返回值不应被忽略，若忽略则发出警告，提高代码安全性。它适用于错误处理、资源创建和状态查询等场景，如divide或try_lock函数，防止因未检查返回值导致的逻辑错误。C++20支持带说明的[[nodiscard("理由")]]，增强警告信息。正确做法是检查返回值或用(void)显式忽略，以表明意图。合理使用可提升代码健壮性。
![c++中的[[nodiscard]]属性有什么用_nodiscard防止忽略返回值的使用技巧](https://img.php.cn/upload/article/001/431/639/176673630276500.png)
[[nodiscard]] 是 C++17 引入的一个属性，用于提示编译器：一个函数的返回值不应该被忽略。如果调用者调用了带有 [[nodiscard]] 的函数却未使用其返回值，编译器会发出警告。这个机制有助于提高代码安全性，防止因忽略关键返回值而导致的逻辑错误。
一、[[nodiscard]] 的基本作用
它的主要用途是标记那些返回值包含重要信息的函数，比如错误码、状态、资源句柄等。开发者如果不检查这些返回值，程序可能会在出错时继续运行，导致不可预料的行为。
例如：
[[nodiscard]] int divide(int a, int b) {
if (b == 0) return -1; // 错误
return a / b;
}
int main() {
divide(10, 0); // 编译器警告：忽略 [[nodiscard]] 函数的返回值
return 0;
}
大多数现代编译器（如 GCC、Clang、MSVC）在这种情况下会给出警告，提醒你检查返回值。
立即学习“C++免费学习笔记（深入）”；
二、实际应用场景
以下是一些适合使用 [[nodiscard]] 的典型场景：
- 错误处理函数：返回错误码或布尔值表示操作是否成功。
- 工厂函数：返回新创建的对象或资源句柄，忽略可能导致资源泄漏。
- 状态查询函数：比如尝试加锁的函数，返回是否成功获取锁。
示例：
[[nodiscard]] bool try_lock() {
// 模拟尝试加锁
return /* 是否成功 */;
}
void critical_section() {
try_lock(); // 警告！未检查是否真的获得了锁
// 危险：可能在未加锁的情况下访问共享资源
}
三、增强版用法：带说明的 [[nodiscard("理由")]]
C++20 扩展了该属性，允许添加描述性字符串，帮助开发者理解为什么不能忽略返回值。
例如：
[[nodiscard("忘记处理错误码可能导致数据损坏")]]
std::pair process_data();
// 使用时若忽略返回值，编译器警告中会包含括号内的提示
这在团队协作或复杂系统中特别有用，能快速传达设计意图。
四、如何正确处理被标记的返回值
当你调用一个 [[nodiscard]] 函数时，应显式处理其返回值。常见做法包括：
- 将返回值赋给变量并检查
- 用于条件判断
- 明确表示“故意忽略”（需谨慎）
例如：
auto result = divide(10, 3);
if (result == -1) {
// 处理错误
}
如果你确实想忽略返回值（比如测试中），可以用 (void) 显式转换来抑制警告：
(void)divide(10, 0); // 明确表示忽略，不触发警告
这种方式比直接忽略更安全，因为它表达了程序员的明确意图。
基本上就这些。合理使用 [[nodiscard]] 能显著提升代码健壮性，尤其是在涉及错误处理和资源管理的场景中。它不复杂但容易被忽视，值得在日常开发中积极采用。
