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

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

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

Рассмотрим самый простой случай. Предположим, что в глобальной области видимости определено пространство имен Аи функция f(). Если функция f()имеет директиву usingдля пространства имен А, функция f()будет вести себя так, как будто имена пространства имен Априсутствовали в глобальной области видимости до определения функции f().

// пространство имен А и функция f() определены в глобальной области

// видимости

namespace А {

int i, j;

}

void f() {

using namespace A; // переводит имена из области видимости А в

// глобальную область видимости

cout << i * j << endl; // использует i и j из пространства имен A

// ...

}

Рассмотрим следующий пример:

namespace blip {

int i = 16, j = 15, k = 23; // другие объявления

}

int j = 0; // ok: j в пространстве имен blip скрыта

void manip() {

// директива using; имена пространства имен blip "добавляются" к

// глобальной области видимости

using namespace blip; // конфликт между ::j и blip::j

// обнаруживается только при использовании j

++i; // присваивает blip::i значение 17

++j; // ошибка неоднозначности: global j или blip::j?

++::j; // ok: присваивает глобальной j значение 1

++blip::j; // ok: присваивает blip::j значение 16

int k = 97; // локальная k скрывает blip::k

++k; // присваивает локальной k значение 98

}

Директива usingв функции manip()делает все имена пространства имен blipдоступными непосредственно. То есть функция manip()может обращаться к этим членам, используя краткую форму имен.

Члены пространства имен blipвыглядят так, как будто они были определены в одной области видимости. Если пространство имен blipопределено в глобальной области видимости, его члены будут выглядеть так, как будто они объявлены в глобальной области видимости.

Когда пространство имен вводится в окружающую область видимости, имена в пространстве имен вполне могут вступить в конфликт с другими именами, определенными (включенными) в той же области видимости. Например, в функции manip()член jпространства имен blipвступает в конфликт с глобальным объектом j. Такие конфликты разрешимы, но для использования имени следует явно указать, какая версия имеется в виду. Любое использование имени jв пределах функции manip()ведет к неоднозначности.

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

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

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