C++中[[nodiscard]]属性的常见实践及应用场景考量

常见适用场景 #

• 资源相关函数：比如自定义内存分配、文件句柄获取、智能指针创建函数。忽略这些返回值直接等于丢失资源，必然导致泄漏，必须加[[nodiscard]]。
• 状态返回类函数：I/O操作、数据库调用、API接口的结果码。忽略返回值等于放弃错误处理，后续逻辑很可能在错误状态下执行，这种场景必须加。
• 产出型计算函数：比如加密哈希生成、复杂运算的结果返回。忽略这些返回值等于白做计算，还可能隐藏逻辑疏漏（比如本该用结果做校验却忘了）。
• 构建/终止型函数：比如构建器模式的build()方法、某些链式调用的收尾函数。忽略的话前面的构建操作全白费，属于明显的逻辑漏洞。

核心考量因素 #

• 错误风险：先判断忽略返回值的后果——是直接崩溃、泄漏资源、损坏数据，还是只是浪费算力？前者必须加，后者可灵活处理。
• 语义直观性：如果函数名字看起来就“肯定有产出”（比如get_config()），用户一般不会随意忽略；但如果函数看起来像“执行动作”却藏着重要返回（比如write_log()实际返回写入成功条数），必须加，不然用户很容易当成void函数用。
• 警告疲劳：别给所有带返回值的函数都加，不然编译器警告满天飞，开发者会直接过滤掉，反而让真正重要的警告被淹没。
• 团队/库规范：如果是团队内部代码，按统一约定来；如果是公共库，别过度添加，不然用户会嫌烦，反而降低库的易用性。

全量添加还是按需添加？ #

绝对不要给所有带返回值的成员函数加[[nodiscard]]，按需针对高风险场景添加才是合理的：

• 很多成员函数的返回值本来就是可选的，比如std::vector::size()，用户可能只是调用它触发内部逻辑（比如确保容器已初始化），并不需要具体数值，加了反而会出无意义的警告。
• 过度使用会让[[nodiscard]]的警示作用贬值，真正需要关注的警告会被一堆无关警告掩盖。
• 必要时可以给[[nodiscard]]加提示信息，比如[[nodiscard("返回的内存块必须手动释放，否则会泄漏")]] void* allocate(size_t size);，让开发者一眼就懂为什么不能忽略这个返回值。

内容的提问来源于stack exchange，提问作者Amit