Примеры определения функции

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

Функция должна возвращать значение, если она не объявлена как void. И наоборот – значение не может быть возвращено из функции, если она объявлена как void. Как и передача параметров, семантика возврата значения из функции идентична семантике инициализации. Возвращаемое значение задаётся инструкцией return.  int  f1() { } // Ошибка – не возвращается значение void f2() { } // Правильно int f3() { return 1; } // Правильно void f4() { return 1; } // Ошибка – значение возвращается в функции void int  f5() { return; } // Ошибка – не указано возвращаемое значение void f6() { return; } // Правильно

Функция с типом void не может возвращать значение. Однако вызов функции с типом void не даёт значения, так что функция с типом void может использовать вызов функции с типом void как выражение в инструкции return.  void g() { ... } void h() { return g(); } // Правильно

Такая форма инструкции return важна при написании шаблонов функций, когда тип возвращаемого значения является параметром шаблона.