命名空间
变体
操作

C 属性: nodiscard (自 C23 起)

来自 cppreference.com
< c‎ | 语言‎ | 属性

如果一个声明为 nodiscard 的函数,或者一个返回值类型为结构体/联合体/枚举且声明为 nodiscard 的函数,从一个 弃值表达式 (除了强制转换为 void)中被调用,则编译器会发出警告。

内容

[编辑] 语法

[[ nodiscard ]]
[[ __nodiscard__ ]]
(1)
[[ nodiscard ( 字符串字面量 ) ]]
[[ __nodiscard__ ( 字符串字面量 ) ]]
(2)
字符串字面量 - 可以用来解释为什么不应该丢弃结果的文字

[编辑] 解释

出现在函数声明、枚举声明或结构体/联合体声明中。

如果,从一个 弃值表达式 (除了强制转换为 void)中,

  • 一个声明为 nodiscard 的函数被调用,或者
  • 一个返回值类型为结构体/联合体/枚举且声明为 nodiscard 的函数被调用,

则编译器会发出警告。

如果指定了 字符串字面量,它通常会包含在警告中。

[编辑] 示例

struct [[nodiscard]] error_info { int status; /*...*/ };
struct error_info enable_missile_safety_mode() { /*...*/ return (struct error_info){0}; }
void launch_missiles() { /*...*/ }
void test_missiles() {
   enable_missile_safety_mode(); // compiler may warn on discarding a nodiscard value
   launch_missiles();
}
struct error_info* foo() { static struct error_info e; /*...*/ return &e; }
void f1() {
    foo(); // nodiscard type itself is not returned, no warning
}
// nodiscard( string-literal ):
[[nodiscard("PURE FUN")]] int strategic_value(int x, int y) { return x ^ y; }
 
int main()
{
    strategic_value(4,2); // compiler may warn on discarding a nodiscard value
    int z = strategic_value(0,0); // OK: return value is not discarded
    return z;
}

可能的输出

game.cpp:5:4: warning: ignoring return value of function declared with 'nodiscard' attribute
game.cpp:17:5: warning: ignoring return value of function declared with 'nodiscard' attribute: PURE FUN

[编辑] 另请参阅

C++ 文档 针对 nodiscard