C attribute: nodiscard (since C23)

Wenn eine Funktion, die als nodiscard deklariert ist, oder eine Funktion, die eine als nodiscard deklarierte Struktur/Union/Aufzählung per Wert zurückgibt, aus einem verworfenen Wertausdruck aufgerufen wird, der keine Umwandlung in void ist, wird der Compiler ermutigt, eine Warnung auszugeben.

Syntax

Erklärung

Erscheint in einer Funktionsdeklaration, Enumerationsdeklaration oder Struct/Union-Deklaration.

Wenn, von einem verworfenen Wertausdruck außer einer Umwandlung zu void ,

• eine als nodiscard deklarierte Funktion wird aufgerufen, oder
• eine Funktion, die eine als nodiscard deklarierte Struktur/Union/Aufzählung zurückgibt, wird aufgerufen,

Der Compiler wird dazu angehalten, eine Warnung auszugeben.

Der string-literal , falls angegeben, wird normalerweise in die Warnungen eingeschlossen.

Beispiel

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 kann vor dem Verwerfen eines nodiscard-Werts warnen
   launch_missiles();
}
struct error_info* foo() { static struct error_info e; /*...*/ return &e; }
void f1() {
    foo(); // nodiscard-Typ selbst wird nicht zurückgegeben, keine Warnung
}
// nodiscard( string-literal ):
[[nodiscard("PURE FUN")]] int strategic_value(int x, int y) { return x ^ y; }
int main()
{
    strategic_value(4,2); // Compiler kann vor dem Verwerfen eines nodiscard-Werts warnen
    int z = strategic_value(0,0); // OK: Rückgabewert wird nicht verworfen
    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

Siehe auch