Ändern einer Konstante durch einen nicht-konstanten Zeiger: Eintauchen in undefiniertes Verhalten

Im bereitgestellten Codeausschnitt äußern Sie Verwirrung über das Verhalten des Modifizierens einer konstanten Ganzzahl (e) durch einen nicht konstanten Zeiger (w):

const int e = 2;

int* w = (int*) &e;  // Casting to remove const-ness
*w = 5;            // Modifying the value pointed to by w

Nachdem Sie diese Änderung vorgenommen haben, stellen Sie Folgendes fest:

• Anzeige des Werts, auf den w zeigt ( cout w
• Die Anzeige des Werts von e (*cout

Sie bemerken außerdem, dass die Adresse, auf die von w gezeigt wird, dieselbe ist wie die Adresse von e (cout cout e trotz der durch w vorgenommenen Änderung unverändert bleibt -const-Zeiger. Sobald Sie eine solche Änderung vornehmen, gelangt der Code in ein undefiniertes Verhaltensgebiet, wo er unvorhersehbar wird und von bestimmten Implementierungsdetails abhängt.

In diesem Fall scheint es, dass die Änderung durch

Auswirkungen auf a hat temporäre Kopie von e zur Laufzeit, während das ursprüngliche e unverändert bleibt. Der Grund dafür ist, dass e als Konstante zur Kompilierungszeit behandelt wird und ihr Wert fest im Binärcode codiert ist. Daher wirken sich Laufzeitänderungen an w nicht auf das ursprüngliche e. aus. Dieses Verhalten ist spezifisch für die verwendete Implementierung und sollte nicht als verlässlich angesehen werden. Das Ändern konstanter Daten durch nicht konstante Zeiger gilt als schlechte Praxis und sollte vermieden werden. Der richtige Ansatz besteht darin, eine nicht konstante Referenz zu verwenden oder eine nicht konstante Kopie der Daten zu erstellen, die Sie ändern möchten.