「Void (コンピュータ)」の版間の差分

2件のリンク切れを修正
(MoS/Tmpl: Webページの出典/重複する記述の除去/表の整理)
(2件のリンク切れを修正)
似たものとしてnil([[Null]])や{{日本語版にない記事リンク|Unit型|en|Unit type}}があるが、(本来の)Void型はその型の値は存在しないという点が、NullやUnitと異なる。
 
C言語や[[C++]]では'''void型へのポインタ'''({{code|lang=c|void *}}のように書く)があるが、これは上で述べたvoid型と直接関連するものではなく、「不特定の」(任意の)型のデータを指す[[ポインタ (プログラミング)|ポインタ]]となっている。つまり、この文脈ではvoidが汎用型として扱われている。プログラムでどんな型のデータもvoid型のポインタから指すことができ、逆に元のデータを参照することもできるため、[[ポリモーフィズム|ポリモーフィック]]な関数を書く際に有用である(なお、標準規格では、関数ポインタについては扱いが違う<ref>{{Cite web |url= http://www.safercode.com/blog/2008/11/25/generic-function-pointers-in-c-and-void.html{{リンク切れ|datetitle= Generic Function Pointers In C And Void|accessdate=2018-10-19 |publisher= |archiveurl=https://web.archive.org/web/20100107030330/http://www.safercode.com/blog/2008/11/25/generic-function-pointers-in-c-and-void.html |archivedate=2010-01-07 |deadlink=2018年10月}}</ref>)。
 
また、[[JavaScript]]など、言語によっては、'''void演算子'''が存在する。JavaScriptのvoid演算子は、オペランドの式を評価してその値を得る計算をおこなうが、その値は捨てられ、値を返さない。C言語における、値を捨てることを明示するためのvoid型へのキャスト(たとえば、{{code|lang=javascript|(void)printf("Hello");}}のように書く)に似ている。
返り値がvoid型の関数では、引数なしの[[return文]]<!--を実行するか、abort、exitなどの関数を呼び出すこと--><!-- ← プログラムごと終了するのであって、関数の終了ではない -->で呼び出し元に戻る(あるいは、プログラムの終了まで戻らないか、longjmpのように別の場所に飛ぶ)。<!--C の最新規格C11では、関数が処理の終わりまで達してしまった場合の動作は未定義である。--><!-- ← _Noreturn と勘違いしてないか? -->また、[[関数プロトタイプ]]にvoidを単独で書いて、「[[引数]]がない」ことを明示する用途にも使われる。void(空虚)という名前に反して、Unit型のような使われ方をしている。(型理論的には、Unit型には () という唯一の値が存在し(Unit型の値は1個)、Void型の値は存在しない(Void型の値は0個))。
 
初期のC言語では、返り値が明示されていない関数が<code>int</code>型として扱われ、また引数のない関数ではただ空のカッコを書いていた。そして、指す先の型が決まらないポインタは整数、あるいは<code>char</code>へのポインタを代用していた。この仕様だった[[コンパイラ]]では、関数の返り値を使わないことで警告が出ていたので、それをvoid型に[[型変換|キャスト]]することで警告を出さないようなコードが書かれることもあった。[[ビャーネ・ストロヴストルップ]]が1979年~80年頃に[[C++]]の開発を始めた時点では、void型やそのポインタは[[AT&T]]系のコンパイラがサポートしていた[[方言 (プログラミング言語)|方言]]であった<ref>{{Cite web |url= http://cm.bell-labs.com/cm/cs/who/dmr/chist.html,|title=The "StandardisationDevelopment of the C Language |last=Dennis M|first=Ritchie|accessdate=2018-10-19 |publisher= |archiveurl= https://web."{{リンク切れarchive.org/web/20080814214554/http://cm.bell-labs.com:80/cm/cs/who/dmr/chist.html|archivedate=2008-08-14 |datedeadlink=2018年10月}}</ref>。
 
型が明示されないとint、という仕様は、C90では規格化された。