为什么 ADL 不适用于在命名空间之外定义的函数？

Question

我知道下面示例中的编译器将执行函数 First::fun()，因为 Argument-Dependent name Lookup (ADL)/Koenig lookup 并且为了执行 Second::fun() 这需要在 @ 中显式调用987654324@函数。

#include <iostream>
using namespace std;

namespace First
{
    enum Enum
    {
        FIRST
    };

    void fun(First::Enum symbol)
    {
        cout << "First fun\n";
    }
}

namespace Second
{
    void fun(First::Enum symbol)
    {
        cout << "Second fun\n";
    }
}

int main()
{
    fun(First::FIRST);  // Calls First::fun()
}

但是，当在命名空间之外添加另一个函数 fun()（参见下面的代码）并在没有前缀命名空间的情况下调用 fun() 时，编译器会出现歧义错误。命名空间内的函数仍然可以通过显式前缀命名空间来调用，但fun() 是无法访问的。当没有显式调用时，为什么编译器不喜欢命名空间之外的函数？避免这种行为是否有特定原因？

// ^ Namespaces are still here

fun(First::Enum symbol)
{
    cout << "No namespace fun\n";
}    

int main()
{
    fun(First::FIRST);  // Doesn't compile: ambiguity!
}

编辑

正如Yksisarvinen 正确指出的那样，全局fun() 仍然可以通过以全局命名空间为前缀来调用：::fun(First::FIRST);。

但是，这仍然给我留下了一个问题：为什么编译器在模棱两可的调用中不喜欢全局 fun()？

Answer 1

为什么编译器在模棱两可的调用中不喜欢全局fun()？

全局fun被unqualified name lookup找到，First::fun被ADL找到，都放入了重载集，重载解析不能选择一个。

除了通常的非限定名称查找所考虑的范围和名称空间之外，还会在其参数的名称空间中查找这些函数名称。