[[nodiscard]]不能防止内存泄漏，因为它仅在调用者忽略带该属性的函数返回值时触发编译警告，而new表达式本身无此属性，且无法约束运行时资源管理行为。
![c++ 怎么通过 [[nodiscard]] 强制调用者必须处理可能导致内存泄漏的返回值](https://img.php.cn/upload/article/001/221/864/179256147417641.png)
为什么 [[nodiscard]] 不能直接防止内存泄漏
[[nodiscard]] 只是一个编译器提示，它不改变运行时行为，也不自动释放资源。它的作用是：当函数返回一个被标记为 [[nodiscard]] 的值，而调用者直接丢弃（未使用）这个返回值时，编译器发出警告（非错误）。但如果你写了 new int[100]; 却没接返回值，这根本不会触发 [[nodiscard]]——因为 new 表达式本身不是函数，更不带属性。真正需要防护的是「显式返回裸指针/资源句柄」的函数。
哪些函数适合加 [[nodiscard]] 来降低泄漏风险
典型场景是工厂函数或资源获取函数，它们返回需手动管理的对象。加了属性后，若调用者忽略返回值，GCC/Clang/MSVC 都会报类似 warning: ignoring return value of function declared with 'nodiscard' attribute 的提示。
-
std::unique_ptr<t></t>工厂函数：虽然智能指针本身防泄漏，但若用户误写成make_resource();（没赋值），仍可能掩盖逻辑意图，加[[nodiscard]]强制显式绑定 - 自定义分配器返回的裸指针（如
allocate_buffer()），这是高危项，必须加 - 系统 API 封装（如
open()、malloc()的 C++ 封装），返回文件描述符或堆地址，丢弃即等于泄漏或资源泄露
示例：
[[nodiscard]] int* allocate_buffer(size_t n) {
return new int[n]; // 明确要求调用者负责 delete[]
}调用 allocate_buffer(100); 会触发警告；而 auto p = allocate_buffer(100); 或 use(allocate_buffer(100)); 不会。
立即学习“C++免费学习笔记（深入）”；
容易踩的坑：属性位置、继承性与误用
[[nodiscard]] 必须紧贴函数声明的「最外层」，不能放在返回类型中间或函数体里：
- ✅ 正确：
[[nodiscard]] std::unique_ptr<foo> create_foo();</foo> - ❌ 错误：
std::unique_ptr<foo> [[nodiscard]] create_foo();</foo>（Clang 拒绝，GCC 可能静默忽略） - ⚠️ 注意：成员函数、模板函数、重载函数都可独立加；但
[[nodiscard]]不继承——派生类重写函数不会自动获得该属性，必须显式重复标注 - ⚠️ 别给返回
void或字面量（如[[nodiscard]] int foo() { return 42; }）加——无意义，且可能干扰静态分析工具对真实资源路径的识别
它只是第一道防线，不是银弹
[[nodiscard]] 挡不住把返回值存到未初始化变量、转成 void、或放进未使用的 lambda 捕获里等绕过方式。它真正价值在于：在代码审查和 CI 编译阶段暴露「明显疏忽」，比如 parse_config(); 忘记检查返回的 std::expected<Config, Error>。如果函数返回的是裸资源，你还得配套提供明确的清理契约（注释/文档/命名如 take_ownership_of_fd()），否则开发者可能只处理了警告，却仍忘记 close()。
