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

Чтобы использовать такое имя, как j, следует применить оператор области видимости, позволяющий указать требуемое имя. Для указания переменной j, определенной в глобальной области видимости, нужно написать ::j, а для определенной в пространстве имен blip— blip::j.

Поскольку имена находятся в разных областях видимости, локальные объявления в пределах функции manip()могут скрыть некоторые из имен пространства имен. Локальная переменная kскрывает член пространства имен blip::k. Обращение к переменной kв пределах функции manip()вполне однозначно, это обращение к локальной переменной k.

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

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

Кроме того, не исключено, что при выходе новой версии библиотеки вполне работоспособная в прошлом программа перестанет компилироваться. Причиной этой проблемы может быть конфликт имен новой версии с именами, которые использовались прежде.

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

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

Директивы usingна самом деле полезны в файлах реализации самого пространства имен.

Упражнение 18.15. Объясните различия между объявлением и директивой using.

Упражнение 18.16. Объясните следующий код с учетом того, что объявления usingдля всех членов пространства имен Exerciseнаходятся в области, помеченной как позиция 1 . Что, если вместо этого они располагаются в позиции 2 ? Теперь ответьте на тот же вопрос, но замените объявления usingдирективой usingдля пространства имен Exercise.

namespace Exercise {

int ivar = 0;

double dvar = 0;

const int limit = 1000;

}

int ivar = 0;

// позиция 1

void manip() {

// позиция 2

double dvar = 3.1416;

int iobj = limit + 1;

++ivar;

++::ivar;

}

Упражнение 18.17. Напишите код для проверки ответов на предыдущий вопрос.

Поиск имен, используемых в пространстве имен, происходит согласно обычным правилам поиска в языке С++: сначала во внутренней, а затем во внешней области видимости. Имя, используемое в пространстве имен, может быть определено в одном из окружающих пространств имен, включая глобальное пространство имен. Однако учитываются только те имена, которые были объявлены перед точкой использования в блоках, которые все еще открыты.

namespace A {

int i;

namespace В {

int i; // скрывает A::i в В

int j;

int f1() {

int j; // j локальна для f1() и скрывает A::B::j

return i; // возвращает B::i

}

} // пространство имен В закрыто, и его имена больше не видимы

int f2() {

return j; // ошибка: j не определена

}

int j = i; // инициализируется значением A::i

}

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

namespace A {

int i;

int k;

class C1 {

public:

C1(): i(0), j(0) { } // ok: инициализирует C1::i и C1::j

int f1() { return k; } // возвращает A::k

int f2() { return h; } // ошибка: h не определена

int f3();

private:

int i; // скрывает A::i в C1

int j;

};

int h = i; // инициализируется значением A::i

}

// член f3() определен вне класса C1 и вне пространства имен A

int A::C1::f3() { return h; } // ok: возвращает A::h

За исключением определений функций-членов, расположенных в теле класса (см. раздел 7.4.1), области видимости всегда просматриваются снизу вверх: имя должно быть объявлено прежде его применения. Следовательно, оператор returnфункции f2()не будет откомпилирован. Он попытается обратиться к имени hиз пространства имен А, но там оно еще не определено. Если бы это имя hбыло определено в пространстве имен Апрежде определения класса C1, его использование было бы вполне допустимо. Аналогично использование имени hв функции f3()вполне допустимо, поскольку функция f3()определена уже после определения А::h.

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

Спецификаторы A::C1::f3()указывают обратный порядок, в котором просматриваются области видимости класса и пространств имен. Первая область видимости — это функция f3(). Далее следует область видимости ее класса C1. Область видимости пространства имен Апросматривается в последнюю очередь, перед переходом к области видимости, содержащей определение функции f3().