void —тип,спецификатор типа иключевое слово в языках программированияС,C++,Java,C#,Objective-C,D,ActionScript иPHP.

Среди современных языков программирования ключевое словоvoid впервые появилось в C++ для поддержки концепцииобобщенных указателей. Тем не менее, благодаря скорому заимствованию у C++, первым нормативным документом, содержащим это ключевое слово, стал стандарт языка Си, опубликованныйANSI в 1989 г. В рамках языка C++void был стандартизован в 1998 г.

Впоследствии ключевое словоvoid и связанные с ним языковые конструкции были унаследованы языками Java и C#, D,PHP^[1].

Синтаксически,void является одним из спецификаторов типа, входящих в более общую группуспецификаторов объявления, но в некоторых языках программирования реализован в виде оператора. Например, в языкеJavaScriptvoid является оператором и всегда возвращаетundefined:

voidexpression===undefined;

Семантика ключевого словаvoid не подчиняется общей семантике спецификаторов типа и зависит от способа употребления:

• В качествеимени типа значения, возвращаемого функцией: указывает на то, что функция не возвращает значения, а вызов такой функции являетсяvoid-выражением. Тело такой функции не должно содержать операторовreturn с выражениями. Например:

  voidf();

• В составедекларатора функции: указывает на то, что функция имеетпрототип и не имеет параметров. Например:

  intf(void);

• В качестве имени целевого типа операции приведения: такоеvoid-приведение означает отказ от значения приводимого выражения. Например:

  #define promote_ptr() ((void) (ptr++))

• В составе имени типаvoid-указателя: такой указатель способен представлять значения любых указателей наобъектные инеполные типы, то есть адреса любыхобъектов. Таким образом,void-указатель является обобщеннымобъектным указателем.void-указатели не способны представлять значенияуказателей на функции. За исключением случая приведенияконстантного null-указателя к указателю на функцию в Си, явных инеявных преобразований междуvoid-указателями и указателями на функции нет.

Типvoid определен как неполный тип, который не может быть дополнен. Как следствие, этот тип не должен быть использован там, где допускаются только полные типы, например, в качестве типапараметра вопределении функции.

До публикации первого стандарта Си в 1989 г., которая ввела в язык ключевое словоvoid, общепринятой практикой было объявлять функции, не возвращающие значений без использования спецификаторов типов. Хотя семантически такое объявление было эквивалентно объявлению функции, возвращающей значение типаint, намеренно опущенные спецификаторы типа подчеркивали, что функция не возвращает никакого определенного значения. Например:

f(longl){/* ... */}

Схожим образом, определения функций, не имеющие параметров записывались с пустыми круглыми скобками:

intmain(){/* ... */}

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

Первый стандартный диалект Си (C89), хотя уже позволял записи с ключевым словомvoid, все же допускал такое использование неявного int в целях поддержки совместимости с существующим кодом. Современный диалект Си (C99) не допускает отсутствия спецификаторов типов в именах типов и объявлениях.

Показаны примеры объявления функции, возвращающей void.

voidmessage()

voidmessage()

voidmessage()

voidshart(chars[],intc);

-(void)message;

voidmessage()

functionmessage():void

functionmessage():void

Submessage()

• Типы данных
• Си (язык программирования)
• Синтаксис C++
• Теория типов

• Страницы, использующие устаревший тег source
• Статьи с примерами кода ActionScript
• Статьи с примерами кода C++
• Статьи с примерами кода Java
• Статьи с примерами кода D
• Статьи с примерами кода C Sharp