Что такое «Аргумент-зависимый поиск» (он же ADL или «Поиск Кенига»)?

Каковы хорошие объяснения того, что поиск зависит от аргумента? Многие люди также называют это Koenig Lookup.

Желательно, чтобы я знал:

Почему это хорошо?Почему это плохо?Как это работает?