8

我有一个 C++ 项目，clang-tidy建议[[nodiscard]]到处添加。这是一个好习惯吗？我的理解是，[[nodiscard]]只有在忽略返回值对程序可能是致命的情况下才应该使用它。我有一个对象Car，它有一个成员const unsigned int m_ID。吸气剂应该unsigned int getID()有[[nodiscard]]吗？clang-tidy 建议如此。

编辑：

当然，我不想忽略 getter。但是
我的观点是，如果每个返回某些东西的函数都应该有一个[[nodiscard]]，那么该属性[[nodiscard]]无论如何都是多余的。编译器可以简单地检查所有返回值的函数。

4

2 回答 2

11

此选项显然是“modernize-use-nodiscard”，因此您可以根据需要停用它。

应该注意的是，此选项概​​述的规则不是C++ 标准委员会自己用于何时应用的规则[[nodiscard]]。这些规则是：

应在以下位置添加：

  • 对于现有的 API
    • 不使用返回值总是一个“巨大的错误”（例如总是导致资源泄漏）
    • 不使用返回值是麻烦的根源，很容易发生（不明显有什么问题）
  • 对于新的 API（尚未加入 C++ 标准）
    • 不使用返回值通常是一个错误。

在以下情况下不应添加：

  • 对于现有的 API
    • 至少对于某些输入，不使用返回值是一种可能/常见的编程方式
      • 例如对于 realloc()，当新站点 [原文如此] 为 0 时，它的行为就像是免费的
    • 不使用返回值是没有意义的，但不会造成伤害，而且通常也不是错误（例如，因为程序员打算要求改变状态）。
    • 它是一个 C 函数，因为它们的声明可能不受 C++ 实现的控制

这就是为什么函数 like is operator new，[[nodiscard]]而函数 like optional::valuenot 的原因。你的代码有一个小错误和你的代码从根本上被破坏是有区别的。[[nodiscard]]，就委员会而言，是为后者。

请注意，容器empty方法是一种特殊情况。它们似乎符合“不使用[[nodiscard]]”的模式，但由于 的名称与empty的名称相似clear，如果您不使用 的返回值empty，则很有可能您打算调用clear。

显然，这不能仅从声明中得知，因此 Clang-Tidy 无法实现所述规则。

于 2021-04-12T14:12:37.477 回答
3

为什么 clang-tidy 建议在任何地方添加 [[nodiscard]] ？

clang-tidy 不建议在任何地方添加 [[nodiscard] ]。检查文档中描述了建议的情况。

这是一个好习惯吗？

是的，当丢弃结果可能是一个错误时，使用 [[nodiscard]] 是一个好习惯。情况经常如此。

getter unsigned int getID() 应该有 [[nodiscard]] 吗？

你能想象在不使用返回值的情况下调用 getter 会很有用的任何用例吗？如果您确定这种情况不存在，那么您应该使用 [[nodiscard]]。我认为在所描述的示例中不存在这种情况。

我的理解是 [[nodiscard]] 只有在忽略返回值对程序可能是致命的情况下才应该使用。

这是一种比较保守的理解。如果您不同意，您可以禁用相关检查。

于 2021-04-12T14:23:18.627 回答