Czy void jest typem danych w C?

Tak, void jest typem. To, czy jest to typ data zależy od tego, jak zdefiniujesz ten termin; standard C nie.

Standard definiuje termin "typ obiektu". W C99 i wcześniejszych; void nie jest typem obiektu; w C11 jest. We wszystkich wersjach standardu void jest typem niekompletnym. Co zmieniło się w C11 jest to, że niekompletne typy są teraz podzbiorem typów obiektów; jest to tylko zmiana w terminologii. (Innym rodzajem typu jest funkcja typ .)

C99 6.2.6 paragraf 19 mówi:

Typ void zawiera pusty zbiór wartości; jest niekompletny wpisz, którego nie można uzupełnić.

Norma C11 zmienia nieco sformułowanie:

Typ void zawiera pusty zestaw wartości; jest to niekompletny typ obiektu, który nie można go ukończyć.

Odzwierciedla to zmianę definicji "typu obiektu" C11 na niekompletny typy; tak naprawdę nic nie zmienia w naturze typu void.

Słowo kluczowe void może być również używane w innych kontekstach:

• Jako jedyny typ parametru w prototypie funkcji, jak w int func(void), wskazuje on, że funkcja nie ma parametrów. (C++ używa do tego pustych nawiasów, ale znaczą coś innego w C.)

• Jako typ zwracany funkcji, jak w void func(int n), oznacza to, że funkcja zwraca no wynik.

• void* jest typem wskaźnika, który nie określa, do czego wskazuje.

Zasadniczo wszystkie te zastosowania odnoszą się do typu void, ale możesz również myśleć o nich jako o specjalnej składni, która zdarza się używać tego samego słowa kluczowego.

Standard C mówi, że void jest typem niekompletnym, którego nie można ukończyć (w przeciwieństwie do innych niekompletnych typów, które można ukończyć). Oznacza to, że nie można zastosować operatora sizeof do void, ale można mieć wskaźnik do typu niekompletnego.