Чем ADL (argument-dependent lookup) полезен?

ADL (Koenig lookup) — при вызове функции с аргументами типа T, компилятор ищет функцию не только в текущем scope, но и в namespace типа T.

// operator<< найден через ADL в std, т.к. std::cout — из std
std::cout << "hello";   // без ADL пришлось бы std::operator<<(std::cout, "hello")

// Главное правило для generic-кода: swap без std::
template<class T>
void mySwap(T& a, T& b) {
    using std::swap;   // fallback
    swap(a, b);        // ADL найдёт специализированную версию для T
}

• std::swap, begin/end, мат. операторы работают через ADL;
• Для generic-кода вызывайте swap(a, b) без std:: (с using std::swap в scope);
• ADL может приводить к неожиданностям (функция из namespace аргумента «перекрывает» глобальную), поэтому осторожно с template arguments.