Das Deklarieren eines const-Objekts in C ++ erfordert einen benutzerdefinierten Standardkonstruktor. Wenn ich eine veränderbare Mitgliedsvariable habe, warum nicht?

In C ++ benötigen constwir einen benutzerdefinierten Standardkonstruktor , um ein Objekt einer Klasse mit einer Mitgliedsvariablen als zu deklarieren . Der folgende Code veranschaulicht dies.

class Some {
    int value;
};

int main() {
    // error: default initialization of an object of const type 'const Some'
    //        without a user-provided default constructor
    const Some some;

    return 0;
}

Wenn jedoch eine Mitgliedsvariable, die einer Klasse gehört, als veränderbar qualifiziert ist, meldet der Compiler keine Fehler. Als Referenz habe ich mit dem Befehl kompiliert clang++ -std=c++17 -stdlib=libc++ helloworld.cpp -o helloworld.out --debug. Ich frage mich, ob dieses Ergebnis auf einen Fehler im Compiler oder auf die in der C ++ - Sprache definierte Syntax zurückzuführen ist.

class Some {
    mutable int value;
};

int main() {
    const Some some;

    return 0;
}

Ich schreibe meinen Kommentar als Antwort um und hoffe, er könnte jemandem helfen.

Es macht keinen Sinn, ein const-Objekt zu deklarieren, wenn es nicht in irgendeiner Form initialisiert ist.
Betrachten Sie den folgenden Code:

    const int x;

Clang sagt : error: default initialization of an object of const type 'const int'.
gcc würde sagen:error: uninitialized const ‘x’ [-fpermissive]

Die Logik dahinter ist, dass diese Art der Deklaration keinen Sinn hat .
Der Wert von xkann sich niemals ändern, und daher wäre dieser Code unvorhersehbar, da er xeinem nicht initialisierten Speicher zugeordnet würde.
In Ihrem Beispiel bedeutet das Hinzufügen des Schlüsselworts mutablezu value, dass die SomeInstanz zwar konstant ist, wenn sie wie folgt deklariert wird:

    const Some some;

Es ist noch möglich, valuezu einem späteren Zeitpunkt zu ändern .
Zum Beispiel:

    some.value = 8;

Dies bedeutet, dass es möglich ist, diesen Code auf vorhersehbare Weise zu verwenden, da value später festgelegt werden kann und keine nicht initialisierten Konstanten vorhanden sind.