Hardadl
Что такое ADL (Argument-Dependent Lookup)?
1Постановка
Разберём, что от вас хотят в этом вопросе и как к нему подступиться на собеседовании.
2Решение
ADL (Koenig lookup) — поиск функции по namespace аргументов. std::cout << x компилируется, хотя operator<< — в std, без квалификации: компилятор ищет его в namespace аргументов.
namespace N {
struct X {};
void swap(X&, X&) { /* своя */ }
}
// Рекомендованный pattern для generic swap
template<typename T>
void do_swap(T& a, T& b) {
using std::swap; // fallback на std::swap
swap(a, b); // ADL найдёт N::swap для X
}ADL критичен для операторов и customization points (swap). Проблема: может находить неожиданные функции → ambiguous. Qualified call std::swap(a, b) отключает ADL для T.
3Как отвечать
- Сначала уточните условия и ограничения, покажите аналитическое мышление.
- Рассуждайте вслух — интервьюеру важен ход мысли, а не только финальный ответ.
- Оцените сложность по времени и памяти (Big-O), если это алгоритмический вопрос.
💡
На реальном собеседовании Alffert подскажет развёрнутый ответ в реальном времени.