Ein C ++ - Buch, das ich gelesen habe, besagt, dass beim Löschen eines Zeigers mit dem deleteOperator der Speicher an der Stelle, auf die er zeigt, "freigegeben" wird und überschrieben werden kann. Außerdem wird angegeben, dass der Zeiger weiterhin auf dieselbe Position zeigt, bis er neu zugewiesen oder auf gesetzt wird NULL.

In Visual Studio 2012 jedoch; das scheint nicht der Fall zu sein!

Beispiel:

#include <iostream>

using namespace std;

int main()
{
    int* ptr = new int;
    cout << "ptr = " << ptr << endl;
    delete ptr;
    cout << "ptr = " << ptr << endl;

    system("pause");

    return 0;
}

Wenn ich dieses Programm kompiliere und ausführe, erhalte ich die folgende Ausgabe:

ptr = 0050BC10
ptr = 00008123
Press any key to continue....

Die Adresse, auf die der Zeiger zeigt, ändert sich eindeutig, wenn delete aufgerufen wird!

Warum passiert dies? Hat dies speziell mit Visual Studio zu tun?

Und wenn Löschen die Adresse ändern kann, auf die es zeigt, warum sollte Löschen dann nicht automatisch den Zeiger auf NULLanstelle einer zufälligen Adresse setzen?

Mir ist aufgefallen, dass die in gespeicherte Adresse ptrimmer überschrieben wurde mit 00008123...

Das schien seltsam, also habe ich ein wenig gegraben und diesen Microsoft-Blog-Beitrag gefunden , der einen Abschnitt über "Automatisierte Zeigerbereinigung beim Löschen von C ++ - Objekten" enthält.

... Überprüfungen auf NULL sind ein gängiges Codekonstrukt, das bedeutet, dass eine vorhandene Überprüfung auf NULL in Kombination mit der Verwendung von NULL als Bereinigungswert zufällig ein echtes Speichersicherheitsproblem verbergen kann, dessen Hauptursache tatsächlich behoben werden muss.

Aus diesem Grund haben wir 0x8123 als Bereinigungswert ausgewählt - aus Sicht des Betriebssystems befindet sich dieser auf derselben Speicherseite wie die Nulladresse (NULL), aber eine Zugriffsverletzung bei 0x8123 wird dem Entwickler besser auffallen, da er detailliertere Aufmerksamkeit erfordert .

Es erklärt nicht nur, was Visual Studio mit dem Zeiger nach dem Löschen macht, sondern auch, warum sie ihn NICHT NULLautomatisch eingestellt haben!

Diese "Funktion" wird im Rahmen der Einstellung "SDL-Prüfungen" aktiviert. Zum Aktivieren / Deaktivieren gehen Sie zu: PROJEKT -> Eigenschaften -> Konfigurationseigenschaften -> C / C ++ -> Allgemein -> SDL-Prüfungen

Um dies zu bestätigen:

Wenn Sie diese Einstellung ändern und denselben Code erneut ausführen, wird die folgende Ausgabe ausgegeben:

ptr = 007CBC10
ptr = 007CBC10

"feature" steht in Anführungszeichen, da in einem Fall, in dem Sie zwei Zeiger auf denselben Speicherort haben, durch Aufrufen von delete nur EINER von ihnen bereinigt wird . Der andere zeigt auf den ungültigen Ort ...

AKTUALISIEREN:

Nach weiteren 5 Jahren Erfahrung in der C ++ - Programmierung ist mir klar, dass dieses gesamte Problem im Grunde genommen ein strittiger Punkt ist. Wenn Sie ein C ++ - Programmierer sind und weiterhin Rohzeiger verwenden newund deleteverwalten, anstatt intelligente Zeiger zu verwenden (die dieses gesamte Problem umgehen), sollten Sie eine Änderung des Karrierewegs in Betracht ziehen, um ein C-Programmierer zu werden. ;)

Sie sehen die Nebenwirkungen der /sdlKompilierungsoption. Standardmäßig für VS2015-Projekte aktiviert, werden zusätzliche Sicherheitsüberprüfungen aktiviert, die über die von / gs bereitgestellten hinausgehen. Verwenden Sie Projekt> Eigenschaften> C / C ++> Allgemein> SDL prüft die Einstellung, um sie zu ändern.

Zitat aus dem MSDN-Artikel :

