9.1.4. Перегрузка и область видимости A

#include <string> namespace IBM {

}

namespace Disney {

//отдельная область видимости:

//не перегружает функцию print() из пространства имен

IBM

extern void print( int );

}

Использование using-объявлений и using-директив помогает сделать члены пространства имен доступными в других областях видимости. Эти механизмы оказывают определенное влияние на объявления перегруженных функций. (Using-объявления и using-директивы рассматривались в разделе 8.6.)

Каким образом using-объявление сказывается на перегрузке функций? Напомним, что оно вводит псевдоним для члена пространства имен в ту область видимости, в которой

namespace libs_R_us { int max( int, int );

int max( double, double );

extern void print( int ); extern void print( double );

}

// using-объявления using libs_R_us::max;

using libs_R_us::print( double ); // ошибка

это объявление встречается. Что делают такие объявления в следующей программе? max( 35.5, 76.6 ); // вызывает libs_R_us::max( double, double )

Первое using-объявление вводит обе функции libs_R_us::max в глобальную область видимости. Теперь любую из функций max() можно вызвать внутри func(). По типам аргументов определяется, какую именно функцию вызывать. Второе using-объявление – это ошибка: в нем нельзя задавать список параметров. Функция libs_R_us::print() объявляется только так:

using libs_R_us::print;

Using-объявление всегда делает доступными все перегруженные функции с указанным именем. Такое ограничение гарантирует, что интерфейс пространства имен libs_R_us не будет нарушен. Ясно, что в случае вызова

print( 88 );

автор пространства имен ожидает, что будет вызвана функция libs_R_us::print(int). Если разрешить пользователю избирательно включать в область видимости лишь одну из

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

Что происходит, если using-объявление вводит в область видимости функцию с уже существующим именем? Эти функции выглядят так, как будто они объявлены прямо в том месте, где встречается using-объявление. Поэтому введенные функции участвуют в процессе разрешения имен всех перегруженных функций, присутствующих в данной

#include <string> namespace libs_R_us {

extern void print( int ); extern void print( double );

}

extern void print( const string & );

//libs_R_us::print( int ) и libs_R_us::print( double )

//перегружают print( const string & )

using libs_R_us::print;

void fooBar( int ival )

{

libs_R_us::print( int )

области видимости:

}

Using-объявление добавляет в глобальную область видимости два объявления: для print(int) и для print(double). Они являются псевдонимами в пространстве libs_R_us и включаются в множество перегруженных функций с именем print, где уже находится глобальная print(const string &). При разрешении перегрузки print в fooBar рассматриваются все три функции.

Если using-объявление вводит некоторую функцию в область видимости, в которой уже имеется функция с таким же именем и таким же списком параметров, это считается ошибкой. С помощью using-объявления нельзя задать псевдоним для функции print(int) в пространстве имен libs_R_us, если в глобальной области видимости уже

namespace libs_R_us { void print( int ); void print( double );

}

void print( int );

using libs_R_us::print; // ошибка: повторное объявление print(int)

void fooBar( int ival )

{

print( ival ); // какая print? ::print или libs_R_us::print

есть print(int). Например:

}

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

#include <string> namespace libs_R_us {

extern void print( int ); extern void print( double );

}

extern void print( const string & );

//using-директива

//print(int), print(double) и print(const string &) -

элементы // одного и того же множества перегруженных функций

using namespace libs_R_us;

void fooBar( int ival )

{

именем, то происходит перегрузка. Например:

}

Это верно и в том случае, когда есть несколько using-директив. Одноименные функции,

namespace IBM { int print( int );

}

namespace Disney { double

print( double );

являющиеся членами разных пространств, включаются в одно и то множество:

//using-директива

//формируется множество перегруженных функций из

различных // пространств имен using namespace IBM;

using namespace Disney;

long double print(long double);

Множество перегруженных функций с именем print в глобальной области видимости включает функции print(int), print(double) и print(long double). Все они