Wie verhindert man undefiniertes Verhalten aus Sicht eines Anwenders/eines neuen Entwicklers?

Question

Die Frage ist also, wie verhindert der ursprüngliche Entwickler eine Situation, in der Benutzer/neuer Entwickler versucht, auf ein freies 'd Speicherelement zuzugreifen.

int *num=(int *)malloc(n*sizeof(int)); 
int i; 
for(i=0;i<n;i++) 
{ 
scanf("%d",&num[i]);   
}  

for(i=0;i<n-1;i++){ 
temp = some_function(x);   
} 

free(num); 

for(i=0;i<n;i++) 
{ 
    printf("\nnum[%d]= %d\n",i,num[i]);   
} 

S.S .: Der obige Code funktioniert und druckt tatsächlich Daten in Array. Was ist nicht unsere Absicht. [EDIT] Tut mir leid, wenn ich nicht klar genug war. Jemand hat vorgeschlagen, das als eine getrennte Frage zu stellen, ich dachte, warum nicht. Hier ist die original post

Answer 1

Die Tatsache, dass der Code „Werke“ ist eine Manifestation des undefinierten Verhalten, die Sie erleben sind, wenn Speicher zu lesen, dass Sie nicht mehr besitzen.

Sie könnte betrachten num-NULL nach dem ersten free Anruf. Dann wird das Schreiben von num[i] fast sicher das Programm zum Absturz bringen. Es kann auch gelegentlich nützlich sein: Ein free wird mit NULL aufgerufen, da der Zeiger ein No-Op ist.

Es gibt wenig, was Sie leider tun können.

Aber im Allgemeinen, Einstellung free d Zeiger auf NULL führt zu schlampigen Programmierung, so dass ich dazu tendiere, es zu vermeiden.

Answer 2

Als erstes können Sie num = NULL setzen.

Allgemein können Sie einen malloc-Hook hinzufügen, um Speicher in den Speicher zu schreiben, bevor Sie den Speicher freigeben (wahrscheinlich nur debuggen). Dies wird einen Absturz erzwingen, wenn der Speicher in diesem Fall Zeiger enthält oder Unsinn druckt, wenn auf freigegebenen Speicher zugegriffen wird.

Auch, da Sie C++ sprechen, verwenden Sie Smartpointer.

Edit: das Crash-Problem behoben.