comportement non défini observé en C++/allocation de mémoire

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; 
} 

Les impressions de code ci-dessus:

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

Alors que lorsque je retire la ligne suivante du code ci-dessus

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

je reçois sortie comme

a= 40 b= 50 

Ma compréhension était que le pile se développe vers le bas, de sorte que la deuxième réponse semble être la bonne. Je ne suis pas capable de comprendre pourquoi la déclaration d'impression gâcherait la mise en page de la mémoire.

EDIT:

J'ai oublié de mentionner, je suis en utilisant la machine x86 64 bits, avec OS qu'Ubuntu 14.04 et la version gcc 4.8.4

Answer 1

Tout d'abord, il est tout comportement non défini. La norme C++ dit que vous pouvez incrémenter des pointeurs seulement tant que vous êtes dans les limites de tableau (plus un élément après), avec quelques exceptions supplémentaires pour les classes de mise en page standard, mais c'est à peu près tout. Donc, en général, fouiner avec des pointeurs est un territoire inexploré. Venant à votre code actuel: puisque vous ne demandez jamais son adresse, le compilateur a probablement laissé a dans un registre, ou même l'a propagé comme une constante dans tout le code. Pour cette raison, a ne touche jamais la pile, et vous ne pouvez pas le corrompre en utilisant le pointeur. Notez de toute façon que le compilateur n'est pas limité aux variables push/pop de la pile dans l'ordre de leur déclaration - ils sont réordonnés dans l'ordre qu'ils semblent appropriés, et ils peuvent même se déplacer dans le cadre de la pile (ou être remplacé) dans toute la fonction - et un changement apparemment minime dans la fonction peut amener le compilateur à modifier complètement la disposition de la pile. Donc, même en comparant les adresses comme vous l'avez fait ne dit rien sur la direction de la croissance de la pile.

Answer 2

UB - Vous avez pris un pointeur vers b, vous déplacez ce pointeur ptr++ ce qui signifie que vous pointez sur un inconnu, mémoire non affecté et que vous essayez d'écrire sur cette région de mémoire, ce qui provoquera un comportement non défini.

Le VS 2008, le débogage étape par étape jetteront ce message pour vous qui est très explicite ::