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

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

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

Зависимый от аргумента поиск и параметры типа класса

Рассмотрим простую программу:

std::string s;

std::cin >> s;

Как известно, этот вызов эквивалентен следующему (см. раздел 14.1):

operator>>(std::cin, s);

Функция operator>>определена библиотекой string, которая в свою очередь определяется в пространстве имен std. Но все же оператор >>можно вызвать без спецификатора std::и без объявления using.

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

В этом примере, когда компилятор встречает "вызов" оператора operator>>, он ищет соответствующую функцию в текущей области видимости, включая области видимости, окружающие оператор вывода. Кроме того, поскольку выражение вывода имеет параметры типа класса, компилятор ищет также в пространствах имен, в которых определяются типы cinи s. Таким образом, для этого вызова компилятор просмотрит пространство имен std, определяющее типы istreamи string. При поиске в пространстве имен stdкомпилятор находит функцию вывода класса string.

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

using std::operator>>; // чтобы позволить cin >> s

Либо пришлось бы использовать форму записи вызова функции, включающую спецификатор пространства имен:

std::operator>>(std::cin, s); // ok: явное использование std::>>

He было бы никакого способа использовать синтаксис оператора. Любое из этих объявлений выглядит неуклюже и существенно затруднило бы использование библиотеки ввода-вывода.

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

Теперь рассмотрите библиотечные функции move()и forward(). Обе являются шаблонами функций, и библиотека определяет их версии с одним параметром функции в виде ссылки на r-значение. Как уже упоминалось, параметру ссылки на r-значение в шаблоне функции может соответствовать любой тип (см. раздел 16.2.6). Если приложение определяет функцию по имени move(), получающую один параметр, то (вне зависимости от типа параметра) версия функции move()из приложения вступит в конфликт с библиотечной версией. Это справедливо и для функции forward().

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

Тот факт, что конфликты имен с этими функциями более вероятны (и менее вероятно, что намеренными), объясняет, почему их имена всегда следует использовать полностью квалифицированными (см. раздел 12.1.5). Форма записи std::move(), а не просто move()гарантирует применение версии из стандартной библиотеки.