「ヌルポインタ」の版間の差分

削除された内容追加された内容

インライン

2024年8月25日 (日) 10:54時点における最新版

ヌルポインタ（英: null pointer 英語: [nʌl pɔɪntə(ɹ)]）とは、何のオブジェクトも指していないことを表す特別なポインタの値である。

プログラムではヌルポインタを、不定長のリストの終端を表したり、何らかの動作の結果が失敗であることを表したりするのに使用する。後者の用法は、nullable型やオプション型の Nothing 値（None 値）を使用することもできる。

ヌルポインタの値や型がいかなるものかという詳細は言語によって異なる。実際的にはいかなるオブジェクトも参照しないという言語もあり、参照先を求めようとするとJava（NullPointerException）のように例外が発生するものもある。

ヌルポインタはほとんどの処理系（この場合、言語処理系プログラムだけではなく、ハードウェアまでを含めて）で、内部的に数値0で表現されるが、ごく希に、0でない処理系もある。言語仕様上の意味としては普通「アドレス0（あるいは他のアドレス）を指し示すポインタ」ではなく、どこも指し示さないものとされる。

ヌルポインタを未初期化のポインタと混同してはならない。ヌルポインタは、あらゆる有効なオブジェクトとも異なることが保証されている。それに対し、言語や実装によっては、未初期化のポインタはそのような保証はなく、C言語の自動変数のようにでたらめなアドレス（不定値）を指している可能性もある。

ヌルポインタはヌル値とは意味が違う。ヌルポインタは多くのプログラミング言語において「値がない (no value)」ことを意味し、ヌル値はリレーショナルデータベースにおいて「未詳値 (unknown value)」であることを意味する。ほとんどのプログラミング言語では2つのヌルポインタは等しいが、リレーショナルデータベースエンジンは2つのヌル値を等しいとはみなさない（それらは未詳値を表しているので、それらが等しいかどうかはわからない）。

C言語

C言語では、すべての型の2つのヌルポインタは等しいことが保証されている^[1]。また、マクロ NULL が処理系定義のヌルポインタ定数 (null pointer constant) に展開されるものと規定されている^[2]。C89/C90 (ISO/IEC 9899:1990) や C99 (ISO/IEC 9899:1999) では、NULL はヌルポインタ定数を表現するマクロとして定義され、多くの実装においてヌルポインタ定数は整数定数の 0 もしくは 0 を汎用ポインタ void * に型キャストしたものとして定義されている^[3]。C23（英語版） (ISO/IEC 9899:2024) ではキーワード nullptr がヌルポインタを表す、左辺値とならない定数値として追加され、その型も nullptr_t として追加される予定である。規格上は、依然としてマクロNULLは処理系定義のヌルポインタ定数に展開されるものであることには変わりない^[4]が、nullptrに展開される実装がありえることになる^[3]。

C言語における汎用ポインタ型はあらゆるポインタ型に暗黙的変換可能となっているため、ポインタ型変数にNULLを代入する際は型キャストの記述が不要となる。POSIX.1-2008 では整数定数の 0 ではなく、0 を void * に型キャストした物、(void *) 0 でなければならないと定義していて、rationale にて、整数の 0 ではあってはならないと、その定義の差を明記している^[5]。よって、ほぼ全ての標準Cライブラリは NULL を (void *) 0 としている。そして、C89, C99 では、ヌルポインタ定数を、（void * 以外を含めた）ポイント型に型キャストした物をヌルポインタと定義している。ほとんどの実装はそのまま変換するが、C89, C99 の仕様では、整数からポインタ、ポインタから整数への型キャストがどのような結果になるかは実装依存と明記されていて、ポインタに 0 や NULL を代入したときに、ほとんどのコンパイラは数値の 0 を代入したというコンパイル結果を生成するが、数値の 0 以外を代入するというコンパイル結果を生成しても良いという仕様になっている^[6]。整数の 0 をポインタにキャストするとヌルポインタとなることは規定されているが、ヌルポインタを整数にキャストしても 0 になることは規定されていない。存在するオブジェクトや関数へのポインタはヌルポインタであってはならないと規定されている。近年^[いつ?]はほとんど無いが、歴史的には、ヌルポインタを 0 以外で表現することもあった^[7]^[8]。

