Тема 9. Функции

на С состоит из одной или нескольких функций, имена которых

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

Другие файлы (.h)

Другие файлы (.h)

Функции

Статические данные

width);
Тип функции
Имя функции
Список параметров
Тип параметра
Имя параметра
void func(int a, int b);
Функция

не возвращает значения

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

val);
Текст программы prog.cpp
#include ... int a = abs(b); ... int c =

a+abs(d);

Текст программы lib.cpp

int abs(int val) { if(val < 0) val = -val; return(val); }

могут быть заданы классы памяти extern (по умолчанию) или static.

Если класс не задан (или задан extern), то функция может вызываться любым модулем программы. Если задан класс static, то функция может вызываться только в том модуле, в котором она определена.

Пример программы

extern int f1(); int f2(); static int f3();

результат своих действий. Оператор return реализует механизм возврата результата от

вызываемой к вызывающей функции. За ключевым словом return может следовать выражение, соответствующее типу функции: return (выражение); Функции, не возвращающие никакого значения, имеют тип void.

Пример программы 1

int min(int a, int b) { if(a <= b) return(a); else return(b); }

Пример программы 2

void swap(int &a, int &b) { int c = a; a = b; b = c; }

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

локальными переменными, областью видимости которых является тело функции. Существует два способа передачи параметров функции: по значению (call by value) и по ссылке (call by reference).

Пример программы 1

int min(int a, int b) { if(a <= b) return(a); else return(b); }

Пример программы 2

void swap(int &a, int &b) { int c = a; a = b; b = c; }

данном способе вызова передаваемые в функцию переменные копируются в локальные

переменные функции (находящиеся в стеке). Вызываемая функция не может воздействовать на передаваемые в качестве параметров переменные.

Пример программы

int add(int x) { x += 1; } int a = 5; add(a);

В.
При данном способе вызова в функцию передаются не копии переменных,

а их адреса. Вызываемая функция может изменять значения передаваемых ей переменных. Для передачи адреса используется оператор &.

Пример программы

int add(int &x) { x += 1; } int a = 5; add(a);

заголовка
int func(int a, int b = 3, int c =

5);

Значение параметра по умолчанию

Текст программы

int func(int a, int b, int c) { return(a+b+c); } int x = func(7, 5, 2); int x = func(7, 5); int x = func(7); int x = func();

Ошибка!

программы
int sprintf(char *buffer, const char *format, ...); { va_list args;

va_start(args, format); while(int* par = va_arg(args, int*)) { ... } va_end(args); }

Последний фиксированный параметр

Получение следующего параметра

N) { return(N == 1 ? 1 : N*factorial(N-1)); } ... ShowMessage(factorial(170));

int a = 5; int b =

4; int c = square(a, b); ...

Стек

0х00000005 0х00000004 0х00402768 0х0001238С

Параметры, точка возврата, сохраняемые регистры

При вызове фунции в стеке резервируется некоторый объем памяти, в которов размещаются копии фактических аргументов, запоминаются точки возврата и значения регистров процессора. Размещение этих данных в памяти требует затрат времени, которые и называют затратами на вызов функции (function overhead).

b)((a)*(b)) ... int x1 = 5; int y1

= 4; int z1 = SQUARE(x1, y1); ... float x2 = 5.5; float y2 = 2.0; float z2 = SQUARE(x2, y2); ...

int square(int a, int b); ... int square(int a, int b) { return(a*b); } int x1 = 5; int x2 = 4; int x3 = square(x1, y1); ... float x2 = 5.5; float y2 = 2.0; float z2 = square(x2, y2); ...

затраты памяти
Функции
Дополнительные затраты времени
Экономия памяти
Нет контроля типов параметров
Контроль типов параметров
inline

- функции, шаблоны