Краткий ответ

Аргумент-зависимый поиск имён (ADL, или поиск Кёнига) дополняет обычный поиск при вызове неквалифицированной функции. Компилятор анализирует типы аргументов и добавляет в поиск функции из связанных с ними пространств имён и классов.

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

Исторический контекст

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

ADL особенно важен для перегруженных операторов и обобщённых функций. Он позволяет библиотеке определить функцию рядом с типом, а шаблонному коду вызвать её единообразно для разных типов.

Постановка проблемы

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

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

Подробное решение

При неквалифицированном вызове функции компилятор сначала выполняет обычный поиск имён. Затем, если вызов имеет аргументы, применяет ADL и ищет дополнительные функции в связанных сущностях: прежде всего в пространствах имён типов аргументов, а для классов — также среди связанных классов и их базовых классов по правилам языка.

Например:

#include <iostream>

namespace data {
struct Value {};
void print(Value) { std::cout << "data
"; }
}

template<class T>
void show(T value) {
    print(value);
}

int main() {
    show(data::Value{});
}

В show обычный поиск не находит print в глобальной области, но ADL связывает тип data::Value с пространством имён data и добавляет data::print в набор кандидатов. Вызов корректен.

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

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

В шаблонах важно различать зависимый и независимый вызов. Если тип аргумента зависит от параметра шаблона, ADL может добавить функции в момент инстанцирования; поэтому библиотечный код часто намеренно оставляет вызов неквалифицированным.

Ситуация из практики

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

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

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

Что кандидаты часто упускают

Входит ли ADL в обычный поиск имён?

Нет. Это два дополняющих этапа. Обычный поиск анализирует лексические области видимости и доступные объявления, а ADL формирует дополнительные кандидаты на основе типов аргументов. Итоговое разрешение перегрузки обычно работает с объединённым набором кандидатов.

Сработает ли ADL при квалифицированном вызове функции?

Нет, явная квалификация указывает компилятору, где искать имя, и не запускает аргумент-зависимое добавление функций из пространств имён аргументов. Поэтому замена неквалифицированного вызова на вызов через конкретное пространство имён может изменить программу не только стилистически, но и семантически.

Почему добавление функции в пространство имён может сломать существующий вызов?

Новая функция может попасть в набор кандидатов через ADL и стать лучшим кандидатом либо создать неоднозначность с уже найденной перегрузкой. Это особенно заметно для широко используемых типов и универсальных шаблонов. Поэтому интерфейс пространства имён включает не только явно вызываемые имена: публичные функции могут влиять на чужие неквалифицированные вызовы через ADL.