Hardlookup
Что такое two-phase lookup?
1Постановка
Разберём, что от вас хотят в этом вопросе и как к нему подступиться на собеседовании.
2Решение
Компиляция шаблона проходит в две фазы поиска имён. First phase (definition): non-dependent имена ищутся сразу. Second phase (instantiation): dependent имена ищутся при инстанциации через ADL.
template<class T>
void f(T& a, T& b) {
using std::swap; // делаем std::swap видимой
swap(a, b); // ADL: своя swap типа T выигрывает, иначе fallback на std
}- Если сделать
using namespace std;, возьмётсяstd::swap, а не ADL-версия T; - Поэтому идиома
using std::swap; swap(a, b);— сначала ADL, потом fallback; - Free function
foo(T)в шаблоне ищется через ADL в namespace типа T.
3Как отвечать
- Сначала уточните условия и ограничения, покажите аналитическое мышление.
- Рассуждайте вслух — интервьюеру важен ход мысли, а не только финальный ответ.
- Оцените сложность по времени и памяти (Big-O), если это алгоритмический вопрос.
💡
На реальном собеседовании Alffert подскажет развёрнутый ответ в реальном времени.