Hardlookup
Что такое ADL (argument-dependent lookup)?
1Постановка
Разберём, что от вас хотят в этом вопросе и как к нему подступиться на собеседовании.
2Решение
ADL (Koenig lookup) — при вызове функции с аргументом типа T компилятор ищет её не только в текущем scope, но и в namespace типа T.
std::cout << x;
// operator<< находится в std, потому что std::cout имеет тип std::ostream
// Без ADL пришлось бы: std::operator<<(std::cout, x)
template<class T>
void f(T& a, T& b) {
using std::swap;
swap(a, b); // своя swap у T сработает через ADL, иначе std::swap
}- Критичен для generic-кода: перегрузки для пользовательских типов работают автоматически;
- Проблема: может подцепить неожиданную перегрузку в template-heavy коде;
- Скрыть функцию — положить в nested namespace или сделать её friend.
3Как отвечать
- Сначала уточните условия и ограничения, покажите аналитическое мышление.
- Рассуждайте вслух — интервьюеру важен ход мысли, а не только финальный ответ.
- Оцените сложность по времени и памяти (Big-O), если это алгоритмический вопрос.
💡
На реальном собеседовании Alffert подскажет развёрнутый ответ в реальном времени.