ヌルポインタを参照して、そのメモリアドレスに読み書きしようとすると、それは何も指していないため、メモリ保護の仕組みが存在する実行環境では、通常セグメンテーション違反やアクセス違反が発生する。この場合、Unix系ではシグナル、Windowsでは構造化例外処理による例外が生成され、特に対処しなければ当該のプロセスは異常終了（クラッシュ）となる。一方、メモリ保護のない実行環境、例えばx86のリアルモードでは、アドレス0000:0000は読み書きが可能であり、ヌルポインタを参照したメモリアクセスは成功しクラッシュはしないものの、不定の期待しない動作になる。ただし、ヌルポインタへの参照があえて定義されている場合もある。例えば、16ビットのリアルモードx86デバイスのためにCで記述されたBIOSコードは、ヌルポインタを参照することにより、物理アドレス0にInterrupt Descriptor Table（英語版）(IDT) を書く場合がある。ヌルポインタの参照をしないようにコンパイラが最適化することもできる。それにより、セグメンテーション違反を避けられるが、他の望ましくないふるまいを引き起こす。

C++

C++では、C言語よりも型チェックが厳密になり、汎用ポインタvoid *をあらゆるポインタ型に暗黙的変換することが不可能になった。代わりに、整数リテラル 0 がヌルポインタ定数を意味するという仕様になった^[9]。C言語からの移植を容易にするためなどの目的で、NULLマクロ自体は依然として標準ヘッダーで定義され、実装定義のヌルポインタ定数に展開される仕様となっているが^[10]、前述の理由から#define NULL ((void*)0)と定義してしまうと、void*以外のポインタに代入する際は明示的な型キャストが必要になるため、C言語とは異なり整数リテラル0に展開される実装となっていることが多い。Cと共有されるヘッダーでは、通例__cplusplusの定義有無でNULLの定義が切り替わる実装となっている。

ただし、整数リテラル 0 をヌルポインタとみなすという仕様は、関数オーバーロードやテンプレート関連でしばしば問題を引き起こす結果となった。C++11では代替として、std::nullptr_tという型を持ち、明確にヌルポインタであることを表すnullptrリテラルが導入された^[11]。C++11以降でもNULLマクロは引き続き利用可能だが、整数リテラル0に展開される実装とは限らず、nullptrに展開される実装もありえる^[12]。

その他の言語

Pascalでは綴り記号^[13] nil である。nil は、空の値を表す^[14]。

そのほかにも参照型の概念を持つ言語には、用語やキーワードこそ違えど同様なものが存在する。例えばJavaやC#ではnull、C++/CLIおよびC++11ではnullptr、Visual BasicおよびVisual Basic .NETではNothing、PythonではNone、Objective-CとRubyではnil、REALbasicではNilがヌルポインタに相当するキーワードである。ポインタではなく参照を利用する言語の場合、概念上ヌルポインタに相当するものはヌル参照 (null reference) と呼ばれる。

歴史

2009年にアントニー・ホーアは、彼が1965年にALGOL Wの一部としてヌル参照を発明したと述べている^[15]。2009年のカンファレンスでホーアはこの発明を「10億ドルの誤り」と述べた。

それは10億ドルにも相当する私の誤りだ。null参照を発明したのは1965年のことだった。当時、私はオブジェクト指向言語 (ALGOL W) における参照のための包括的型システムを設計していた。目標は、コンパイラでの自動チェックで全ての参照が完全に安全であることを保証することだった。しかし、私は単にそれが容易だというだけで、無効な参照を含める誘惑に抵抗できなかった。これは、後に数え切れない過ち、脆弱性、システムクラッシュを引き起こし、過去40年間で10億ドル相当の苦痛と損害を引き起こしたとみられる。

脚注

