Koenig Lookup або Argument Dependent Lookup описує, як некваліфіковані імена шукають компілятор у C ++.
Стандарт C ++ 11, пункт 3.4.2 / 1, визначає:
Коли постфікс-вираз у виклику функції (5.2.2) є некваліфікованим ідентифікатором, в інших просторах імен, які не розглядаються під час звичайного некваліфікованого пошуку (3.4.1), можна шукати, а в цих просторах імен - декларації функції дружньої функції простору імен ( 11.3) не можна побачити інакше. Ці модифікації пошуку залежать від типів аргументів (і для аргументів шаблону шаблону, простору імен аргументу шаблону).
Простіше кажучи, Ніколай Йосуттіс стверджує, що 1 :
Не потрібно кваліфікувати простір імен для функцій, якщо в просторі імен функції визначено один або більше типів аргументів.
Простий приклад коду:
namespace MyNamespace
{
class MyClass {};
void doSomething(MyClass);
}
MyNamespace::MyClass obj; // global object
int main()
{
doSomething(obj); // Works Fine - MyNamespace::doSomething() is called.
}
У наведеному вище прикладі немає ні usingдекларації, ні using-направлення, але все ж компілятор правильно ідентифікує некваліфіковане ім'я doSomething()як функцію, оголошену в просторі імен MyNamespace, застосовуючи пошук Koenig .
Як це працює?
Алгоритм вказує компілятору не просто дивитися на локальну область, але й простори імен, що містять тип аргументу. Таким чином, у наведеному вище коді компілятор виявляє, що об’єкт obj, який є аргументом функції doSomething(), належить до простору імен MyNamespace. Отже, він дивиться на той простір імен, щоб знайти декларацію doSomething().
У чому перевага пошуку Koenig?
Як показано на прикладі простого коду, пошук Koenig забезпечує програмісту зручність і простоту використання. Без пошуку Koenig не було б накладних витрат на програміста, щоб неодноразово вказувати повністю кваліфіковані імена або замість цього використовувати численні usingдекларації.
Чому критика пошуку Кеніга?
Надмірна залежність від пошуку Koenig може призвести до смислових проблем, а програміст іноді застає програватися.
Розглянемо приклад std::swap, який є стандартним алгоритмом бібліотеки для заміни двох значень. Під час пошуку Koenig потрібно бути обережним при використанні цього алгоритму, оскільки:
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)було б неоднозначно.
Дрібниці:
Чому його називають "пошуком Koenig"?
Тому що його розробили колишній науковий співробітник AT&T та Bell Labs Ендрю Кеніг .
Подальше читання:
1 Визначення пошуку Koenig є таким, як визначено в книзі Йозуттіса, Стандартна бібліотека C ++: Навчальний посібник та довідник .