Объявление функции (прототип)

Объявление функции (прототип)

Метод объявления функции, описанный в данном разделе, используется только в версии 4.0 СП MSC. В версии 5.0 СП MSC, а также в СП ТС реализован более современный метод — объявление прототипа функции, а старый метод поддерживается в этих версиях лишь для совместимости программ. В конце данного раздела приведены основные отличия метода объявления прототипа.

Синтаксис:

[<спецификация класса памяти>][<спецификация типа>] <описатель>([<список типов аргументов>]);

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

Если <описатель> функции представляет собой идентификатор (имя функции), то объявляется функция, тип возвращаемого значения которой задан спецификацией типа. Если же <описатель> представляет собой более сложную конструкцию (см. раздел 3.3.1), то оставшаяся часть описателя в совокупности со <спецификацией типа> задает тип возвращаемого значения. Функция не может возвращать массив или функцию, но может возвращать указатель на эти объекты.

Если спецификация типа в объявлении функции опущена, то предполагается тип int. На внешнем уровне может быть также опущена спецификация класса памяти, а на внутреннем уровне хотя бы одна из спецификаций — класса памяти или типа—должна присутствовать.

В объявлении функции можно задать спецификацию класса памяти extern или static. Классы памяти рассматриваются в разделе 3.6.

Список типов аргументов

Список типов аргументов определяет типы аргументов функции и их число.

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

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

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

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

Имя типа для базового, перечислимого типа, структуры или объединения представляет собой спецификацию этого типа (например, int). Имена типов для указателей и массивов формируются путем комбинации спецификации типа с "абстрактным описателем". Абстрактный описатель—это описатель, в котором опущен идентификатор. В разделе 3.8.3 "Имена типов" объясняется, каким образом формировать и интерпретировать абстрактные описатели.

Для того чтобы объявить функцию, не имеющую аргументов, рекомендуется записать ключевое слово void на месте списка типов аргументов. Компилятор языка Си выдает предупреждающее сообщение, если в вызове такой функции будут указаны аргументы (однако для этого вызов функции должен находиться в области действия данного объявления).

В списке типов аргументов в качестве имени типа допускается также конструкция void*, которая специфицирует аргумент типа "указатель на любой тип".

Список типов аргументов может быть пуст, однако скобки после идентификатора функции все же обязательны. В этом случае в объявлении функции не специфицированы ни типы, ни число аргументов функции. Следовательно, компилятор языка Си не может проверить соответствие типов аргументов при вызове функции. Несоответствие типов аргументов может привести к трудно выявляемым ошибкам во время выполнения программы. Более подробная информация о правилах соответствия типов аргументов приведена в разделе 6.4 "Вызов функции".

Примеры:

int add (int, int); /* пример 1 */

double calc(); /* пример 2 */

char *strfind (char *, …); /* пример 3 */

void draw(void); /* пример 4 */

double (*sum (double, double))[3]; /* пример 5 */

int (*select(void))(int); /* пример 6 */

char *p; /* пример 7 */

short *q;

int prt(void *);

fff(int); /* пример 8 */

В первом примере объявляется функция с именем add, которая принимает два аргумента типа int и возвращает значение типа int.

Во втором примере объявляется функция с именем calc, которая возвращает значение типа double. Список типов аргументов пуст.

В третьем примере объявляется функция с именем strfind, которая возвращает указатель на значение типа char. Функция требует по крайней мере один аргумент—указатель на значение типа char Список типов аргументов заканчивается запятой и многоточием. Это значит, что функция может принять и большее число аргументов.

В четвертом примере объявляется функция с типом возвращаемого значения void (ничего не возвращающая). Список типов аргументов также содержит ключевое слово void, означающее отсутствие аргументов функции.

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

В шестом примере функция с именем select объявлена как не имеющая аргументов и возвращающая указатель на функцию, требующую один аргумент типа int и возвращающую значение типа int.

В седьмом примере объявлена функция prt, которая принимает в качестве аргумента указатель на любой тип и возвращает значение типа int. Любой из указателей р и q мог бы быть вполне корректно использован в качестве аргумента функции.

В восьмом примере объявлена функция fff, принимающая один аргумент типа int и возвращающая (по умолчанию) значение типа int. Очевидно, что эта функция объявлена на внешнем уровне, поскольку в ее объявлении отсутствует и спецификация класса памяти, и спецификация типа.

Далее рассмотрим отличия метода объявления прототипов функций. В списке типов аргументов прототип может содержать также и идентификаторы этих аргументов. Они необязательны, их область действия ограничивается только прототипом, в котором они определены. Следовательно, необязательно именовать их так же, как формальные параметры в определении функции. Основное назначение использования идентификаторов аргументов в прототипе — повышение читабельности программы. Например, стандартная функция копирования строк strcpy имеет два аргумента: исходную строку и результирующую строку. Чтобы не перепутать их, можно объявить прототип функции