^ ISO/IEC 9899, §6.3.2.3, ¶4: Conversion of a null pointer to another pointer type yields a null pointer of that type. Any two null pointers shall compare equal.
^ ISO/IEC 9899, §7.17, ¶3: NULL... which expands to an implementation-defined null pointer constant...
^ ^a ^b NULL - cppreference.com (C)
^ ISO/IEC 9899:2024 (en) — N3220 working draft, §7.21, ¶4
^ stddef.h - standard type definitions - The Open Group Base Specifications Issue 7
^ Can a conforming C implementation #define NULL to be something wacky - Stack Overflow
^ comp.lang.c FAQ list - Question 5.17
^ “C FAQ 5.17 ヌルポインターに0以外の値を使用するマシンや、異なる型のポインターに異なる内部形式を持つマシンは本当に存在するのか。”. C言語 FAQ 日本語訳. 2021年4月12日閲覧。
^ Stroustrup, Bjarne (March 2001). “Chapter 5: Pointers, Arrays, and Structures: 5.1.1: Zero”. The C++ Programming Language（英語版） (14th printing of 3rd ed.). United States and Canada: Addison–Wesley. p. 88. ISBN 0-201-88954-4. "In C, it has been popular to define a macro NULL to represent the zero pointer. Because of C++'s tighter type checking, the use of plain 0, rather than any suggested NULL macro, leads to fewer problems. If you feel you must define NULL, use
const int NULL = 0;
The const qualifier (§5.4) prevents accidental redefinition of NULL and ensures that NULL can be used where a constant is required."
^ ISO/IEC 14882:1998, C.2.2.3 Macro NULL
^ nullptr - cpprefjp C++日本語リファレンス
^ NULL - cppreference.com (C++)
^ word symbol、すなわち予約語。『PASCAL 原書第4版』§1.2
^ 『PASCAL 原書第4版』§8.1
^ Tony Hoare (2009年8月25日). “Null References: The Billion Dollar Mistake”. InfoQ.com. 2016年3月9日閲覧。

外部リンク

[1] ISO/IEC 9899, §6.3.2.3, ¶4: Conversion of a null pointer to another pointer type yields a null pointer of that type. Any two null pointers shall compare equal.

[2] ISO/IEC 9899, §7.17, ¶3: NULL... which expands to an implementation-defined null pointer constant...

[en_cppref_c_null-3] NULL - cppreference.com (C)

[4] ISO/IEC 9899:2024 (en) — N3220 working draft, §7.21, ¶4

[5] stddef.h - standard type definitions - The Open Group Base Specifications Issue 7

[6] Can a conforming C implementation #define NULL to be something wacky - Stack Overflow

[7] .lang.c FAQ list - Question 5.17

[8] “C FAQ 5.17 ヌルポインターに0以外の値を使用するマシンや、異なる型のポインターに異なる内部形式を持つマシンは本当に存在するのか。”. C言語 FAQ 日本語訳. 2021年4月12日閲覧。

[9] Stroustrup, Bjarne (March 2001). “Chapter 5: Pointers, Arrays, and Structures: 5.1.1: Zero”. The C++ Programming Language（英語版） (14th printing of 3rd ed.). United States and Canada: Addison–Wesley. p. 88. ISBN 0-201-88954-4. "In C, it has been popular to define a macro NULL to represent the zero pointer. Because of C++'s tighter type checking, the use of plain 0, rather than any suggested NULL macro, leads to fewer problems. If you feel you must define NULL, use
const int NULL = 0;
The const qualifier (§5.4) prevents accidental redefinition of NULL and ensures that NULL can be used where a constant is required."

[10] ISO/IEC 14882:1998, C.2.2.3 Macro NULL

[11] ullptr - cpprefjp C++日本語リファレンス

[12] NULL - cppreference.com (C++)

[13] word symbol、すなわち予約語。『PASCAL 原書第4版』§1.2

[14] 『PASCAL 原書第4版』§8.1

[15] Tony Hoare (2009年8月25日). “Null References: The Billion Dollar Mistake”. InfoQ.com. 2016年3月9日閲覧。

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

