ADL是否适用于全局命名空间

诸如启用std类型输出的示例解释了如何使用ADL来"注入"特定的函数/操作符，这取决于fn/op应用的类型。

我想知道ADL是否完全适用于全局命名空间，也就是说，在全局命名空间范围内声明(或通过using提供)的类型是否使ADL在全局命名空间中寻找匹配的函数?

具体来说，这些是等价的wrt吗?诽谤联盟吗?:

// 1 - at global namespace scope
struct GlobalType {};
template< class Ch, class Tr>
std::basic_ostream<Ch, Tr>& operator<<(std::basic_ostream<Ch, Tr>& os, GlobalType const& x)
{
    os << ...;
    return os;
} 
// 2 - within namespace
namespace ecaps {
    struct EcapsType {};
    template< class Ch, class Tr>
    std::basic_ostream<Ch, Tr>& operator<<(std::basic_ostream<Ch, Tr>& os, EcapsType const& x)
    {
        os << ...;
        return os;
    } 
}
// 3 - Type brought to global NS via using, function at global scope
namespace other {
    struct OtherType {};    
}
using other::OtherType;
template< class Ch, class Tr>
std::basic_ostream<Ch, Tr>& operator<<(std::basic_ostream<Ch, Tr>& os, OtherType const& x)
{
    os << ...;
    return os;
} 

关于。全局命名空间作用域不需要ADL:(在已删除的答案后更新)

委员会的Daniel krgler这样描述ADL问题:

此非限定调用具有非限定名称查找的效果发生，因此，编译器搜索name operator<<。的词法位置开始发现operator<<调用"向上"(…)从当前命名空间和所有的包含该名称空间的名称空间(包括全局名称空间)

Emph。我的。注意外部命名空间是如何被描述为只考虑"…"从词法位置…"他继续说:

…作为第二条路线，它执行这个过程的第二阶段查找编译器在所谓的关联名称空间中进行搜索此调用中出现的实参类型。

在给出的示例中，搜索的第一阶段失败，原因是在#include <iterator>存在的地方，没有在任何命名空间中为这些参数类型对应operator<<。注意，operator<<的声明在之后以词法提供。operator<<调用发生在某个地方的点库头文件。搜索的第二阶段也将考虑那些遵循实际的函数调用，但仅在关联的命名空间内。

大胆emph。我的。因此，在我看来，是相关的ADL为全局命名空间工作。当然，我很容易就误解了什么。

注意:这个可能是标准没有以这样或那样的方式明确提及它的一种情况，因为全局NS就像任何其他命名空间一样——然后它也可能不是，我对标准的了解非常有限。