Поиск имени

Поиск имени — это процедура, посредством которой имя, встреченное в программе, связывается с объявлением, которое его ввело.

Например, чтобы скомпилировать std::cout << std::endl;, компилятор выполняет:

• поиск неквалифицированного имени std, при котором находится объявление пространства имён std в заголовке <iostream>
• поиск квалифицированного имени cout, при котором находится объявление переменной в пространстве имён std
• поиск квалифицированного имени endl, при котором находится объявление шаблона функции в пространстве имён std
• как поиск, зависящий от аргументов, для имени operator<<, при котором находится несколько объявлений шаблонов функций в пространстве имён std, так и поиск квалифицированного имени std::ostream::operator<<, при котором находится несколько объявлений функций-членов в классе std::ostream.

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

Для всех остальных имён (переменных, пространств имён, классов и т. д.) поиск имени может связать несколько объявлений только в том случае, если они объявляют одну и ту же сущность; в противном случае для компиляции программы должно быть найдено одно объявление. Поиск имени в области видимости находит все объявления с этим именем, за одним исключением, известным как «хак со struct» или «скрытие типа нетипом»: в одной и той же области видимости некоторые вхождения имени могут ссылаться на объявление класса/структуры/объединения/перечисления, которое не является typedef, тогда как все остальные вхождения того же имени либо ссылаются на одну и ту же переменную, нестатический член данных или перечислитель, либо на имена функций или шаблонов функций, которые могут быть перегружены. В этом случае ошибки нет, но имя типа скрыто от поиска (для доступа к нему в коде необходимо использовать уточнённый спецификатор типа).

Виды поиска

Если имя находится непосредственно справа от оператора разрешения области видимости :: или, возможно, после ::, за которым следует ключевое слово для устранения неоднозначности template, см.

• Поиск квалифицированного имени

В противном случае см.

• Поиск неквалифицированного имени
• (который для имён функций включает поиск, зависящий от аргументов)

Отчёты об ошибках

Следующие отчёты об ошибках, изменяющие поведение, были применены ретроспективно к ранее опубликованным стандартам C++.

См. также

• Область видимости
• Поиск, зависящий от аргументов (ADL)
• Выведение аргументов шаблона
• Разрешение перегрузки