Argumentabhängige Suche und globaler Namespace ⇐ C++

[Anonymous]

Der folgende Codeausschnitt stammt aus dieser Präsentation. Zu sehen ist es um 31:00 Uhr. Ich konnte den Grund für die Unklarheit in dieser Situation nicht verstehen. Funktion 3 kann natürlich über ADL erreichbar sein, aber warum berücksichtigt ADL auch den globalen Namespace und findet Funktion 4?

Code: Select all

#include

void f(double) // 1
{
std::cout