C attribute: nodiscard (since C23)

Si una función declarada nodiscard o una función que retorna una estructura/unión/enumeración declarada nodiscard por valor es llamada desde una expresión de valor descartado que no sea una conversión a void , se recomienda al compilador emitir una advertencia.

Sintaxis

Explicación

Aparece en una declaración de función, declaración de enumeración, o declaración de struct/union.

Si, desde una expresión de valor descartado que no sea una conversión a void ,

• una función declarada nodiscard es llamada, o
• una función que retorna un struct/union/enum declarado nodiscard es llamada,

se recomienda al compilador que emita una advertencia.

El string-literal , si se especifica, normalmente se incluye en las advertencias.

Ejemplo

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(); // el compilador puede advertir al descartar un valor nodiscard
   launch_missiles();
}
struct error_info* foo() { static struct error_info e; /*...*/ return &e; }
void f1() {
    foo(); // el tipo nodiscard en sí no es retornado, sin advertencia
}
// nodiscard( literal-de-cadena ):
[[nodiscard("PURE FUN")]] int strategic_value(int x, int y) { return x ^ y; }
int main()
{
    strategic_value(4,2); // el compilador puede advertir al descartar un valor nodiscard
    int z = strategic_value(0,0); // OK: el valor de retorno no es descartado
    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

Véase también