7.6Понятие сигнатуры функции

В С++ с объявлением функции связывается так называемая сигнатура функции, определяемая типом возвращаемого значения и типами параметров. Это позволяет назначать функциям, имеющим аналогичное назначение, но использующим параметры разных типов, одинаковые имена. Например, наряду с приведенной выше функцией sred для вещественных аргументов, в той же программе может присутствовать функция

double sred ( int x, int y, int z = 0)

{ int s;

s = x + y + z;

return s / 3;

}

7.7Подставляемые (встраиваемые) функции

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

inline int max ( int x1, int x2)

{ return x1 > x2 ? x1 : x2 }

7.8Передача параметров в главную функцию

В системах программирования Turbo C++ и Borland C++ главная функция (функция main) может принимать три параметра, что позволяет вызывать Си-программы из командной строки DOS с передачей в программу необходимых аргументов. Стандартный прототип функции main имеет вид:

int main ( int argc, char *argv[ ], char *envp[ ] )

В конкретной программе можно объявлять функцию main без возвращаемого значения (возвращающую тип void ), с использованием только двух первых параметров или вообще без параметров. Параметры argc и argv служат для передачи в программу аргументов в виде массива строк, argc содержит число элементов этого массива, а argv - это массив указателей на элементы массива, причем первый элемент массива, на который указывает argv[0], содержит имя программы (имя exe-файла программы), остальные элементы представляют собой аргументы из командной строки DOS. Параметр envp используется для доступа к элементам текущей среды DOS.

7.9Рекурсивные вызовы функции

Рекурсией называют способ организации подпрограммы, при котором она прямо или косвенно вызывает сама себя. Соответственно различают прямую и косвенную рекурсию.

При прямой рекурсии подпрограмма вызывает себя из своего раздела операторов. Схематично это можно представить на рисунке 7.1.

При косвенной рекурсии подпрограмма вызывает подпрограмму, которая прямо или косвенно вызывает первую. Схематично это можно представить на рисунке 7.2.

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

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

Классический пример рекурсии - это математическое определение факториала n! :

n! = 1 при n=0;

n*(n-1)! при n>1 .

Функция, вычисляющая факториал, будет иметь следующий вид:

long fakt(int n)

{

return ( (n==1) ? 1 : n*fakt(n-1) );

}

Хотя компилятор языка СИ не ограничивает число рекурсивных вызовов функций, это число ограничивается ресурсом памяти компьютера и при слишком большом числе рекурсивных вызовов может произойти переполнение стека.