在特殊情况下是否可以忽略 [[nodiscard]] ？

Question

C++17 有一个新属性，[[nodiscard]]。

假设我有一个Result 结构，它有这个属性：

struct [[nodiscard]] Result {
};

现在，如果我调用返回 Result 的函数，如果我不检查返回的 Result，则会收到警告：

Result someFunction();

int main() {
    someFunction(); // warning here, as I don't check someFunction's return value
}

这个程序生成：

警告：忽略用“nodiscard”声明的函数的返回值 属性 [-Wunused-result]

到目前为止，一切都很好。现在假设，我有一个特殊的功能，我仍然想返回Result，但如果省略检查，我不希望生成此警告：

Result someNonCriticalFunction();

int main() {
    someNonCriticalFunction(); // I don't want to generate a warning here
}

这是因为，someNonCriticalFunction() 做了一些非关键的事情（例如，像printf 这样的事情——我敢打赌，没有人会一直检查printf 的返回值）；大多数情况下，我不在乎它是否失败。但我仍然希望它返回Result，因为在极少数情况下，我确实需要它的Result。

有可能以某种方式做到这一点吗？

---

我不喜欢的可能解决方案：

• 我不喜欢叫它(void)someNonCriticalFunction()，因为这个函数被调用了很多次，很别扭
• 围绕someNonCriticalFunction() 创建一个包装器，它调用(void)someNonCriticalFunction()：我不想仅仅因为这个而有一个不同命名的函数
• 从结果中删除[[nodiscard]]，并将其添加到每个返回Result的函数中

Answer 1

为什么不使用 <tuple> 标头中的 std::ignore - 这会使丢弃显式：

[[nodiscard]] int MyFunction() { return 42; }

int main() 
{
    std::ignore = MyFunction();
    return 0;
}

• 此代码sn-p的编译器浏览器：https://godbolt.org/z/eGPsjajz8
• std::ignore 的 CPP 参考：https://en.cppreference.com/w/cpp/utility/tuple/ignore

Answer 2

他们说计算机科学中的每个问题都可以通过添加另一层间接来解决：

template <bool nodiscard=true>
struct Result;

template <>
struct Result<false> {
    // the actual implementation
};

template <>
struct [[nodiscard]] Result<true>
    : Result<false>
{
    using Result<false>::Result;
};

这有效地使Result有条件地[[nodiscard]]，它允许：

Result<true> someFunction();
Result<false> someNonCriticalFunction();

int main() {
    someFunction();            // warning here
    someNonCriticalFunction(); // no warning here
}

---

虽然真的，这与：

• 从 Result 中删除 [[nodiscard]]，并将其添加到每个返回 Result 的函数中

这让我开始投票。

Answer 3

我推荐你排除的选项：

"从Result 中删除[[nodiscard]]，并将其添加到每个返回结果的函数中。"

但由于您似乎对此不满意，这里有另一个解决方案，使用沼泽标准继承：

struct [[nodiscard]] Result {
};

struct DiscardableResult: public Result {
};

对于可以丢弃结果的函数，使用DiscardableResult作为返回类型：

Result func1();
DiscardableResult func2();

func1(); // will warn
func2(); // will not warn

Answer 4

将结果转换为 (void *)。

int main()
{
    (void *)someFunction(); //Warning will be gone.
}

就编译器而言，这样你“使用”了你的结果。非常适合当您使用已使用 nodiscard 的库并且您真的不想知道结果时。