54 Функции. Типы передачи параметров функции (по значению, по адресу, по ссылке).

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

55 Функции. Переменные в качестве параметров функций.

Внутри функции могут быть объявлены переменные, как, например, переменные p и i в функции power. Такие переменные называются локальными и они определены только внутри этой функции. Переменные, определенные вне тела любой функции (ранее мы такие переменные вообще не рассматривали) называются глобальными и они определены всюду начиная с места определения и до конца файла. Переменные, в которых сохраняются параметры, передаваемые функции, также являются локальными для этой функции. Эти переменные создаются при вызове функции и в них копируются значения, передаваемые функции в качестве параметров. Эти переменные можно изменять, но все изменения этих переменных будут "забыты" после выхода из функции.

56 Функции. Массивы в качестве параметров функций.

Массив — упорядоченный набор данных, для хранения данных одного типа, идентифицируемых с помощью одного или нескольких индексов. В простейшем случае массив имеет постоянную длину и хранит единицы данных одного и того же типа. Если в качестве параметра функции указан массив, то передается указатель на его первый элемент. Это означает, что фактический параметр типа T[] преобразуется к типу T*, и затем передается. Поэтому присваивание элементу формального параметра-массива изменяет  этот элемент. Иными словами, массивы отличаются от других типов тем, что они не передаются и не могут передаваться по значению.

57 Указатели на функции.

В языке Си идентификатор функции является константным указателем на начало функции в оперативной памяти и не может быть значением переменной. Но имеется возможность декларировать указатели на функ-

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

Рассмотрим методику работы с указателями на функции.

1. Как и любой объект языка Си, указатель на функции необходимо декларировать. Формат объявления указателя на функции следующий: тип (*переменная-указатель) (список параметров); т.е. декларируется указатель, который можно устанавливать на функции, возвращающие результат указанного типа и имеют указанный список параметров. Наличие первых круглых скобок обязательно, так как без них – это декларация функции, которая возвращает указатель на результат своей работы указанного типа и имеет указанный список параметров. Например, объявление вида float (* p_f) (char, float); говорит о том,

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

2. Идентификатор функции является константным указателем, поэтому для того чтобы установить переменную-указатель на конкретную функцию, достаточно ей присвоить идентификатор этой функции:

переменная-указатель = ID_функции; Например, имеется функция с прототипом float f1(char, float); тогда

операция p_f = f1; установит указатель p_f на данную функцию.

3. Вызов функции после установки на нее указателя выглядит так: (*переменная-указатель) (список аргументов);или переменная-указатель (список аргументов); После таких действий кроме стандартного обращения к функции ID_функции(список аргументов); появляется еще два способа вызова функции:

(*переменная-указатель)(список аргументов); или переменная-указатель (список аргументов);

Последнее справедливо, так как p_f также является адресом начала функции в оперативной памяти.

Для нашего примера к функции f1 можно обратиться следующими способами:

f1(‘z’, 1.5); // Обращение к функции по ID

(* p_f)(‘z’, 1.5); // Обращение к функции по указателю

p_f(‘z’, 1.5); // Обращение к функции по ID указателя

4. Пусть имеется вторая функция с прототипом: float f2(char, float); тогда, переустановив указатель p_f на эту функцию: p_f = f2; имеем опять три способа ее вызова:

f2(‘z’, 1.5); // по ID функции

(* p_f)(‘z’, 1.5); // по указателю на функцию

p_f(‘z’, 1.5); // по ID указателя на функцию

Основное назначение указателей на функции – это обеспечение возможности передачи идентификаторов функций в качестве параметров в функцию, которая реализует некоторый вычислительный процесс, исполь-

зуя формальное имя вызываемой функции.