C++ attribute: nodiscard (since C++17)

Wenn eine Funktion, die als nodiscard deklariert ist, oder eine Funktion, die eine Enumeration oder Klasse, die als nodiscard deklariert ist, by value zurückgibt, aus einem discarded-value expression aufgerufen wird, der keine Umwandlung zu void ist, wird der Compiler ermutigt, eine Warnung auszugeben.

Syntax

Erklärung

Erscheint in einer Funktionsdeklaration, Aufzählungsdeklaration oder Klassendeklaration.

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

• eine als nodiscard deklarierte Funktion aufgerufen wird, oder
• eine Funktion, die eine als nodiscard deklarierte Enumeration oder Klasse als Wert zurückgibt, aufgerufen wird, oder
• ein als nodiscard deklarierter Konstruktor durch explizite Typumwandlung oder static_cast aufgerufen wird, oder
• ein Objekt eines als nodiscard deklarierten Enumeration- oder Klassentyps durch explizite Typumwandlung oder static_cast initialisiert wird,

Der Compiler wird dazu angehalten, eine Warnung auszugeben.

Beispiel

struct [[nodiscard]] error_info { /*...*/ };
error_info enable_missile_safety_mode() { /*...*/ return {}; }
void launch_missiles() { /*...*/ }
void test_missiles()
{
    enable_missile_safety_mode(); // Compiler kann vor dem Verwerfen eines nodiscard-Werts warnen
    launch_missiles();
}
error_info& foo() { static error_info e; /*...*/ return e; }
void f1() { foo(); } // nodiscard-Typ wird nicht als Wert zurückgegeben, keine Warnung
// nodiscard( string-literal ) (seit C++20):
[[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
    auto 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

Fehlerberichte

Die folgenden verhaltensändernden Fehlerberichte wurden rückwirkend auf zuvor veröffentlichte C++-Standards angewendet.

Referenzen

Siehe auch