Gleichheitsüberprüfung nach dem Kopieren von Fragmenten von int

Question

Es ist bekannt, dass eine nicht initialisierte lokale Variable einen unbestimmten Wert hat und durch die Verwendung von undefiniertem Verhalten aufgerufen wird. Aber führen Operationen wie das Kopieren von Fragmenten mit Zeigern und die Überprüfung auf Gleichheit später auch zu undefiniertem Verhalten?

Das folgende kompiliert und läuft glatt, aber ich bin unsicher.

#include <stdio.h> 
#include <string.h> 

int main() 
{ 
    int p; 
    int q = 1; 

    char *_p = (char *)&p; 
    char *_q = (char *)&q; 

    size_t n; 
    for(n = 0; n < sizeof(int); n++) { 
     memcpy(_q++, _p++, sizeof(char)); 
    } 

    if (p == q) { 
     printf("Equal!!!\n"); 
    } 

    return 0; 
} 

Answer 1

Sie kopieren nicht initialisierten Speicher über den initialisierten Speicher. Das Endergebnis ist, dass die Inhalte beider Speicherstellen identisch sind und daher übereinstimmen. Da die Quelle nicht initialisiert wurde, kann ihr Wert nicht garantiert werden. Sobald Sie diesen Wert über den zuvor initialisierten Wert kopiert haben, löschen Sie den ursprünglichen Wert und ersetzen ihn durch den unbekannten Wert.

Daher werden sie übereinstimmen.

Obwohl Ihre Kopie Routine ein wenig zu groß ist, ich denke, Sie sich bewusst sind und dessen Verwendung rein für Experimente :)

Answer 2

Um @ Jonathan Follow-up, Sie sind nicht mit undefinierten Verhalten, sondern einen nicht definierten Wert handelt. Der undefinierte Wert wird einfach kopiert.

Was wäre undefiniert, wenn Sie versucht haben, etwas wie dividieren durch einen undefinierten Wert, der Null sein könnte. Oder schlimmer, einen Wert durch einen undefinierten Zeiger zuweisen.

Versuchen Sie die später und Sie können sehr gut Segmentfehler, und wenn Sie nicht tun, sind Sie wahrscheinlich über einige zufällige Speicherposition gehen; oft nicht bemerkt in kleinen, kurzlebigen Programmen, aber ein schreckliches Problem für große, langlebige Programme.

Das Aktivieren von aggressiven Compiler-Prüfungen wird wahrscheinlich die einfachen Fälle erfassen. Die eher obskuren Fälle stellen schwerwiegende Fehler beim Debuggen dar.