reallocの後に元のポインタを使用していますか？

Question

私はリチャード・リースの（2013年5月）の新しいオライリーの本読んで「理解をし、Cポインタを使用する」、と私はその中のいくつかのコードについて質問があり、87ページ

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

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

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

に私はの名前を願っていました。変数は自明である。コンテキストが必要な場合は、この抜粋だけでなく、コード全体を提供するように編集します。

私の質問は、currentPosition = newBuffer + (currentPosition - buffer);という行についてです。 realloc()の私の理解は、新しい割り当てが成功すると、最初に割り当てられたメモリが解放されることです。それが正しければ、問題の行は、ぶら下がっているポインタ、innitを使用していますか？その式のRHS上のbufferとcurrentPositionは両方とも、解放されたメモリへのポインタです。

私の本能は、後でlengthを使用して、ぶら下がっているポインタを使用しないようにこれを書き直すことです。私はこれらの最後の2行を置き換えたい：二つのポインタはまだ（ごみのいえ）のアドレスを保持するために書かれた作品として、おそらくしかし

buffer = newBuffer; 
currentPosition = buffer + length; 

、コード、およびこれら二つのアドレス間のオフセットはまだのように計算することができますcurrentPositionを再割り当てする方法。だから私はこれについて不安を感じるだけで辛抱強く思っていますか？

質問を一般化するには：一度ポインタがぶら下がっている場合、オフセットの計算など、目的に応じてポインタに含まれているアドレスを使用しても安全ですか？ありがとう。

Answer 1

一度ポインタがぶら下がっている場合、オフセットの計算など、ポインタに含まれているアドレスを使用するのは安全ですか？

いいえ、安全ではありません。 freeの後、ポインタ値は無効なアドレスであり、無効なアドレスは未定義の動作を呼び出さずにポインタ演算に使用できません。

Answer 2

ポインタを逆参照しようとしない（つまり、演算子*を適用する）限り、ダングリングポインタ（たとえば、ポインタ演算）を使用しても安全です。