undefinierte Verhalten beobachtet in C++/Speicherzuordnung

Question

#include <iostream> 
using namespace std; 
int main() 
{ 
    int a=50; 
    int b=50; 
    int *ptr = &b; 
    ptr++; 
    *ptr = 40; 
    cout<<"a= "<<a<<" b= "<<b<<endl; 
    cout<<"address a "<<&a<<" address b= "<<&b<<endl; 
    return 0; 
} 

Die obigen Code druckt:

a= 50 b= 50 
address a 0x7ffdd7b1b710 address b= 0x7ffdd7b1b714 

Während, wenn ich die folgende Zeile aus dem obigen Code entfernen

cout<<"address a "<<&a<<" address b= "<<&b<<endl; 

ich Ausgabe als

a= 40 b= 50 

Mein Verständnis war, dass die Stapel wächst nach unten, so scheint die zweite Antwort die richtige zu sein. Ich bin nicht in der Lage zu verstehen, warum die print-Anweisung das Speicherlayout durcheinander bringen würde.

EDIT:

ich vergaß zu erwähnen, ich bin mit 64-Bit-x86-Maschine, mit O als ubuntu 14.04 und gcc Version 4.8.4

Answer 1

Zunächst einmal, es ist alles nicht definiertes Verhalten ist. Der C++ - Standard besagt, dass Sie Zeiger nur so lange inkrementieren können, wie Sie sich in Array-Grenzen befinden (plus ein Element danach), mit einigen Ausnahmen für Standard-Layout-Klassen, aber das ist es auch schon. In der Regel ist es also Neuland, mit Zeigern herumzuschnüffeln.

Kommen zu Ihrem tatsächlichen Code: Da Sie nie nach seiner Adresse fragen, wahrscheinlich der Compiler entweder nur a in einem Register, oder sogar gerade propagierte es als eine Konstante im gesamten Code. Aus diesem Grund berührt a niemals den Stapel und Sie können ihn nicht mit dem Zeiger beschädigen.

Beachten Sie, dass der Compiler nicht auf Push/Pop-Variablen auf dem Stack in der Reihenfolge ihrer Deklaration beschränkt ist - sie werden in der Reihenfolge neu angeordnet, in der sie passen, und tatsächlich können sie sogar im Stack-Frame (oder ersetzt werden) während der gesamten Funktion - und eine scheinbar kleine Änderung in der Funktion kann den Compiler veranlassen, das Stapellayout vollständig zu ändern. Daher sagt selbst der Vergleich der Adressen nichts über die Richtung des Stapelwachstums aus.

Answer 2

UB - Sie genommen haben einen Zeiger auf b Sie diesen Zeiger ptr++ bewegen, was bedeutet, Sie zeigen auf einen unbekannten, nicht-zugewiesenen Speicher und Sie versuchen, auf diesem Speicherbereich zu schreiben, die ein nicht definiertes Verhalten verursachen.

Auf VS 2008, Debuggen es wird Schritt-für-Schritt für diese Meldung werfen die sehr selbsterklärend ::