削除後の C のポインター

C ではメモリ管理が重要であり、重要な側面の 1 つはオブジェクト削除後のポインターの処理です。次のコードでは、削除後のポインターの有効性について疑問が生じます。

A* a = new A();
A* b = a;

delete a;

A* c = a; // illegal in C  11
A* d = b; // is it legal?

削除後のポインタの有効性について

C 標準によると、対応するオブジェクトが削除された後にポインタが指すストレージを参照します。は定義されていないため、予期しない動作が発生する可能性があります。これは、元のポインター (この場合は a) とそのポインターのコピー (b) の両方に適用されます。

C 11 では、a を削除した後に a または b の値にアクセスすることは未定義の動作です。 C 14 標準はこの動作を明確にし、両方のアクションが実装定義の動作を持つと述べています。これは、結果がコンパイラまたはランタイム環境の特定の実装に依存することを意味します。

実装定義の動作

前述したように、C 14 では無効なポインタの使用を考慮しています (削除されたポインタのコピーを含む) を実装定義の動作にします。これは、コンパイラやオペレーティング システムが異なれば、これらの状況の処理方法も異なる可能性があることを意味します。

一部の実装では、システム生成の実行時エラーが発生する場合がありますが、他の実装では、予測できない動作が発生したり、プログラムが終了したりする場合があります。したがって、削除されたオブジェクトを参照するポインター (それらのポインターのコピーを含む) の使用を避けることが重要です。

結論

要約すると、ポインターの値 (または関連付けられたオブジェクトを削除した後にそのコピー) を削除することは危険であり、未定義または実装定義の動作を引き起こす可能性があります。このような問題を防ぐには、ポインタが常に有効なオブジェクトを指していることを確認し、メモリ管理を適切に処理することが重要です。