Стенли Липпман - Язык программирования C++. Пятое издание

1 * 2 * 3 * 4 * 5 = 120

Эту функцию можно определить следующим образом:

// факториал val равен

// val * (val - 1) * (val - 2) ... * ((val - (val - 1)) * 1)

int fact(int val) {

int ret = 1; // локальная переменная для содержания результата по

// мере его вычисления

while (val > 1)

ret *= val--; // присвоение ret произведения ret * val

// и декремент val

return ret; // возвратить результат

}

Функции присвоено имя fact. Она получает один параметр типа intи возвращает значение типа int. В цикле whileвычисляется факториал с использованием постфиксного оператора декремента (см. раздел 4.5), уменьшающего значение переменной valна 1 при каждой итерации. Оператор returnвыполняется в конце функции factи возвращает значение переменной ret.

Чтобы вызвать функцию fact(), следует предоставить ей значение типа int. Результатом вызова также будет значение типа int:

int main() {

int j = fact(5); // j равно 120, т.е. результату fact(5)

cout << "5! is " << j << endl;

return 0;

}

Вызов функции осуществляет два действия: он инициализирует параметры функции соответствующими аргументами и передает управление коду этой функции. При этом выполнение вызывающей (calling) функции приостанавливается и начинается выполнение вызываемой (called) функции.

Выполнение функции начинается с неявного определения и инициализации ее параметров. Таким образом, когда происходит вызов функции fact(), сначала создается переменная типа intпо имени val. Этапеременная инициализируется аргументом, предоставленным при вызове функции fact(), которым в данном случае является 5.

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

int val = 5; // инициализировать val из литерала 5

int ret = 1; // код из тела функции fact

while (val > 1)

ret *= val--;

int j = ret; // инициализировать j копией ret

Аргументы — это инициализаторы для параметров функции. Первый аргумент инициализирует первый параметр, второй аргумент инициализирует второй параметр и т.д. Хотя порядок инициализации параметров аргументами известен, порядок обработки аргументов не гарантирован (см. раздел 4.1.3). Компилятор может вычислять аргументы в любом порядке по своему предпочтению.

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

Поскольку у функции fact()один параметр типа int, при каждом ее вызове следует предоставить один аргумент, который может быть преобразован в тип int(см. раздел 4.11):

fact("hello"); // ошибка: неправильный тип аргумента

fact(); // ошибка: слишком мало аргументов

fact(42, 10, 0); // ошибка: слишком много аргументов

fact(3.14); // ok: аргумент преобразуется в int

Первый вызов терпит неудачу потому, что невозможно преобразование значения типа const char*в значение типа int. Второй и третий вызовы передают неправильные количества аргументов. Функцию fact()следует вызывать с одним аргументом; ее вызов с любым другим количеством аргументов будет ошибкой. Последний вызов допустим, поскольку значение типа doubleпреобразуется в значение типа int. В этом случае аргумент неявно преобразуется в тип int(с усечением). После преобразования этот вызов эквивалентен следующему:

fact(3);

Список параметров функции может быть пустым, но он не может отсутствовать. При определении функции без параметров обычно используют пустой список параметров. Для совместимости с языком С можно также использовать ключевое слово void, чтобы указать на отсутствие параметров: