Void (コンピュータ)

void（ボイド）は、プログラミング言語において、「何もない」といった意味の型などに使われる名前である。プリミティブとしてキーワードまたは予約語であることも多い。 ALGOL 68のproc（手続き、プロシージャ）やC言語の関数などでは、有意な値を返さないサブルーチンの戻り値（返り値）の型について、形式上void型としている。この場合は意味的には（型理論的には）本来はUnit型（英語版）である。呼び出し側にreturn文などで戻り値を返さない関数を書く場合に用いられる。そのような関数は、共有変数（グローバル変数）の状態を変更するような何らかの処理を実行する、あるいはポインタや参照によって渡された引数を経由して呼び出し元にデータを出力するといった、副作用のために呼び出されるのが通例である。Pascalのように、値を返すサブルーチンを関数、値を返さないサブルーチンを手続きと呼び、後者は戻り値の型を記述しない構文仕様となっている言語もある。なお、Visual BasicやVB.NETでは、値を返すプロシージャを「Functionプロシージャ」、値を返さないプロシージャを「Subプロシージャ」と呼んでいる。 似たものとしてnil（Null）やUnit型（英語: Unit type）があるが、（本来の）Void型はその型の値は存在しないという点が、NullやUnitと異なる。 また、JavaScriptなど、言語によっては、void演算子が存在する。JavaScriptのvoid演算子は、オペランドの式を評価してその値を得る計算をおこなうが、その値は捨てられ、値を返さない。C言語における、値を捨てる（無視する）ことを明示するためのvoid型へのキャスト（たとえば、(void)printf("Hello");のように書く）に似ている。 C言語やC++ではvoid型へのポインタがあり、void *のように書くが、これは上で述べたvoid型と直接関連するものではなく、「不特定の」（任意の）型のデータを指すポインタとなっている。つまり、この文脈ではvoidが汎用型として扱われている。プログラムでどんな型のデータもvoid型のポインタから指すことができ、逆に元のデータを参照することもできるため、コールバック関数の引数に任意のユーザー定義データのアドレスを渡して処理するといったポリモーフィックな関数を書く際に有用である。なお、ISO C標準規格では、関数ポインタについては扱いが異なり、void *との相互変換を保証していない。POSIXのdlsym()関数はdlopen()で動的ロードしたモジュールから変数や関数のシンボルのアドレスをvoid *として取得することができるが、この動作はPOSIXに準拠した実装がvoid *から関数ポインタへの変換を正常に実行できることを前提としている。 戻り値がvoid型の関数では、関数の最後まで到達するか、引数なしのreturn文によって呼び出し元に戻る（あるいは、プログラムの終了まで戻らないか、longjmpのように別の場所に飛ぶ）。また、関数プロトタイプの仮引数リストにvoidを単独で書いて、「引数がない」ことを明示する用途にも使われる。void（空虚）という名前に反して[独自研究?]、Unit型のような使われ方をしている。 戻り値がvoidでない関数が処理の終わりまで達し、さらにreturn文が書かれていなかった場合の動作は未定義である。モダンなコンパイラは、このようなコードに対して警告を発するものが多い。ただしC++およびISO/IEC 9899:1999 (C99) 規格以降のmain関数に関しては、return文が書かれていなかった場合は最後にreturn 0;が書かれているものとみなされる。 初期のC言語では、戻り値が明示されていない関数がint型として扱われ、また引数のない関数ではただ空のカッコを書いていた。そして、指す先の型が決まらないポインタは整数、あるいはcharへのポインタを代用していた。この仕様だったコンパイラでは、関数の戻り値を使わないことで警告が出ていたので、それをvoid型にキャストすることで警告を出さないようなコードが書かれることもあった。ビャーネ・ストロヴストルップが1979年-1980年頃にC++の開発を始めた時点では、void型やそのポインタはAT&T系のコンパイラがサポートしていた方言であった。 関数の戻り値の型が明示されない場合はintとみなすという仕様は、ANSI C (C89) およびISO/IEC 9899:1990 (C90) 規格で標準化されたが、C99では規格の文面から削除された。互換性の観点から、まだ拡張として許されている処理系もあるが、通例警告を発する。 関数プロトタイプで仮引数リストにvoidを明示した場合は「引数なし」を意味するが、何も書かなかった場合（省略した場合）は、以下のようにC言語とC++で意味合いに違いが出てくる。 ただしC言語でも、C99では上記のvoid f();のような、何も書かないことで可変長の引数を意味する記法が非推奨となっている。また、C23ではこの記法の意味が変更され、仮引数リストにvoidを書いた場合と等価になる（C++と同様に「引数なし」を意味するようになる）予定である。 Javaにはjava.lang.Voidクラスがある。これはインスタンスを生成できないプレースホルダーとしてのクラスであり、キーワードvoidを表すjava.lang.Classオブジェクトへの参照を保持するのに使用される。 .NETにはSystem.Void構造体がある。C#の場合はvoidキーワードによってマッピングされる。 ECMAScriptでは、voidはキーワードであり（予約語を参照）、単項式の前に付けて単項式を形成する前置演算子のひとつである。構文規則上はvoid 単項式という形のためvoid(式)という形で用いられることが多い。式を評価し、その値を取得するがその値を特にどうともせず、常に「undefined」を返す。もっぱらHTML内で、 <a href="javascript:void(0)">foo</a> のように記述して、リンクとしての機能を働かせないために用いられる。 ^ 型理論的には、Unit型には () という唯一の値が存在し（Unit型の値は1個）、Void型の値は存在しない（Void型の値は0個）。[要出典] ^ Informal Introduction to ALGOL 68 | C. H. Lindsey, S. G. van Der Meulen ^ “Generic Function Pointers In C And Void”. 2010年1月7日時点のオリジナルよりアーカイブ。2018年10月19日閲覧。 ^ dlsym - get the address of a symbol from a symbol table handle | The Open Group Base Specifications Issue 7, 2018 edition / IEEE Std 1003.1-2017 (Revision of IEEE Std 1003.1-2008) ^ Dennis M, Ritchie. “The Development of the C Language”. 2008年8月14日時点のオリジナルよりアーカイブ。2018年10月19日閲覧。 ^ Stroustrup, Bjarne (2009). Programming: Principles and Practice Using C++. Boston: Addison-Wesley. p. 996. ISBN 0321543726  ^ CppCoreGuidelines/CppCoreGuidelines.md at master · isocpp/CppCoreGuidelines · GitHub ^ a b Function declarations - cppreference.com ^ “C and C++: Case Studies in Compatibility”. Dr. Dobb's. UBM (2002年9月1日). 2018年10月18日閲覧。 ^ Void Struct (System) | Microsoft Learn ^ “12.5.4 The void Operator”. ECMAScript® 2019 Language Specification. Ecma International (2018年). 2018年10月18日閲覧。 関数プロトタイプ return文