Объявление, определение, параметры и вызов функции

Для того, чтобы использовать функции, необходимо сделать их известными в программе. Различают объявление и определение функции.

Предварительное объявление функции, часто называемое прототипом функции, сообщает компилятору тип возвращаемого функцией значения, имя функции и (в круглых скобках) список ее параметров и заканчивается точкой с запятой:

// Прототип функции func с одним целым параметром,

// возвращающей в качестве результата целое число:

int func (int a);

// Прототип функции s с двумя параметрами типа int,

// возвращающей результат типа double:

double s (int x, int y);

// Прототип функции f без параметров, возвращающей целое число:

int f ();

Такое объявление функции подобно объявлению переменной, оно определяет сигнатуру функции (ее имя, количество, типы и порядок параметров), а также тип возвращаемого значения. Имена параметров в прототипе функции избыточны и могут отсутствовать:

int func (int);

double s (int, int);

Определение функции описывает дей­ствия, выполняемые функцией для получения результата. Оно начинается заголовком, который указывает тип возвращаемого функцией значения, имя функции, список параметров функции и их типы. После заголовка в фигурных скобках записываются операторы (тело) функции – действия, которые данная функция выполняет. Пример определения функции, принимающей в качестве параметра значение типа int, вычисляющей и возвращающей его квадрат:

int func (int a) // заголовок функции

{

int sq = a * a; // тело функции...

return sq;

}

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

Для того, чтобы выполнить операторы функции, необходимо вызвать эту функцию (обратиться к ней), указав в нужной точке программы имя функции и следом в скобках ­– список фактических (передаваемых в функцию) параметров.

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

Несколько примеров использования определенной выше функции func, имеющей один параметр типа int и возвращающей значение этого же типа (a, b, c, d, k, m, n, x, y, z – переменные типа int):

a = func (3);

b = n + func (m);

c = func (z-y) + func (y+4);

cout << func (x);

d = func (func (k)); // "вложенный" вызов функции

Объявить функцию необходимо перед ее первым вызовом и сделать это можно одним из двух способов.

Во-первых, можно использовать предварительное объявление (прототип) функ­ции, “анонсируя” последующее ее определение. Анонсированное прототипом определение функции может располагаться в любом последующем месте программы, например:

int func(int); // объявление (прототип) функции func

...

int main ()

{

int x, y;

...

x = func(y); // вызов (обращение к) функции func

...

}

int func(int a) // определение функции func

{

...

}

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

Еще один способ объявить функцию – расположить определение функции перед первым ее вызовом:

int func(int a)

{

...

}

int main ()

{

int x, y;

...

x = func(y);

...

}

Функция может не возвращать никакого значения. В этом случае её результат должен быть объявлен с типом void, а её вызов не может быть использован в выражении:

void func_2(int a)

{

cout << a * a;

}

int main ()

{

...

func_2 (10); // вызов функции func_2 типа void

...

}

Выход из функции

Имеется два способа окончания работы функции и возврата управления в точку вызова. Первый способ, применимый к функциям типа void, предполагает выполнение последнего оператора функции, после чего работа функции заканчивается.

Второй, более универсальный способ, состоит в использовании оператора return.

Оператор return имеет два назначения: во-первых, немедленный выход из функции, во-вторых, возврат значения в точку вызова. Функция может иметь несколько операторов return, то есть точек выхода из функции может быть несколько.

В функциях, возвращающих значение, оператор return связан со значением выражения, например:

return 0; // возвращается значение константы

В функциях, не возвращающих значения (имеющих тип void), может использоваться оператор return, не связанный с каким-либо выражением:

return; // осуществляется выход из функции