C 参照が null になることはありますか?

Null 参照の幻: それらは本物ですか?

C では参照が null になる可能性があるという疑問が生じます。次のコード スニペットを考えてみましょう:

int &nullReference = *(int*)0;

驚くべきことに、g と Clang は両方とも、たとえ厳格なフラグを使用していても、警告なしでこれをコンパイルします。ただし、nullReference を逆参照しようとすると、未定義の動作が呼び出されます。

問題の核心は、参照とポインタの区別にあります。 C 標準によれば、参照は有効なオブジェクトまたは関数に初期化される必要があります。 NULL 参照は、定義上、明確に定義されたプログラムには存在できません。このような参照を作成する唯一の方法は、null ポインターを逆参照することによって取得された「オブジェクト」に参照をバインドすることですが、これは厳密に禁止されています。

したがって、nullReference 宣言は構文的には null ポインターの割り当てに似ていますが、これは実際には null 参照を表しません。コンパイラはこれを無効な操作として認識し、ランダムなメモリ位置を割り当てます。

この誤解は、参照をポインタのように扱うことから生じています。ポインターには、未定義の位置を示す null 値を割り当てることができます。ただし、参照は常に有効なエンティティを指している必要があります。 null 参照を作成したり、null 参照にアクセスしたりしようとすることは、参照動作の基本原則に反するため、C では無駄です。

以上がC 参照が null になることはありますか?の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。