Стенли Липпман - Язык программирования C++. Пятое издание

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

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

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

namespace libs_R_us {

extern void print(int);

extern void print(double);

}

// обычное объявление

void print(const std::string &);

// директива using добавила имена в набор функций-кандидатов для вызова

// функции print():

using namespace libs_R_us;

// кандидатами на вызов print() в настоящий момент являются:

// print(int) from libs_R_us

// print(double) from libs_R_us

// print(const std::string &) declared explicitly

void fooBar(int ival) {

print("Value: "); // вызов глобальной print(const string &)

print(ival); // вызов libs_R_us::print(int)

}

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

Если в коде присутствует несколько директив using, частью набора функций-кандидатов станут соответствующие функции из каждого пространства имен.

namespace AW {

int print(int);

}

namespace Primer {

double print(double);

}

// директивы using создают набор перегруженных функций из разных

// пространств имен

using namespace AW;

using namespace Primer;

long double print(long double);

int main() {

print(1); // вызов AW::print(int)

print(3.1); // вызов Primer::print(double)

return 0;

}

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

Упражнение 18.20. С учетом следующего кода укажите, какие из функций (если они есть) соответствуют обращению к функции compute(). Перечислите функции-кандидаты и подходящие функции. Какая последовательность преобразований типов (если есть) будет применена к аргументу, чтобы он точно соответствовал параметру каждой подходящей функции?

namespace primerLib {

void compute();

void compute(const void *);

}

using primerLib::compute;

void compute(int);

void compute(double, double = 3.4);

void compute(char*, char* = 0);

void f() {

compute(0);

}

Что произойдет в случае, если объявления usingбудут расположены в функции main()перед обращением к функции compute()? Ответьте на те же вопросы, что и в предыдущем упражнении.

Множественное наследование (multiple inheritance) — это способность получить класс как производный непосредственно от нескольких базовых классов (см. раздел 15.2.2). Полученный в результате класс наследует свойства всех своих базовых классов. Несмотря на простоту концепции, одновременное использование нескольких базовых классов может создать достаточно много сложностей как на этапе проектирования, так и на этапе реализации.

Для исследования множественного наследования используем пример иерархии из животного мира. Животные расположены на разных уровнях абстракции. Есть индивидуальные животные, различающееся по именам, такие как Ling-ling(Линг-линг), Mowgli(Маугли) и Balou(Балу). Каждое животное можно отнести к определенному виду; Линг-линг, например, это гигантская панда. Виды в свою очередь относятся к определенным семействам. Гигантская панда принадлежит к семейству медведей, а каждое семейство является членом сообщества животного мира.