C が削除後にポインターを自動的に無効にしないのはなぜですか?

削除後の自動ポインタ無効化の標準化

C 言語には、削除されたポインタを NULL に設定する自動メカニズムがないため、プログラマは脆弱なままになっています。無効なポインタ アクセスによって発生するクラッシュ。この見落としにより、標準から除外された理由について疑問が生じています。

パフォーマンスに関する考慮事項:

考えられる理由の 1 つは、パフォーマンスに関する懸念です。ポインターの無効化を実行する命令を追加すると、削除操作の速度に影響を与える可能性があります。ただし、コンパイラの最適化によってこの影響が軽減される可能性があるため、無視できる程度の懸念になります。

Const ポインター:

もう 1 つの考慮事項は、const ポインターの処理です。理論的には、標準はこの特殊なケースに対処し、lvalue オペランドの自動無効化を許可できたはずです。ただし、これには言語セマンティクスの複雑さがさらに必要になります。

言語デザイナーのドキュメント:

元の C デザイナーである Bjarne Stroustrup が、この問題についての洞察を提供しています。 :

• 実装では、後で左辺値オペランドを明示的にゼロに設定できます。 delete.
• 実装者がこの慣行を採用することを Stroustrup 氏が望んでいたにもかかわらず、広範な支持は得られていません。

引数の型:

Stroustrup 氏によると、自動無効化が行われない根本的な理由は、delete の引数が常に有効であるとは限らないことです。左辺値。一時オブジェクトなどの右辺値引数を無効化するには、追加のオーバーヘッドと言語設計の複雑さが必要です。

最終的に、自動ポインタ無効化を C 標準に含めないという決定は、潜在的な利点と潜在的な可能性の間の妥協策である可能性があります。費用がかかります。特定のクラッシュを防ぐことはできますが、複雑さが増し、パフォーマンスに潜在的な影響が生じ、必ずしも望ましいまたは実現可能であるとは限りません。

以上がC が削除後にポインターを自動的に無効にしないのはなぜですか?の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。