►Перегрузка функций...88

С++ позволяет программистам называть несколько разных функций одним и тем же именем. Эта возможность называется перегрузкой функций ( function overloading ).

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

Однако используемое компилятором внутреннее имя функции включает число и типы аргументов ( но не возвращаемое значение ), и поэтому следующие функции являются разными:

      void someFunction( void ) 

      {

           /* ...Выполнение некоторой функции */

      }

      void someFunction( int n )

      {

           /* ...Выполнение другой функции */

      }

      void someFunction( double d )

      {

           /* ...Выполнение ещё одной функции */

      }

      void someFunction( int n1 , int n2 )

      {

           /* ...Выполнение ещё одной функции, отличной от предыдущих */

      }

Компилятор С++ знает, что функции someFunction( void ), someFunction( int ), someFunction( double ), someFunction( int , int ) не одинаковы. В мире компьютеров встречается довольно много таких вещей, для которых можно найти аналогии в реальном мире. Существуют они и для перегрузки функций.

Вы знаете, что тип аргумента void указывать не обязательно. Например, SumFunction( void ) и SumFunction( ) вызывают одну и ту же функцию. Фактически функция может иметь сокращённое название, в нашем случае someFunction( ), так же как и меня можно называть просто Стефаном. Если бы Стефанов больше нигде не было, меня всегда могли бы называть только по имени. Но в действительности нас побольше, и если кому-то посчастливится попасть в общество нескольких Стефанов, то к ним придётся обращаться по имени и фамилии ( кстати, напомню, что меня зовут Стефан Дэвис ). Пользуясь полным именем, никто не ошибётся, даже если Стефанов будет несколько. Поэтому, пока полные имена функций в программе уникальны, конфликты между ними невозможны.

Подобные аналогии между компьютерным и реальным миром не должны вас удивлять, так как компьютерный мир создан людьми.

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

      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-функцией или её целочисленным вариантом. Поэтому такие функции в одной программе использоваться не могут.