char *strcpy (char *result, char *ishod);

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

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

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

Поделитесь на страничке

Следующая глава >

Похожие главы из других книг

Объявление типов

Из книги Основы объектно-ориентированного программирования автора Мейер Бертран


Объявление ссылок

Из книги VBA для чайников автора Каммингс Стив

Объявление ссылок Класс BOOK1 содержал атрибуты только базовых типов, его вариант BOOK3, содержит атрибут, представляющий ссылку на автора. class BOOK3 featuretitle: STRINGdate, page_count: INTEGERauthor: WRITER -- Новый атрибут.endОбъявленный тип дополнительного атрибута author это просто имя соответствующего


Повторное объявление функции как атрибута

Из книги Язык программирования Си для персонального компьютера автора Бочков C. О.

Повторное объявление функции как атрибута Повторные объявления позволяют активно применять один из центральных принципов модульности - принцип Унифицированного Доступа (Uniform Access).Напомним (см. лекцию 3), что этот принцип утверждает (первоначально в менее технических


У14.6 Отложенные классы и прототип

Из книги Цифровой журнал «Компьютерра» № 175 автора Журнал «Компьютерра»

У14.6 Отложенные классы и прототип Отложенные классы нельзя инициализировать. С другой стороны, были приведены аргументы в пользу того, чтобы в первой версии класса в проекте все компоненты оставались отложенными. Может появиться желание "выполнить" такой проект: при


Повторное объявление функции как атрибута

Из книги Цифровой журнал «Компьютерра» № 192 автора Журнал «Компьютерра»

Повторное объявление функции как атрибута Правило Утверждения Переобъявления нуждается в небольшом дополнении ввиду возможности при повторном объявлении задать функцию как атрибут. Что произойдет с предусловием функции и ее постусловием, если таковые имелись?Атрибут


Объявление массива

Из книги Цифровой журнал «Компьютерра» № 202 автора Журнал «Компьютерра»

Объявление массива Синтаксис:[<спецификация типа]> <описатель> [<константное выражение>];[<спецификация типа]> <описатель> [];Квадратные скобки, следующие за описателем, являются элементом языка Си, а не признаком необязательности синтаксической


Объявление функции

Из книги Цифровой журнал «Компьютерра» № 216 автора Журнал «Компьютерра»

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


Олег Мельников, новый CTO Runa Capital: 90 процентов стартапов умирает, несмотря на хорошую идею или прототип Елена Краузова

Из книги C++ для начинающих автора Липпман Стенли

Олег Мельников, новый CTO Runa Capital: 90 процентов стартапов умирает, несмотря на хорошую идею или прототип Елена Краузова Опубликовано 28 мая 2013 На прошлой неделе стало известно, что сооснователь и старший вице-президент по автоматизации Parallels Олег


В США создан прототип полупрозрачного эластичного дисплея Андрей Васильков

Из книги автора

В США создан прототип полупрозрачного эластичного дисплея Андрей Васильков Опубликовано 24 сентября 2013 Пока Samsung продолжает дразнить очередной демонстрацией Youm, а Plastic Logic делает ставку на размер гибких экранов, исследователи из университета


AppSeed позволит превратить эскиз в работающий прототип разрабатываемого приложения Михаил Карпов

Из книги автора

AppSeed позволит превратить эскиз в работающий прототип разрабатываемого приложения Михаил Карпов Опубликовано 09 октября 2013 Одно дело — нарисовать интерфейс приложения на листе бумаги или в приложении на планшете, другое — создать его


Сотрудник Valve представил прототип самого необычного контроллера Андрей Васильков

Из книги автора

Сотрудник Valve представил прототип самого необычного контроллера Андрей Васильков Опубликовано 06 декабря 2013 Инженер компании Valve Бен Краснов (Ben Krasnow) продемонстрировал концепт нового игрового контроллера, который можно назвать самым


Прототип стиральной машины со встроенным Wi-Fi Николай Маслухин

Из книги автора

Прототип стиральной машины со встроенным Wi-Fi Николай Маслухин Опубликовано 11 марта 2014 Компания Berg представила свой проект Cloudwash — прототип стиральной машины с выходом в интернет. Интересными особенностями концепта является принципиально новый


7.2. Прототип функции

Из книги автора

7.2. Прототип функции Прототип функции описывает ее интерфейс и состоит из типа возвращаемого функцией значения, имени и списка параметров. В данном разделе мы детально рассмотрим эти характеристики. 7.2.1. Тип возвращаемого функцией значения Тип возвращаемого функцией