Резюме по строкам-параметрам.

Резюме по строкам-параметрам. Часть из приведенных функций для работы со строками, а именно функции: конкатенации строк conc( ), инвертирования строки invert( ), копирования одной строки в другую сору( ), выделения подстроки substr( ); предусматривают изменение объектов вызывающей программы. Это возможно и допустимо только потому, что параметрами являются указатели. Это либо имена массивов, либо указатели на строки. Как уже говорилось, параметры-указатели позволяют функции получить непосредственный доступ к объектам той программы, из которой функция вызвана. В приведенных определениях функций этот доступ осуществляется как с помощью индексированных переменных, так и с помощью разыменования указателей. На самом деле компилятор языка Си, встречая, например, такое обращение к элементу массива s[i], всегда заменяет его выражением *(s+i), т.е. указателем s со смещением i.

Такую замену, т.е. использование указателей со смещениями вместо индексированных переменных, можно явно использовать в определениях функций. Иногда это делает нагляднее связь между функцией и вызывающей ее программой.

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

Функция для сцепления (конкатенации) строк:

Вместо функции strlen( ) можно было бы использовать определенную выше функцию I en( ). При обращении к функции concat( ), а также при использовании похожей на нее библиотечной функции strcat( ) нужно, чтобы длина строки, использованной в качестве первого параметра, была достаточной для размещения результирующей (объединенной) строки. В противном случае результат выполнения непредсказуем.

5.4. Указатели на функции Указатели при вызове функций.

Указатели при вызове функций. До сих пор мы рассматривали функцию как минимальный исполняемый модуль программы, обмен данными с которым происходит через набор параметров функции и с помощью значений, возвращаемых функцией в точку вызова. Теперь перейдем к вопросу о том, почему в языке Си функция введена как один из производных типов. Необходимость в таком типе связана, например, с задачами, в которых функция (или ее адрес) должна выступать в качестве параметра другой функции или в качестве значения, возвращаемого другой функцией. Обратимся к уже рассмотренному ранее выражению "вызов функции" (точнее, к более общему варианту вызова):

обозначение_функции (список_фактических_параметров)

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

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

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

тип имя_функции (спецификация_параметров)

тело_функции

Прототип

тип имя_функции (спецификация_параметров);

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

Имя_функции в ее определении и в ее прототипе - указатель-константа. Он навсегда связан с определяемой функцией и не может быть "настроен" на что-либо иное, чем ее адрес. Для идентификатора имя_функции термин "указатель" обычно не используют, а говорят об имени функции.

Указатель на функцию как переменная вводится отдельно от определения и прототипа какой-либо функции. Для этих целей используется конструкция:

тип (* имя_указателя) (спецификация _параметров);

где тип - определяет тип возвращаемого функцией значения;

имя_указателя - идентификатор, произвольно выбранный программистом;

спецификация_параметров - определяет состав и типы параметров функции.

Например, запись

определяет указатель-переменную с именем point на функции без параметров, возвращающие значения типа int.

Важнейшим элементом в определении указателя на функции являются круглые скобки. Если записать

то это будет не определением указателя, а прототипом функции без параметров с именем funct, возвращающей значения типа int*.

В отличие от имени функции (например, funct) указатель point является переменной, т.е. ему можно присваивать значения других указателей, определяющих адреса функций программы. Принципиальное требование - тип указателя-переменной должен полностью соответствовать типу функции, адрес которой ему присваивается.

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

будет ошибочной, так как типы возвращаемых значений для point и funct различны.

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

Результат выполнения программы:

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

(*имя_указателя) (список_фактических_параметров)

имя_указателя (список_фактических_параметров)

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

Это полностью соответствует синтаксису языка. Операция '( )' - "круглые скобки" имеет более высокий приоритет, чем операция разыменования '*'. В этом ошибочном вызове вначале выполнится вызов point( ), а уж к результату будет применена операция разыменования.

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

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

тип (*имя_массива [размер] ) (спецификация_параметров);

где тип определяет тип возвращаемых функциями значений;

имя_массива - произвольный идентификатор;

размер - количество элементов в массиве;

спецификация_параметров - определяет состав и типы параметров функций.

Пример:

где parray - массив указателей на функции, каждому из которых можно присвоить адрес определенной выше функции int fic (char) и адрес любой функции с прототипом вида

int имя-функции (char);

Массив в соответствии с синтаксисом языка является производным типом наряду с указателями и функциями. Массив функций создать нельзя, однако, как мы показали, можно определить массив указателей на функции. Тем самым появляется возможность создавать "таблицы переходов" (jump tables), или "таблицы передачи управления". С помощью таблицы переходов удобно организовывать ветвления с возвратом по результатам анализа некоторых условий. Для этого все ветви обработки (например, N+1 штук) оформляются в виде однотипных функций (с одинаковым типом возвращаемого значения и одинаковой спецификацией параметров). Определяется массив указателей из N+1 элементов, каждому элементу которого присваивается адрес конкретной функции обработки. Затем формируются условия, на основе которых должна выбираться та или иная функция (ветвь) обработки. Вводится индекс, значение которого должно находиться в пределах от 0 до N включительно, где (N+1) - количество ветвей обработки. Каждому условию ставится в соответствие конкретное значение индекса. По конкретному значению индекса выполняются обращение к элементу массива указателей на функции и вызов соответствующей функции обработки:

имя_массива [индекс] (список_фактических_параметров);

(*имя массива [индекс]) (список_фактических_параметров);

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

Пример выполнения программы:

В программе для упрощения нет защиты от неверно введенных данных, т.е. возможен выход индекса за пределы, определенные для массива pact[ ] указателей на функции. При такой ситуации результат непредсказуем.