Void type
http://dbpedia.org/resource/Void_type
Název void (anglicky prázdný) v informatice označuje dva odlišné datové typy. V programovacích jazycích odvozených od jazyka C a ALGOL68 se tak označuje typ pro výsledek funkce, která při návratu neposkytuje do volajícího výrazu žádnou výslednou (návratovou) hodnotu. Oproti tomu ve funkcionálních jazycích (např. v Haskellu) a teoretické počítačové vědě, potažmo teorii typů, se jako void označuje prázdný typ.
rdf:langString
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.
rdf:langString
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, comme le C++, le C# ou le Java.
rdf:langString
void 타입은 C에서 파생된 여러 언어에서 정상적으로 반환하지만 호출자에게 결과 값을 제공하지 않는 함수의 결과를 위한 타입이다. 보통 이러한 함수들은 몇몇 작업을 수행하거나 자신의 결과 파라미터를 쓰는것 같은 그것의 부작용을 위해 호출된다. 이러한 문맥에서 void 타입의 사용은 비주얼 베이직의 서브루틴과 파스칼의 함수를 정의하는 통사적 구조체의 그것과 차별화된다. 또한 함수형 프로그래밍과 타입 이론에서 사용되는 과 비슷하지만 void 타입은 값이 없는 빈 타입이라는 점에서 허용되는 사용법에 몇몇 차이점이 있다. C와 C++ 또한 void type에 대한 포인터 ( void *로 명시된)를 제공하지만, 이것은 개념과는 관련없다. 이 타입의 변수들은 명시되지 않은 타입의 데이터에 대한 포인터 (프로그래밍)여서, 이 문맥의 경우 void는 일반적인 또는 처럼 행동한다. 프로그램은 아마 어느 데이터의 타입에 대한 포인터라도(함수 포인터 제외) void에 대한 포인터로 변환할 수 있으며, 정보를 잃는것 없이 원래의 타입으로 돌아갈 수 있는데, 이러한 포인터들은 다형성 함수들에 유용하다. C 언어 표준은 다른 포인터 타입들이 같은 크기를 갖는다고 보장하지 않는다.
rdf:langString
void — тип, и ключевое слово в языках программирования С, C++, Java, C#, Objective-C, D, ActionScript и PHP.
rdf:langString
void 在诸如 C/C++ 等编程语言中是一个关键字，表示一个函数“不返回值”。注意这并不意味着某个函数永不返回，只是说“该函数的返回值没有意义、调用方应当无视”。 在参数表中的 void 代表该函数没有参数。
rdf:langString
The void type, in several programming languages derived from C and Algol68, is the return type 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 procedures in Pascal and syntactic constructs which define subroutines in Visual Basic. 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.
rdf:langString
In gran parte dei linguaggi di programmazione derivati dal C e da , 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.
rdf:langString
void（ボイド）は、プログラミング言語において、「何もない」といった意味の型などに使われる名前である。プリミティブとしてキーワードないし予約語であることも多い。 ALGOL68やC言語などでは、有意な値を返さないサブルーチンについて、関数としての形式上void型としている。この場合は意味的には（型理論的には）本来は（英語: Unit type）である。呼び出し側に返り値を戻さない関数を書く場合に用いられる。そのような関数は、何かしらの処理、あるいは引数を出力するといった、副作用のために呼び出されるのが通例である。値を返さない手続きは関数ではなくプロシージャである、という言語（Visual BasicやPascal）もある。（「返り値を戻さない」のではなく、「呼び出し側に戻らない」のであれば理論的にもvoid型と言える） 似たものとしてnil（Null）や（英語: Unit type）があるが、（本来の）Void型はその型の値は存在しないという点が、NullやUnitと異なる。
rdf:langString
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:
rdf:langString
void — спеціальний тип результату функцій, який позначає що функція нічого не повертає. Застосовується в мовах програмування, похідних від C або Algol68. Зазвичай такі функції застосовуються заради їхніх побічних ефектів, таких як виконання якогось завдання або запис у вихідні параметри. Використання типу void у такому контексті можна порівняти з процедурами у мові Pascal або підпрограмами у Fortran, BASIC. Тип void подібний до , що використовується у функційних мовах програмування та в теорії типів.
rdf:langString
rdf:langString
Void (datový typ)
rdf:langString
Void (Schlüsselwort)
rdf:langString
Void (informatica)
rdf:langString
Void
rdf:langString
Void 타입
rdf:langString
Void (コンピュータ)
rdf:langString
Pusty typ danych
rdf:langString
Void type
rdf:langString
Void
rdf:langString
Void
rdf:langString
Void (编程语言)
xsd:integer
2056815
xsd:integer
1114906062
rdf:langString
Název void (anglicky prázdný) v informatice označuje dva odlišné datové typy. V programovacích jazycích odvozených od jazyka C a ALGOL68 se tak označuje typ pro výsledek funkce, která při návratu neposkytuje do volajícího výrazu žádnou výslednou (návratovou) hodnotu. Oproti tomu ve funkcionálních jazycích (např. v Haskellu) a teoretické počítačové vědě, potažmo teorii typů, se jako void označuje prázdný typ.
rdf:langString
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.
rdf:langString
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, comme le C++, le C# ou le Java.
rdf:langString
In gran parte dei linguaggi di programmazione derivati dal C e da , 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 corrispondente alla keyword void.
rdf:langString
void（ボイド）は、プログラミング言語において、「何もない」といった意味の型などに使われる名前である。プリミティブとしてキーワードないし予約語であることも多い。 ALGOL68やC言語などでは、有意な値を返さないサブルーチンについて、関数としての形式上void型としている。この場合は意味的には（型理論的には）本来は（英語: Unit type）である。呼び出し側に返り値を戻さない関数を書く場合に用いられる。そのような関数は、何かしらの処理、あるいは引数を出力するといった、副作用のために呼び出されるのが通例である。値を返さない手続きは関数ではなくプロシージャである、という言語（Visual BasicやPascal）もある。（「返り値を戻さない」のではなく、「呼び出し側に戻らない」のであれば理論的にもvoid型と言える） 似たものとしてnil（Null）や（英語: Unit type）があるが、（本来の）Void型はその型の値は存在しないという点が、NullやUnitと異なる。 C言語やC++ではvoid型へのポインタ（void *のように書く）があるが、これは上で述べたvoid型と直接関連するものではなく、「不特定の」（任意の）型のデータを指すポインタとなっている。つまり、この文脈ではvoidが汎用型として扱われている。プログラムでどんな型のデータもvoid型のポインタから指すことができ、逆に元のデータを参照することもできるため、ポリモーフィックな関数を書く際に有用である（なお、標準規格では、関数ポインタについては扱いが違う）。 また、JavaScriptなど、言語によっては、void演算子が存在する。JavaScriptのvoid演算子は、オペランドの式を評価してその値を得る計算をおこなうが、その値は捨てられ、値を返さない。C言語における、値を捨てることを明示するためのvoid型へのキャスト（たとえば、(void)printf("Hello");のように書く）に似ている。
rdf:langString
The void type, in several programming languages derived from C and Algol68, is the return type 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 procedures in Pascal and syntactic constructs which define subroutines in Visual Basic. 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 or alignment.
rdf:langString
void 타입은 C에서 파생된 여러 언어에서 정상적으로 반환하지만 호출자에게 결과 값을 제공하지 않는 함수의 결과를 위한 타입이다. 보통 이러한 함수들은 몇몇 작업을 수행하거나 자신의 결과 파라미터를 쓰는것 같은 그것의 부작용을 위해 호출된다. 이러한 문맥에서 void 타입의 사용은 비주얼 베이직의 서브루틴과 파스칼의 함수를 정의하는 통사적 구조체의 그것과 차별화된다. 또한 함수형 프로그래밍과 타입 이론에서 사용되는 과 비슷하지만 void 타입은 값이 없는 빈 타입이라는 점에서 허용되는 사용법에 몇몇 차이점이 있다. C와 C++ 또한 void type에 대한 포인터 ( void *로 명시된)를 제공하지만, 이것은 개념과는 관련없다. 이 타입의 변수들은 명시되지 않은 타입의 데이터에 대한 포인터 (프로그래밍)여서, 이 문맥의 경우 void는 일반적인 또는 처럼 행동한다. 프로그램은 아마 어느 데이터의 타입에 대한 포인터라도(함수 포인터 제외) void에 대한 포인터로 변환할 수 있으며, 정보를 잃는것 없이 원래의 타입으로 돌아갈 수 있는데, 이러한 포인터들은 다형성 함수들에 유용하다. C 언어 표준은 다른 포인터 타입들이 같은 크기를 갖는다고 보장하지 않는다.
rdf:langString
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++).
rdf:langString
void — спеціальний тип результату функцій, який позначає що функція нічого не повертає. Застосовується в мовах програмування, похідних від C або Algol68. Зазвичай такі функції застосовуються заради їхніх побічних ефектів, таких як виконання якогось завдання або запис у вихідні параметри. Використання типу void у такому контексті можна порівняти з процедурами у мові Pascal або підпрограмами у Fortran, BASIC. Тип void подібний до , що використовується у функційних мовах програмування та в теорії типів. Мови C та C++ також підтримують вказівник на тип void (визначається як void *), але це не пов'язане поняття. Змінні цього типу є вказівниками на дані невизначеного типу, тому в цьому контексті (але не в інших) void * діє приблизно як універсальний або верхній тип. Програма, ймовірно, може перетворити вказівник на будь-який тип даних (крім вказівника функції) у вказівник на void і назад до початкового типу, не втративши інформації, що робить ці вказівники корисними для поліморфних функцій. Стандарт мови C не гарантує, що різні типи вказівників мають однаковий розмір або вирівнювання.
rdf:langString
void — тип, и ключевое слово в языках программирования С, C++, Java, C#, Objective-C, D, ActionScript и PHP.
rdf:langString
void 在诸如 C/C++ 等编程语言中是一个关键字，表示一个函数“不返回值”。注意这并不意味着某个函数永不返回，只是说“该函数的返回值没有意义、调用方应当无视”。 在参数表中的 void 代表该函数没有参数。
xsd:nonNegativeInteger
5404