Koenig Lookup или Argument Dependent Lookup описывает, как неквалифицированные имена ищутся компилятором в C ++.
Стандарт C ++ 11 § 3.4.2 / 1 гласит:
Когда postfix-выражение в вызове функции (5.2.2) является безусловным идентификатором, могут быть найдены другие пространства имен, не учитываемые во время обычного неквалифицированного поиска (3.4.1), и в этих пространствах имен объявления функций друзей области видимости области пространства ( 11.3) может быть найдено не видимое иное. Эти модификации поиска зависят от типов аргументов (и для аргументов шаблона шаблона - пространства имен аргумента шаблона).
В более простых сроках Николай Josuttis заявляет 1 :
Вам не нужно указывать пространство имен для функций, если в пространстве имен функции определен один или несколько типов аргументов.
Простой пример кода:
namespace MyNamespace
{
class MyClass {};
void doSomething(MyClass);
}
MyNamespace::MyClass obj; // global object
int main()
{
doSomething(obj); // Works Fine - MyNamespace::doSomething() is called.
}
В приведенном выше примере нет ни using-declaration, ни using-directive, но все же компилятор правильно идентифицирует неквалифицированное имя doSomething()как функцию, объявленную в пространстве имен MyNamespace, применяя поиск Кенига .
Как это работает?
Алгоритм говорит компилятору не только смотреть на локальную область видимости, но также на пространства имен, которые содержат тип аргумента. Таким образом, в приведенном выше коде компилятор обнаруживает, что объект obj, являющийся аргументом функции doSomething(), принадлежит пространству имен MyNamespace. Таким образом, он смотрит на это пространство имен, чтобы найти объявление doSomething().
В чем преимущество поиска Кенига?
Как показывает приведенный выше пример простого кода, поиск по Кенигу обеспечивает удобство и простоту использования для программиста. Без поиска Кенига программисту потребовалось бы много времени, чтобы многократно указывать полностью определенные имена или вместо этого использовать многочисленные using-декларации.
Почему критика поиска Кенига?
Чрезмерная зависимость от поиска Кенига может привести к семантическим проблемам и иногда застать программиста врасплох.
Рассмотрим пример std::swap, представляющий собой стандартный алгоритм библиотеки для обмена двумя значениями. С поиском Кенига нужно было бы быть осторожным при использовании этого алгоритма, потому что:
std::swap(obj1,obj2);
может не показывать такое же поведение как:
using std::swap;
swap(obj1, obj2);
В случае ADL, какая версия swapфункции будет вызываться, будет зависеть от пространства имен передаваемых ей аргументов.
Если существует пространство имен , Aи если A::obj1, A::obj2и A::swap()существует , то второй пример приведет к вызову A::swap(), который не может быть то , что хочет пользователь.
Кроме того, если по какой-либо причине оба A::swap(A::MyClass&, A::MyClass&)и std::swap(A::MyClass&, A::MyClass&)определены, то первый пример будет вызываться, std::swap(A::MyClass&, A::MyClass&)а второй не будет компилироваться, поскольку swap(obj1, obj2)будет неоднозначным.
Общая информация:
Почему это называется «поиск Кенига»?
Потому что он был разработан бывшим исследователем и программистом AT & T и Bell Labs Эндрю Кенигом .
Дальнейшее чтение:
1 Определение поиска Кенига определено в книге Джозуттиса « Стандартная библиотека C ++: учебное пособие и справочник» .