[[nodiscard]]不能防止内存泄漏，因为它仅在调用者忽略带该属性的函数返回值时触发编译警告，而new表达式本身无此属性，且无法约束运行时资源管理行为。

为什么 [[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++ 封装），返回文件描述符或堆地址，丢弃即等于泄漏或资源泄露

示例：

C++14

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

下载

[[nodiscard]] int* allocate_buffer(size_t n) {
    return new int[n]; // 明确要求调用者负责 delete[]
}

调用 allocate_buffer(100); 会触发警告；而 auto p = allocate_buffer(100); 或 use(allocate_buffer(100)); 不会。

容易踩的坑：属性位置、继承性与误用

[[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></config>。如果函数返回的是裸资源，你还得配套提供明确的清理契约（注释/文档/命名如 take_ownership_of_fd()），否则开发者可能只处理了警告，却仍忘记 close()。

C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！