• Führt eine eingeschränkte Zeigerbereinigung durch. In Ausdrücken, die keine Dereferenzen beinhalten, und in Typen, die keinen benutzerdefinierten Destruktor haben, werden Zeigerreferenzen nach einem Aufruf zum Löschen auf eine ungültige Adresse gesetzt. Dies hilft, die Wiederverwendung veralteter Zeigerreferenzen zu verhindern.

Beachten Sie, dass das Setzen gelöschter Zeiger auf NULL eine schlechte Vorgehensweise ist, wenn Sie MSVC verwenden. Es verhindert die Hilfe, die Sie sowohl vom Debug-Heap als auch von dieser / sdl-Option erhalten. Sie können keine ungültigen Frei- / Löschaufrufe mehr in Ihrem Programm erkennen.

Außerdem wird angegeben, dass der Zeiger weiterhin auf dieselbe Position zeigt, bis er neu zugewiesen oder auf NULL gesetzt wird.

Das sind definitiv irreführende Informationen.

Die Adresse, auf die der Zeiger zeigt, ändert sich eindeutig, wenn delete aufgerufen wird!

Warum passiert dies? Hat dies speziell mit Visual Studio zu tun?

Dies liegt eindeutig innerhalb der Sprachspezifikationen. ptrist nach dem Aufruf von nicht gültig delete. Die Verwendung ptrnach deleted ist Ursache für undefiniertes Verhalten. Tu es nicht. Die Laufzeitumgebung kann ptrnach dem Aufruf von frei tun, was sie will delete.

Und wenn Löschen die Adresse ändern kann, auf die es zeigt, warum sollte Löschen den Zeiger dann nicht automatisch auf NULL anstatt auf eine zufällige Adresse setzen?

Das Ändern des Werts des Zeigers auf einen alten Wert liegt innerhalb der Sprachspezifikation. Was die Änderung in NULL angeht, würde ich sagen, das wäre schlecht. Das Programm würde sich vernünftiger verhalten, wenn der Wert des Zeigers auf NULL gesetzt würde. Dadurch wird das Problem jedoch ausgeblendet. Wenn das Programm mit unterschiedlichen Optimierungseinstellungen kompiliert oder in eine andere Umgebung portiert wird, tritt das Problem wahrscheinlich im ungünstigsten Moment auf.

delete ptr;
cout << "ptr = " << ptr << endl;

Im Allgemeinen ist sogar das Lesen (wie oben beschrieben, beachten Sie: Dies unterscheidet sich von der Dereferenzierung) von Werten ungültiger Zeiger (Zeiger werden beispielsweise ungültig, wenn Sie deletedies tun ) ein implementierungsdefiniertes Verhalten. Dies wurde in CWG # 1438 eingeführt . Siehe auch hier .

Bitte beachten Sie, dass das Lesen von Werten ungültiger Zeiger zuvor ein undefiniertes Verhalten war. Was Sie also oben haben, wäre ein undefiniertes Verhalten, was bedeutet, dass alles passieren kann.

Ich glaube, Sie führen eine Art Debug-Modus aus und VS versucht, Ihren Zeiger auf einen bekannten Ort zu verschieben, damit ein weiterer Versuch, ihn zu dereferenzieren, verfolgt und gemeldet werden kann. Versuchen Sie, dasselbe Programm im Release-Modus zu kompilieren / auszuführen.

Zeiger werden im Inneren normalerweise nicht geändert, deleteum die Effizienz zu erhöhen und um eine falsche Vorstellung von Sicherheit zu vermeiden. Das Setzen des Löschzeigers auf einen vordefinierten Wert ist in den meisten komplexen Szenarien nicht hilfreich, da der zu löschende Zeiger wahrscheinlich nur einer von mehreren Zeigern ist, die auf diese Position zeigen.

Je mehr ich darüber nachdenke, desto mehr stelle ich fest, dass VS wie üblich daran schuld ist. Was ist, wenn der Zeiger const ist? Wird es das noch ändern?

Nach dem Löschen des Zeigers ist der Speicher, auf den er zeigt, möglicherweise noch gültig. Um diesen Fehler zu manifestieren, wird der Zeigerwert auf einen offensichtlichen Wert gesetzt. Dies hilft wirklich beim Debuggen. Wenn der Wert auf gesetzt wurde, NULLwird er möglicherweise nie als potenzieller Fehler im Programmablauf angezeigt. So kann es einen Fehler verbergen, wenn Sie später gegen testen NULL.

Ein weiterer Punkt ist, dass einige Laufzeitoptimierer diesen Wert überprüfen und seine Ergebnisse ändern können.

In früheren Zeiten stellte MS den Wert auf ein 0xcfffffff.