Пустой тип
- Тип void в языках программирования, производных от C и Algol68, является типом возвращаемого значения функции без результирующего значения.
- Функции с типом void обычно вызываются из-за их побочных эффектов, таких как выполнение задачи или запись в выходные параметры.
- Использование типа void сравнимо с процедурами в Pascal и синтаксическими конструкциями, определяющими подпрограммы в Visual Basic.
- Тип void также похож на тип единицы измерения, используемый в функциональных языках программирования и теории типов.
- C и C++ поддерживают указатель на тип void, но это не связанное понятие.
- Переменные типа void являются указателями на данные неопределенного типа, что делает их полезными для полиморфных функций.
- Стандарт языка Си не гарантирует одинаковый размер или выравнивание различных типов указателей.
- В C и C++ функция с типом результата void завершается либо достижением конца функции, либо выполнением инструкции return без возвращаемого значения.
Полный текст статьи: