The void type, in several programming languages derived from C and Algol68, is the type for the result of a function that returns normally, but does not provide a result value to its caller. Usually such functions are called for their side effects, such as performing some task or writing to their output parameters. The usage of the void type in such context is comparable to that of the syntactic constructs which define subroutines in Visual Basic and procedures in Pascal. It is also similar to the unit type used in functional programming languages and type theory. See Unit type#In programming languages for a comparison.

Property Value
dbo:abstract
  • En programmation informatique, void est un mot-clé que l'on retrouve dans le langage C (qui signifie "vide" ou "nul") et plusieurs autres langages de programmation dont il est à l'origine, comme le C++, le C# ou le Java. (fr)
  • Das Schlüsselwort void (englisch für nichtig, ungültig, leer) wird in einigen Programmiersprachen anstelle eines Datentyps benutzt, um anzugeben, dass keine Daten übergeben werden oder der Typ der Daten nicht angegeben ist. Syntaktisch wird void wie ein Datentyp behandelt, aber es kann nur an bestimmten Stellen stehen. So ist es zum Beispiel nicht möglich, eine Variable vom Typ void zu deklarieren. (de)
  • The void type, in several programming languages derived from C and Algol68, is the type for the result of a function that returns normally, but does not provide a result value to its caller. Usually such functions are called for their side effects, such as performing some task or writing to their output parameters. The usage of the void type in such context is comparable to that of the syntactic constructs which define subroutines in Visual Basic and procedures in Pascal. It is also similar to the unit type used in functional programming languages and type theory. See Unit type#In programming languages for a comparison. C and C++ also support the pointer to void type (specified as void *), but this is an unrelated notion. Variables of this type are pointers to data of an unspecified type, so in this context (but not the others) void * acts roughly like a universal or top type. A program can probably convert a pointer to any type of data (except a function pointer) to a pointer to void and back to the original type without losing information, which makes these pointers useful for polymorphic functions. The C language standard does not guarantee that the different pointer types have the same size. (en)
  • In gran parte dei linguaggi di programmazione derivati dal C e da Algol68, void è un tipo di dato risultante da una funzione che non restituisce alcun valore al suo chiamante. Tipicamente, tali funzioni sono chiamate per eseguire un side-effect (ad esempio, per eseguire un sottoprocesso o modificare le variabili di istanza degli oggetti che vengono loro passati). I linguaggi C e C++ supportano anche il puntatore al tipo void (scritto void *). Variabili di questo tipo sono dette generic pointers (puntatori generici) e per essere dereferenziate debbono essere prima convertite in un altro tipo di dato. Nella libreria Java java.lang.* è presente una classe non istanziabile di nome Void, contenente Void.TYPE, oggetto rappresentante lo pseudo-tipo coddispondente alla keyword void. (it)
  • Pusty typ danych (ang. void type) – typ danych, którego zmienna niesie zerową informację, czyli, zgodnie z teorią informacji, matematyczna klasa wszystkich wartości zmiennych tego typu zawiera dokładnie jeden element. Wprowadzenie takiego typu do systemu typów języka programowania umożliwia pewne rodzaje uogólnień - nie trzeba rozróżniać funkcji, które zwracają wartość, od tych, które jej nie zwracają (czyli zwracają wartość typu pustego), oraz funkcji, które pobierają jakiś argument, od tych, które tego nie robią. Typ pusty stosowany jest głównie do: * Wskazania, że funkcja nie zwraca wyniku (języki C, C++). * Wskazania, że funkcja nie pobiera żadnych argumentów (konieczne w języku C, opcjonalne w C++) * Definiowania wskaźników na dane nieokreślonego typu (języki C i C++). (pl)
  • 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"); のように書く)に似ている。 (ja)
  • void — тип, спецификатор типа и ключевое слово в языках программирования Си, Си++, Java, C#,Objective-C, D и ActionScript. (ru)
