Originalzeiger nach Realloc verwenden?

Question

Ich war Richard Reeses neues (Mai 2013) O'Reilly Buch „Verstehen und Verwenden von C Pointers“ zu lesen, und ich habe eine Frage zu einigem Code darin, auf Seite 87.

if (++length > maximumLength) { 
    char *newBuffer = realloc (buffer, maximumLength += sizeIncrement); 

    if (newBuffer == NULL) { 
     free (buffer); 
     return NULL; 
    } 

    currentPosition = newBuffer + (currentPosition - buffer); 
    buffer = newBuffer; 
} 

ich den Namen Hoffnung die Variablen sind selbsterklärend; Wenn ein Kontext benötigt wird, werde ich bearbeiten, um den gesamten Code und nicht nur diesen Auszug bereitzustellen.

Meine Frage ist über die Linie currentPosition = newBuffer + (currentPosition - buffer);. Mein Verständnis von ist, dass, wenn die neue Zuweisung erfolgreich ist, der ursprünglich zugewiesene Speicher freigegeben wird. Wenn das richtig ist, dann verwendet die fragliche Zeile hängende Zeiger, innit? Sowohl buffer als auch currentPosition auf dem RHS dieses Ausdrucks sind Zeiger auf Speicher, der freigegeben wurde.

Mein Instinkt wäre, dies neu zu schreiben, um zu vermeiden, die baumelnden Zeiger zu verwenden, indem man length verwendet, das schließlich schon herum ist. Ich möchte mit diesen beiden letzten Zeilen ersetzen:

buffer = newBuffer; 
currentPosition = buffer + length; 

jedoch vermutlich der Code geschrieben funktioniert, weil die beiden Zeiger noch Adressen halten (wenn auch von Müll) und die zwischen diesen beiden Adressen-Offset kann noch berechnet werden eine Art der Neuzuweisung currentPosition. Bin ich also nur pedantisch darin, mich darüber unwohl zu fühlen?

Verallgemeinerung der Frage: Sobald ein Zeiger schwankt, ist es sicher, die im Zeiger enthaltene Adresse für irgendeinen Zweck zu verwenden, wie zum Beispiel das Berechnen von Offsets? Vielen Dank.

Answer 1

Wenn ein Zeiger schwankt, kann die im Zeiger enthaltene Adresse für jeden Zweck verwendet werden, z. B. für die Berechnung von Offsets?

Nein, es ist nicht sicher. Nach free ist der Zeigerwert eine ungültige Adresse und eine ungültige Adresse kann nicht für Zeigerarithmetik verwendet werden, ohne undefiniertes Verhalten aufzurufen.

Answer 2

Es ist sicher, den ungeeigneten Zeiger zu verwenden (z. B. für "Zeigerarithmetik"), solange Sie nicht versuchen, den Zeiger zu dereferenzieren (d. H. Den Operator * anwenden).