[[nodiscard]] 必须修饰返回类型而非函数声明，正确写法为[[nodiscard]] int f();或auto f()->T；[[maybe_unused]]用于声明项以抑制未使用警告，二者混用可能导致编译器行为不一致。
![c++如何使用attribute属性标签_c++ [[nodiscard]]与[[maybe_unused]]使用【技巧】](https://img.php.cn/upload/article/001/431/639/176750124257019.png?x-oss-process=image/resize,p_40)
[[nodiscard]] 该加在函数返回值上，不是函数名前
很多初学者会写成 [[nodiscard]] int foo();，看起来没问题，但实际语义是修饰整个声明，而 C++ 标准规定 [[nodiscard]] 必须作用于「返回值类型」——也就是说它真正绑定的是函数的返回类型，不是函数本身。编译器（如 GCC/Clang）虽常容忍前者写法，但严格来说属于误用，且在模板或重载场景下可能失效。
正确写法是把属性放在返回类型位置，尤其当返回类型复杂时更需注意：
[[nodiscard]] int compute_value(); [[nodiscard]] std::optional<:string> try_get_name(); [[nodiscard]] auto get_handle() -> ResourceHandle;</:string>
常见错误现象：加了 [[nodiscard]] 却没触发警告，大概率是因为写在了函数声明开头而非返回类型侧；或者用了 typedef/using 别名但没把属性一起带上。
- 若返回类型是
auto，必须用尾置返回（-> T），否则无法标注 - 类成员函数、constexpr 函数、模板函数都支持，但特化版本需单独标注
- 和
[[maybe_unused]]不同，它不抑制警告，而是“生成新警告”——调用后未使用返回值才报
[[maybe_unused]] 只能用于变量、参数、函数、类，不能用于返回值或表达式
[[maybe_unused]] 是给编译器看的“免责申明”，告诉它：“这个东西我暂时不打算用，别报 -Wunused-variable 这类警告”。但它不是万能屏蔽器，也不能滥用在任意位置。
典型误用：int x [[maybe_unused]] = 42; ❌（语法错误）；正确是 [[maybe_unused]] int x = 42; ✅
适用场景包括：
void process([[maybe_unused]] const std::string& debug_info, [[maybe_unused]] int flags) {
[[maybe_unused]] static int call_count = 0;
++call_count;
}
<p>struct [[maybe_unused]] DebugHelper { /<em> ... </em>/ }; // 类也可以</p><div class="aritcle_card flexRow artxards">
<div class="artcardd flexRow">
<a class="aritcle_card_img" rel="nofollow" href="/xiazai/gongju/2823" title="C++14"><img
src="https://img.php.cn/upload/manual/001/431/639/6ac8b33c327c4749.png" alt="C++14" onerror="this.onerror='';this.src='/static/lhimages/moren/morentu.png'" ></a>
<div class="aritcle_card_info flexColumn">
<a rel="nofollow" href="/xiazai/gongju/2823" title="C++14" class="overflowclass">C++14</a>
<p class="overflowclass">C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。</p>
</div>
<a rel="nofollow" href="/xiazai/gongju/2823" title="C++14" class="aritcle_card_btn flexRow flexcenter"><b></b><span>下载</span>
</a>
</div>
</div>
- 函数参数最常用：比如跨平台代码中某平台不需要某个回调参数
- 局部静态变量、lambda 捕获变量也可用，但捕获时要写在 lambda 声明处，不是在 capture list 里
- 不能用于 return 表达式、
sizeof操作数、或临时对象——它只修饰声明项 - 和
[[nodiscard]]同时出现不冲突，但逻辑上矛盾（一个说“必须用”，一个说“可以不用”），编译器不会阻止，但人容易糊涂
两个属性混用时要注意语义冲突和编译器行为差异
比如写 [[nodiscard]] [[maybe_unused]] int foo();，GCC 和 Clang 都接受，但行为不同：Clang 仍会在未使用返回值时报 warning；GCC 在某些版本里会静默忽略 [[nodiscard]]（因 [[maybe_unused]] 覆盖了诊断逻辑）。这不是标准行为，而是实现差异。
真实项目中应避免这种组合。更合理的做法是按意图选其一：
- 函数返回重要状态（如错误码、新分配指针）→ 用
[[nodiscard]] - 参数/变量为占位、调试预留、条件编译残留 → 用
[[maybe_unused]] - 想临时禁用某处的 nodiscard 警告？不要加
[[maybe_unused]]，改用显式 void 转换：(void)foo();
另外注意：C++17 引入这些属性后，旧代码用 __attribute__((warn_unused_result))（GCC）或 __declspec(warn_unused_result)（MSVC）仍有效，但混合使用易导致重复警告或遗漏，建议统一迁移到标准属性。
实际项目中容易被忽略的细节
这两个属性都不影响 ABI、不改变运行时行为，纯属编译期提示。但正因为“不报错只警告”，很多人上线前才发现关键返回值被忽略了。
-
[[nodiscard]]对 operator new/operator delete 无效——它们本就不该被忽略，但标准没强制要求标注，主流 STL 实现也没加 - 头文件中声明加了
[[nodiscard]]，但定义在 .cpp 里没加？没关系，属性只看声明；但若头文件没加，定义处加了，那调用者看不到警告 - 模板函数实例化后，是否触发
[[nodiscard]]警告，取决于实例化时返回类型是否满足“可被忽略”的判断（例如 void 就不会触发） - CI 构建务必开启
-Wunused-result（GCC/Clang）或/wd5031（MSVC），否则[[nodiscard]]形同虚设
最麻烦的其实是团队协作：有人加了 [[nodiscard]]，别人调用时不处理返回值，又不敢删——结果变成“已知缺陷静默积累”。所以加之前要想清楚：这个返回值真的不该被忽略吗？有没有文档说明它的用途？
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
