Недействителен ли тип данных в C?

void ли тип данных на языке программирования C? Если да, то какой тип ценностей он может хранить? Если у нас есть int , float , char и т. Д., Чтобы хранить значения, почему это void ?

Void считается типом данных (для организационных целей), но в основном это ключевое слово для использования в качестве заполнителя, где вы бы поместили тип данных, чтобы представлять «нет данных».

Следовательно, вы можете объявить процедуру, которая не возвращает значение как:

 void MyRoutine(); 

Но вы не можете объявить такую ​​переменную:

 void bad_variable; 

Однако, когда он используется как указатель, он имеет другое значение:

 void* vague_pointer; 

Это объявляет указатель, но не указывая, какой тип данных он указывает.

Да, void – это тип. Является ли это типом данных, зависит от того, как вы определяете этот термин; в стандарте C нет.

Стандарт определяет термин «тип объекта». В C99 и ранее; void не является типом объекта; в C11 это так. Во всех версиях стандарта void является неполным типом . Что изменилось в C11, так это то, что неполные типы теперь являются подмножеством типов объектов; это всего лишь изменение терминологии. (Другой тип типа – это тип функции .)

C99 6.2.6 в пункте 19 говорится:

Тип void содержит пустой набор значений; это неполный тип, который не может быть завершен.

Стандарт C11 слегка меняет формулировку:

Тип void содержит пустой набор значений; это неполный тип объекта, который не может быть завершен.

Это отражает изменение C11 в определении типа объекта, включающее неполные типы; это ничего не меняет в природе типа void .

Ключевое слово void также может использоваться в некоторых других контекстах:

  • Как единственный тип параметра в прототипе функции, как и в int func(void) , он указывает, что функция не имеет параметров. (C ++ использует пустые скобки для этого, но они означают что-то другое в C.)

  • В качестве возвращаемого типа функции, как и в void func(int n) , он указывает, что функция не возвращает результат.

  • void* – тип указателя, который не указывает, на что он указывает.

В принципе, все эти применения относятся к типу типа void , но вы также можете думать о них как о простом синтаксисе, использующем одно и то же ключевое слово.

В стандарте C указано, что void является неполным типом, который не может быть завершен (в отличие от других неполных типов, которые могут быть завершены). Это означает, что вы не можете применить оператор sizeof к void , но вы можете иметь указатель на неполный тип.