Да, void - это определенно тип, означающий «ничто».
Кстати, вы имеете в виду C (C ++, Objective-C, ...).
Не могу сказать ни за один язык, но в C (C ++, Objective-C, ...) void является типом.
Но это особый тип данных. Вы не можете объявить переменную типа void. Это отличается от любых других типов.
Но вы можете объявить указатель на void. Функция, возвращающее значение void, означает, что функция не имеет возвращаемого значения или ничего не возвращает. Это боится всех случаев, когда можно использовать тип void.
void * v; / ** объявляет переменную v как указатель на void * /
* v, используемое в качестве левого значения в выражении, может быть присвоено значение любого типа без приведения типа. Вот почему тип void был введен в язык.
Вы обновили свой вопрос, подчеркнув, что спрашивали о Java. В Java нет указателей и функций. Тип void используется в объявлениях методов, не возвращающих ничего.