Описания Функций Определения Функций Передача Параметров Возврат Значения Векторные Параметры Параметры по Умолчанию Перегрузка Имен Функций Незаданное Число Параметров Указатель на Функцию Обычный способ сделать что-либо в C++ программе - это вызвать функцию, которая это делает. Определение функции является способом задать то, как должно делаться некоторое действие. Функция не может быть вызвана, пока она не описана. Описания Функций Описание функции задает имя функции, тип возвращаемого функцией значения (если таковое есть) и число и типы параметров, которые должны быть в вызове функции. Например: extern double sqrt(double); extern elem* next_elem(); extern char* strcpy(char* to, const char* from); extern void exit(int); Семантика передачи параметров идентична семантике инициализации. Проверяются типы параметров, и когда нужно производится неявное преобразование типа. Например, если были заданы предыдущие определения, то double sr2 = sqrt(2); будет правильно обращаться к функции sqrt() со значением с плавающей точкой 2.0. Значение такой проверки типа и преобразования типа огромно. Описание функции может содержать имена параметров. Это может помочь читателю, но компилятор эти имена просто игнорирует. Определения Функций Каждая функция, вызываемая в программе, должна быть где-то определена (только один раз). Определение функции - это описание функции, в котором приводится тело функции. Например: extern void swap(int*, int*); // описание void swap(int*, int*) // определение { int t = *p; *p =*q; *q = t; } Чтобы избежать расходов на вызов функции, функцию можно описать как inline (см. этот пункт), а чтобы обеспечить более быстрый доступ к параметрам, их можно описать как register (см. этот раздел). Оба средства могут использоваться неправильно, и их следует избегать везде где есть какие-либо сомнения в их полезности. Передача Параметров Когда вызывается функция, дополнительно выделяется память под ее формальные параметры, и каждый формальный параметр инициализируется соответствующим ему фактическим параметром. Семантика передачи параметров идентична семантике инициализации. В частности, тип фактического параметра сопоставляется с типом формального параметра, и выполняются все стандартные и определенные пользователем преобразования типов. Есть особые правила для передачи векторов (см. этот пункт), средство передавать параметр без проверки (см. этот пункт) и средство для задания параметров по умолчанию (см. этот пункт). Рассмотрим void f(int val, int& ref) { val++; ref++; } Когда вызывается f(), val++ увеличивает локальную копию первого фактического параметра, тогда как ref++ увеличивает второй фактический параметр. Например: int i = 1; int j = 1; f(i,j); увеличивает j, но не i. Первый параметр, i, передается по значению, второй параметр, j, передается по ссылке. Как уже отмечалось в этом разделе, использование функций, которые изменяют переданные по ссылке параметры, могут сделать программу трудно читаемой, и их следует избегать (но см. этот пункт и этот пункт). Однако передача большого объекта по ссылке может быть гораздо эффективнее, чем передача его по значению. В этом случае параметр можно описать как const, чтобы указать, что ссылка применяется по соображениям эффективности, а также чтобы не позволить вызываемой функции изменять значение объекта: void f(const large& arg) { // значение "arg" не может быть изменено } Аналогично, описание параметра указателя как const сообщает читателю, что значение объекта, указываемого указателем, функцией не изменяется. Например: extern int strlen(const char*); // из extern char* strcpy(char* to, const char* from); extern int strcmp(const char*, const char*); Важность такой практики растет с размером программы. Заметьте, что семантика передачи параметров отлична от семантики присваивания. Это важно для const параметров, ссылочных параметров и параметров некоторых типов, определяемых пользователем (см. эту главу). Вперед  >>>  1  2  3  4  5   8  Комментарии к статье  8 8  Обсудить в чате

8  В тему Введение Компоновка Заголовочные Файлы Файлы как Модули Как Создать Библиотеку Макросы