@@ 7行目: / 7行目: @@
 ヌルポインタの値や[[データ型|型]]がいかなるものかという詳細は言語によって異なる。実際的にはいかなるオブジェクトも[[参照 (情報工学)|参照]]しないという言語もあり、参照先を求めようとすると[[Java]]（[[NullPointerException]]）のように例外が発生するものもある。<!--null pointer assignment（[[MS-DOS]]でのC） ← これはプログラムの終了時に、セグメントアドレスを hhhh とすると hhhh:0000 が書き換えられていないかをチェックして、書き換えられていたらヌルポインタを参照して書き換えをおこなったものと見て警告を表示するというもので、例外が起きている訳ではない。一々説明すると長いから書かないほうがいいと思う-->
-ヌルポインタはほとんどの処理系（この場合、言語処理系プログラムだけではなく、ハードウェアまでを含めて）で、内部的に数値[[0]]で表現されるが、ごく希に、0でない処理系もある。言語仕様上の意味としては普通「アドレス0（あるいは他のアドレス）を指し示すポインタ」ではなく、どこも指し示さないものとされる。<!--規格はともかくとして、まともなC処理系ならアセンブラ的に、まともにアドレス0に書き込むコードを吐くはずだ。-->
+ヌルポインタはほとんどの処理系（この場合、言語処理系プログラムだけではなく、ハードウェアまでを含めて）で、内部的に数値[[0]]で表現されるが、ごく希に、0でない処理系もある。言語仕様上の意味としては普通「アドレス0（あるいは他のアドレス）を指し示すポインタ」ではなく、どこも指し示さないものとされる。
 ヌルポインタを未初期化のポインタと混同してはならない。ヌルポインタは、あらゆる有効なオブジェクトとも異なることが保証されている。それに対し、言語や実装によっては、未初期化のポインタはそのような保証はなく、[[C言語]]の自動変数のようにでたらめなアドレス（不定値）を指している可能性もある。
@@ 14行目: / 14行目: @@
 == C言語 ==
