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

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

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

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

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

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

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

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

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

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

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

Обычный поиск имён для такого вызова выполняется в месте определения шаблона. Найденные там функции остаются кандидатами; объявления, появившиеся позже, обычный поиск не добавляет.

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

#include <iostream>

namespace app {
struct Packet {};
void serialize(Packet) { std::cout << "app
"; }
}

template<class T>
void send(T value) {
    serialize(value);
}

int main() {
    send(app::Packet{});
}

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

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

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

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

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

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

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

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

Почему перегрузка, объявленная после определения шаблона, не обязательно участвует в вызове?

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

Что изменится, если зависимый вызов сделать квалифицированным?

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

Почему ошибка в зависимом вызове иногда появляется только при использовании шаблона?

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