dbo:wikiPageID
  • 2056815 (xsd:integer)
dbo:wikiPageRevisionID
  • 740986580 (xsd:integer)
dct:subject
http://purl.org/linguistics/gold/hypernym
rdfs:comment
  • En programmation informatique, void est un mot-clé que l'on retrouve dans le langage C (qui signifie "vide" ou "nul") et plusieurs autres langages de programmation dont il est à l'origine, comme le C++, le C# ou le Java. (fr)
  • Das Schlüsselwort void (englisch für nichtig, ungültig, leer) wird in einigen Programmiersprachen anstelle eines Datentyps benutzt, um anzugeben, dass keine Daten übergeben werden oder der Typ der Daten nicht angegeben ist. Syntaktisch wird void wie ein Datentyp behandelt, aber es kann nur an bestimmten Stellen stehen. So ist es zum Beispiel nicht möglich, eine Variable vom Typ void zu deklarieren. (de)
  • void — тип, спецификатор типа и ключевое слово в языках программирования Си, Си++, Java, C#,Objective-C, D и ActionScript. (ru)
  • The void type, in several programming languages derived from C and Algol68, is the type for the result of a function that returns normally, but does not provide a result value to its caller. Usually such functions are called for their side effects, such as performing some task or writing to their output parameters. The usage of the void type in such context is comparable to that of the syntactic constructs which define subroutines in Visual Basic and procedures in Pascal. It is also similar to the unit type used in functional programming languages and type theory. See Unit type#In programming languages for a comparison. (en)
  • Void(ボイド)は、プログラミング言語において、「何もない」といった意味の型などに使われる名前である。プリミティブとしてキーワードないし予約語であることも多い。 ALGOL68やC言語などでは、有意な値を返さないサブルーチンについて、関数としての形式上void型としている。この場合は意味的には(型理論的には)本来はUnit型(英語: Unit type)である。呼び出し側に返り値を戻さない関数を書く場合に用いられる。そのような関数は、何かしらの処理、あるいは引数を出力するといった、副作用のために呼び出されるのが通例である。値を返さない手続きは関数ではなくプロシージャである、という言語(Visual BasicやPascal)もある。(「返り値を戻さない」のではなく、「呼び出し側に戻らない」のであれば理論的にもvoid型と言える) 似たものとしてnil(Null)やUnit型(英語: Unit type)があるが、(本来の)Void型はその型の値は存在しないという点が、NullやUnitと異なる。 (ja)
  • Pusty typ danych (ang. void type) – typ danych, którego zmienna niesie zerową informację, czyli, zgodnie z teorią informacji, matematyczna klasa wszystkich wartości zmiennych tego typu zawiera dokładnie jeden element. Wprowadzenie takiego typu do systemu typów języka programowania umożliwia pewne rodzaje uogólnień - nie trzeba rozróżniać funkcji, które zwracają wartość, od tych, które jej nie zwracają (czyli zwracają wartość typu pustego), oraz funkcji, które pobierają jakiś argument, od tych, które tego nie robią. Typ pusty stosowany jest głównie do: (pl)
  • In gran parte dei linguaggi di programmazione derivati dal C e da Algol68, void è un tipo di dato risultante da una funzione che non restituisce alcun valore al suo chiamante. Tipicamente, tali funzioni sono chiamate per eseguire un side-effect (ad esempio, per eseguire un sottoprocesso o modificare le variabili di istanza degli oggetti che vengono loro passati). Nella libreria Java java.lang.* è presente una classe non istanziabile di nome Void, contenente Void.TYPE, oggetto rappresentante lo pseudo-tipo coddispondente alla keyword void. (it)
rdfs:label
  • Void (Schlüsselwort) (de)
  • Void type (en)
  • Void (fr)
  • Void (informatica) (it)
  • Void (コンピュータ) (ja)
  • Pusty typ danych (pl)
  • Void (ru)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is foaf:primaryTopic of