-[[C言語]]では、すべての型の2つのヌルポインタは等しいことが保証されている<ref>[[#c-std|ISO/IEC 9899]], §6.3.2.3, ¶4: ''Conversion of a null pointer to another pointer type yields a null pointer of that type. Any two null pointers shall compare equal.''</ref>。また、マクロ <code>NULL</code> が処理系定義のヌルポインタ定数に展開されるものと規定されている<ref>[[#c-std|ISO/IEC 9899]], §7.17, ¶3: ''NULL... which expands to an implementation-defined null pointer constant...''</ref>。[[ANSI C|C89]]/C90 (ISO/IEC 9899:1990) や [[C99]] (ISO/IEC 9899:1999) では、<code>NULL</code> はヌルポインタ定数を表現するマクロとして定義され、多くの実装においてヌルポインタ定数は整数定数の 0 もしくは 0 を汎用ポインタ <code>void *</code> に型キャストしたものとして定義されている<ref name="en_cppref_c_null">[https://en.cppreference.com/w/c/types/NULL NULL - cppreference.com (C)]</ref>。{{仮リンク|C23 (C言語)|en|C23 (C standard revision)|label=C23}} (ISO/IEC 9899:2024) ではキーワード <code>nullptr</code> がヌルポインタを表す、[[値 (計算機科学)#右辺値と左辺値|左辺値]]とならない定数値として追加され、その型も <code>nullptr_t</code> として追加される予定である。規格上は、依然としてマクロ<code>NULL</code>は処理系定義のヌルポインタ定数に展開されるものであることには変わりない<ref>[https://www.open-std.org/jtc1/sc22/wg14/www/docs/n3220.pdf ISO/IEC 9899:2024 (en) — N3220 working draft], §7.21, ¶4</ref>が、<code>nullptr</code>に展開される実装がありえることになる<ref name="en_cppref_c_null"/>。
+[[C言語]]では、すべての型の2つのヌルポインタは等しいことが保証されている<ref>[[#c-std|ISO/IEC 9899]], §6.3.2.3, ¶4: ''Conversion of a null pointer to another pointer type yields a null pointer of that type. Any two null pointers shall compare equal.''</ref>。また、マクロ <code>NULL</code> が処理系定義のヌルポインタ定数 ({{lang|en|null pointer constant}}) に展開されるものと規定されている<ref>[[#c-std|ISO/IEC 9899]], §7.17, ¶3: ''NULL... which expands to an implementation-defined null pointer constant...''</ref>。[[ANSI C|C89]]/C90 (ISO/IEC 9899:1990) や [[C99]] (ISO/IEC 9899:1999) では、<code>NULL</code> はヌルポインタ定数を表現するマクロとして定義され、多くの実装においてヌルポインタ定数は整数定数の 0 もしくは 0 を汎用ポインタ <code>void *</code> に型キャストしたものとして定義されている<ref name="en_cppref_c_null">[https://en.cppreference.com/w/c/types/NULL NULL - cppreference.com (C)]</ref>。{{仮リンク|C23 (C言語)|en|C23 (C standard revision)|label=C23}} (ISO/IEC 9899:2024) ではキーワード <code>nullptr</code> がヌルポインタを表す、[[値 (計算機科学)#右辺値と左辺値|左辺値]]とならない定数値として追加され、その型も <code>nullptr_t</code> として追加される予定である。規格上は、依然としてマクロ<code>NULL</code>は処理系定義のヌルポインタ定数に展開されるものであることには変わりない<ref>[https://www.open-std.org/jtc1/sc22/wg14/www/docs/n3220.pdf ISO/IEC 9899:2024 (en) — N3220 working draft], §7.21, ¶4</ref>が、<code>nullptr</code>に展開される実装がありえることになる<ref name="en_cppref_c_null"/>。
 C言語における汎用ポインタ型はあらゆるポインタ型に暗黙的変換可能となっているため、ポインタ型変数に<code>NULL</code>を代入する際は型キャストの記述が不要となる。POSIX.1-2008 では整数定数の 0 ではなく、0 を <code>void *</code> に型キャストした物、<code>(void *) 0</code> でなければならないと定義していて、rationale にて、整数の 0 ではあってはならないと、その定義の差を明記している<ref>[http://pubs.opengroup.org/onlinepubs/9699919799/basedefs/stddef.h.html stddef.h - standard type definitions - The Open Group Base Specifications Issue 7]</ref>。よって、ほぼ全ての標準Cライブラリは <code>NULL</code> を <code>(void *) 0</code> としている。そして、C89, C99 では、ヌルポインタ定数を、（<code>void *</code> 以外を含めた）ポイント型に型キャストした物をヌルポインタと定義している。ほとんどの実装はそのまま変換するが、C89, C99 の仕様では、整数からポインタ、ポインタから整数への型キャストがどのような結果になるかは実装依存と明記されていて、ポインタに 0 や <code>NULL</code> を代入したときに、ほとんどのコンパイラは数値の 0 を代入したというコンパイル結果を生成するが、数値の 0 以外を代入するというコンパイル結果を生成しても良いという仕様になっている<ref>[http://stackoverflow.com/questions/2599207/can-a-conforming-c-implementation-define-null-to-be-something-wacky Can a conforming C implementation #define NULL to be something wacky - Stack Overflow]</ref>。整数の 0 をポインタにキャストするとヌルポインタとなることは規定されているが、ヌルポインタを整数にキャストしても 0 になることは規定されていない。存在するオブジェクトや関数へのポインタはヌルポインタであってはならないと規定されている。{{いつ範囲|date=2019-04|近年}}はほとんど無いが、歴史的には、ヌルポインタを 0 以外で表現することもあった<ref>[http://c-faq.com/null/machexamp.html comp.lang.c FAQ list - Question 5.17]</ref><ref>{{Cite web|和書|url=http://www.kouno.jp/home/c_faq/c5.html#17 |title=C FAQ 5.17 ヌルポインターに0以外の値を使用するマシンや、異なる型のポインターに異なる内部形式を持つマシンは本当に存在するのか。 |website= C言語 FAQ 日本語訳 |accessdate=2021-04-12}}</ref>。
@@ 23行目: / 23行目: @@
 [[C++]]では、C言語よりも型チェックが厳密になり、汎用ポインタ<code>void *</code>をあらゆるポインタ型に暗黙的変換することが不可能になった。代わりに、整数リテラル 0 がヌルポインタ定数を意味するという仕様になった<ref>{{cite book |last1=Stroustrup |first=Bjarne |authorlink1=Bjarne_Stroustrup |title={{仮リンク|プログラミング言語C++|en|The C++ Programming Language|label=The C++ Programming Language}} |edition=14th printing of 3rd |date=March 2001 |publisher=Addison–Wesley |location=United States and Canada |isbn=0-201-88954-4 |page=88 |chapter=Chapter 5: Pointers, Arrays, and Structures: 5.1.1: Zero |quote=In C, it has been popular to define a macro <code>NULL</code> to represent the zero pointer. Because of C++'s tighter type checking, the use of plain 0, rather than any suggested <code>NULL</code> macro, leads to fewer problems. If you feel you must define <code>NULL</code>, use
 : <code>const int NULL = 0;</code>
-The <code>const</code> qualifier (§5.4) prevents accidental redefinition of <code>NULL</code> and ensures that <code>NULL</code> can be used where a constant is required.}}</ref>。C言語からの移植を容易にするためなどの目的で、<code>NULL</code> マクロ自体は依然として標準ヘッダーで定義されるが、C言語とは異なり整数リテラル 0 で実装されている。
+The <code>const</code> qualifier (§5.4) prevents accidental redefinition of <code>NULL</code> and ensures that <code>NULL</code> can be used where a constant is required.}}</ref>。C言語からの移植を容易にするためなどの目的で、<code>NULL</code>マクロ自体は依然として標準ヘッダーで定義され、実装定義のヌルポインタ定数に展開される仕様となっているが<ref>ISO/IEC 14882:1998, C.2.2.3 Macro NULL</ref>、前述の理由から{{code|#define NULL ((void*)0)|cpp}}と定義してしまうと、{{code|void*|cpp}}以外のポインタに代入する際は明示的な型キャストが必要になるため、C言語とは異なり整数リテラル<code>0</code>に展開される実装となっていることが多い。Cと共有されるヘッダーでは、通例<code>__cplusplus</code>の定義有無で<code>NULL</code>の定義が切り替わる実装となっている。
-ただし、整数リテラル 0 をヌルポインタとみなすという仕様は、関数オーバーロードや[[テンプレート (プログラミング)|テンプレート]]関連でしばしば問題を引き起こす結果となった。[[C++11]]では代替として、<code>std::nullptr_t</code>という型を持ち、明確にヌルポインタであることを表す[[C++11#ヌルポインタ|<code>nullptr</code>リテラル]]が導入された<ref>[https://cpprefjp.github.io/lang/cpp11/nullptr.html nullptr - cpprefjp C++日本語リファレンス]</ref>。C++11以降でも<code>NULL</code>は引き続き利用可能だが、整数定数のゼロに等しいとは限らず、実装は処理系依存となる<ref>[https://ja.cppreference.com/w/cpp/types/NULL NULL - cppreference.com (C++)]</ref>。
+ただし、整数リテラル 0 をヌルポインタとみなすという仕様は、関数オーバーロードや[[テンプレート (プログラミング)|テンプレート]]関連でしばしば問題を引き起こす結果となった。[[C++11]]では代替として、<code>std::nullptr_t</code>という型を持ち、明確にヌルポインタであることを表す[[C++11#ヌルポインタ|<code>nullptr</code>リテラル]]が導入された<ref>[https://cpprefjp.github.io/lang/cpp11/nullptr.html nullptr - cpprefjp C++日本語リファレンス]</ref>。C++11以降でも<code>NULL</code>マクロは引き続き利用可能だが、整数リテラル<code>0</code>に展開される実装とは限らず、<code>nullptr</code>に展開される実装もありえる<ref>[https://en.cppreference.com/w/cpp/types/NULL NULL - cppreference.com (C++)]</ref>。
 == その他の言語 ==