C attribute: nodiscard (since C23)

Если функция, объявленная с nodiscard , или функция, возвращающая структуру/объединение/перечисление, объявленное с nodiscard по значению, вызывается из выражения отброшенного значения , отличного от приведения к void , компилятору рекомендуется выдавать предупреждение.

Синтаксис

Объяснение

Появляется в объявлении функции, объявлении перечисления или объявлении структуры/объединения.

Если из discarded-value expression , отличного от приведения к void ,

• функция, объявленная с атрибутом nodiscard , вызывается, или
• функция, возвращающая структуру/объединение/перечисление, объявленная с атрибутом nodiscard , вызывается,

компилятору рекомендуется выдать предупреждение.

Строковый литерал string-literal , если указан, обычно включается в предупреждения.

Пример

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(); // компилятор может предупредить об игнорировании nodiscard значения
   launch_missiles();
}
struct error_info* foo() { static struct error_info e; /*...*/ return &e; }
void f1() {
    foo(); // сам nodiscard тип не возвращается, предупреждения нет
}
// nodiscard( строковый литерал ):
[[nodiscard("PURE FUN")]] int strategic_value(int x, int y) { return x ^ y; }
int main()
{
    strategic_value(4,2); // компилятор может предупредить об игнорировании nodiscard значения
    int z = strategic_value(0,0); // OK: возвращаемое значение не игнорируется
    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

Смотрите также