malloc berührt nicht zugeordneten Speicher

Question

Ich frage mich, warum meine Zuweisung funktioniert. Ich habe ptr erstellt, das ist ein Zeiger und ptr2 mit einem Zeiger auf dem gleichen Standort als ptr.

Hier ist mein Code:

int* ptr = malloc(sizeof(int)); 
int* ptr2 = ptr; 
*ptr2 = 1; 
ptr2 = ptr+1; 
*ptr2 = 2; 

Am Ende habe ich eine Reihe von zwei Integer haben wie folgt aus:

ptr[0] = 1 
ptr[1] = 2 

Meine Frage ist: Warum kann ich den Wert 2-ptr2 beeinflussen, ohne Fehler oder Warnungen? Ich nur malloc() -ed für eine ganze Zahl in meinem Array, nicht wahr?

Answer 1

Das Problem hier ist, von

sagen

ptr2 = ptr+1; 

Sie zeigt auf aus gebundenen Speicher. Nach dem Aufrufen rufen Sie undefined behavior auf. Jetzt kann das Ergebnis von UB in keiner Weise gerechtfertigt werden.

Es gibt nichts in C inhärent, stoppt Sie von Zugriff von nicht-gebundenem (oder ungültigen) Speicher, aber das Ergebnis dabei ist UB.

Das heißt, nur ein Vorschlag, sollten Sie immer den Rückgabewert von malloc() überprüfen, bevor diese Zeiger mit UB zu vermeiden, indem dereferencing NULL Zeiger, bei malloc() Versagen.