Атрибут C: nodiscard (с C23)

Если функция, объявленная 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

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/w/c/language/attributes/nodiscard