为什么 [[nodiscard]] 属性不具有传递性？

Question

考虑以下代码：

[[nodiscard]] float val() { return 3.; }
float junk() { return val(); }
int main() { junk(); }

应该要求将junk标记为[[nodiscard]]似乎是合乎逻辑的，但上面的示例编译时没有任何警告。

换句话说，如果 val 的返回值可以从“可丢弃的”function 返回，那么val没有丢弃的意义何在？

Answer 1

[[nodiscard]]只是防止从val返回的值被丢弃。 junk正在使用返回的值，所以一切正常。 如果您愿意，可以将junk标记为[[nodiscard]] 。

此外，请注意，没有强有力的保证首先会收到警告（cppreference ）：

如果 function 声明 nodiscard 或 function 返回枚举或 class 声明 nodiscard by value 被调用以避免从丢弃的编译器发出警告之外的警告。

实现您想要的行为的方法是使用指定为[[nodiscard]]的自定义 class ：

#include <iostream>

struct [[nodiscard]] foo {};

foo val() { return {};}
foo junk() { return val(); }

int main() {
    junk();
}

Gcc 报告：

<source>:9:5: error: ignoring return value of function declared with 'nodiscard' attribute [-Werror,-Wunused-result]
    junk();
    ^~~~