Типичное приложение, использующее перегрузку функций, может выглядеть следующим образом:
int intVariable1 , intVariable2 ;
double doubleVariable ;
/* Функции различаются по типу передаваемых аргументов */
someFunction( ) ; /* Вызов someFunction( void ) */
someFunction( intVariable1 ) ; /* Вызов someFunction( int ) */
someFunction( doubleVariable ) ; /* Вызов someFunction( double ) */
someFunction( intVariable1 , intVariable2 ) ; /* Вызов someFunction( int , int ) */
/* С константами функции работают аналогично */
someFunction( 1 ) ; /* Вызов someFunction( int )*/
someFunction( 1.0 ) ; /* Вызов someFunction( double ) */
someFunction( 1 , 2 ) ; /* Вызов someFunction( int , int ) */
_________________
88 стр. Часть 2. Становимся функциональными программистами
В каждом случае типы аргументов соответствуют тем, которые значатся в полном имени каждой функции.
«Тип возвращаемого значения в полное имя функции ( называемое также её сигнатурой ) не входит. Следующие две функции имеют одинаковые имена ( сигнатуры ) и поэтому не могут использоваться в одной программе:
int someFunction( int n ) ;
/* Полным именем этой функции является someFunction( int ) */
double someFunction( int n ) ; /* Имеет то же полное имя */
»
[Атас!]
«В выражениях с перегруженными функциями могут использоваться переменные разных типов, поскольку при определении полного имени играют роль только аргументы. Следующий код вполне допустим:
int someFunction( int n ) ;
double d = someFunction( 10 ) ;
/* Преобразуем тип полученного значения */
»
[Помни!]
В этом фрагменте возвращаемые функцией значения типа int преобразуются в double. Но следующий код некорректен:
int someFunction( int n ) ;
double someFunction( int n ) ;
double d = someFunction( 10 ) ;
/* В этом случае мы преобразуем тип полученного целочисленного значения или используем вторую функцию? */
В этом случае С++ не поймёт, какое значение он должен использовать — возвращаемое double-функцией или её целочисленным вариантом. Поэтому такие функции в одной программе использоваться не могут.
►Определение прототипов функций...89
Как уже отмечалось, любой фрагмент кода программист может оформить как функцию, присвоив ей полное имя, таким образом объявляя её для дальнейшего использования.
Функции sumSequence( ) и square( ), с которыми вы встречались в этой главе, были определены до того, как вызывались. Но это не означает, что нужно всегда придерживаться именно такого порядка. Функция может быть определена в любой части модуля ( модуль — это другое название исходного файла С++ ).
Однако должен использоваться какой-то механизм, уведомляющий функцию main( ) о функциях, которые она может вызывать. Рассмотрим следующий код:
int main( int argc , char* pArgs[ ] )
{
someFunc( 1 , 2 ) ;
}
int someFunc( double arg1 , int arg2 )
{
/* ...выполнение каких-то действий */
}
_________________
89 стр. Глава 6. Создание функций
При вызове функции someFunc( ) внутри main( ) полное её имя неизвестно. Можно предположить, что именем функции является someFunc( int , int ) и возвращаемое ею значение имеет тип void. Однако, как видите, это вовсе не так.
Согласен, компилятор С++ мог бы быть не таким ленивым и просмотреть весь модуль для определения сигнатуры функции. Но он этого не сделает, и с этим приходится считаться[ 12 ]. Таков мир: любишь кататься — люби и саночки возить.
Поэтому нам нужно проинформировать main( ) о полном имени вызываемой функции до обращения к ней. Для этого используют прототипы функций.