void (コンピュータ)

void︵ボイド︶は、プログラミング言語において、﹁何もない﹂といった意味の型などに使われる名前である。プリミティブとしてキーワードないし予約語であることも多い。

ALGOL68やC言語などでは、有意な値を返さないサブルーチンについて、関数としての形式上void型としている。この場合は意味的には︵型理論的には︶本来はUnit型︵英語: Unit type︶である。呼び出し側に返り値を戻さない関数を書く場合に用いられる。そのような関数は、何かしらの処理、あるいは引数を出力するといった、副作用のために呼び出されるのが通例である。値を返さない手続きは関数ではなくプロシージャである、という言語︵Visual BasicやPascal︶もある。︵﹁返り値を戻さない﹂のではなく、﹁呼び出し側に戻らない﹂のであれば理論的にもvoid型と言える︶

似たものとしてnil︵Null︶やUnit型︵英語: Unit type︶があるが、︵本来の︶Void型はその型の値は存在しないという点が、NullやUnitと異なる。

C言語やC++ではvoid型へのポインタ︵void *のように書く︶があるが、これは上で述べたvoid型と直接関連するものではなく、﹁不特定の﹂︵任意の︶型のデータを指すポインタとなっている。つまり、この文脈ではvoidが汎用型として扱われている。プログラムでどんな型のデータもvoid型のポインタから指すことができ、逆に元のデータを参照することもできるため、ポリモーフィックな関数を書く際に有用である︵なお、標準規格では、関数ポインタについては扱いが違う︶。

また、JavaScriptなど、言語によっては、void演算子が存在する。JavaScriptのvoid演算子は、オペランドの式を評価してその値を得る計算をおこなうが、その値は捨てられ、値を返さない。C言語における、値を捨てることを明示するためのvoid型へのキャスト︵たとえば、(void)printf("Hello");のように書く︶に似ている。

C言語、C++

返り値がvoid型の関数では、引数なしのreturn文で呼び出し元に戻る︵あるいは、プログラムの終了まで戻らないか、longjmpのように別の場所に飛ぶ︶。また、関数プロトタイプにvoidを単独で書いて、﹁引数がない﹂ことを明示する用途にも使われる。void︵空虚︶という名前に反して、Unit型のような使われ方をしている。︵型理論的には、Unit型には () という唯一の値が存在し︵Unit型の値は1個︶、Void型の値は存在しない︵Void型の値は0個︶︶。

初期のC言語では、返り値が明示されていない関数がint型として扱われ、また引数のない関数ではただ空のカッコを書いていた。そして、指す先の型が決まらないポインタは整数、あるいはcharへのポインタを代用していた。この仕様だったコンパイラでは、関数の返り値を使わないことで警告が出ていたので、それをvoid型にキャストすることで警告を出さないようなコードが書かれることもあった。ビャーネ・ストロヴストルップが1979年～80年頃にC++の開発を始めた時点では、void型やそのポインタはAT&T系のコンパイラがサポートしていた方言であった。

型が明示されないとint、という仕様は、C90では規格化された。

関数プロトタイプでvoidを明示することと、何も書かないのとでは、以下のようにC言語とC++で意味合いに違いが出てくる。

C	C++	備考
void f(void);	void f();	C++ではこの記法が推奨されている
void f(void);	void f(void);
void f();	void f(...);	可変長引数

ただしC言語でも、C99では上記のvoid f();のような、何も書かないことで可変長の引数を意味する記法が非推奨となっている。

ECMAScript

ECMAScriptでは、voidはキーワードであり︵予約語を参照︶、単項式の前に付けて単項式を形成する前置演算子のひとつである。構文規則上はvoid 単項式という形のためvoid(式)という形で用いられることが多い。式を評価し、その値を取得するがその値を特にどうともせず、常に﹁undefined﹂を返す。もっぱらHTML内で、

<a href="javascript:void(0)">foo</a>

のように記述して、リンクとしての機能を働かせないために用いられる。