为什么 using 指令不影响 ADL？

问：

我试图理解为什么以下代码无法编译：

namespace ns {
  struct S {};
}

namespace alleq {
  inline bool
  operator==(const ns::S &, const ns::S &)
  {
    return true;
  }
}

namespace ns {
  using namespace alleq;
  // using alleq::operator==; // Works if you uncomment this
}

ns::S a;

void
f()
{
  ::ns::operator==(a, a); // OK
  a == a;                 // Error: no match for 'operator=='
}

函数的第一行确实编译，这让我相信命名空间包含一个函数。但是，当我比较两个类型的值时，找不到此函数。相比之下，using 声明确实按预期工作，并允许 ADL 查找的第二行。fnsoperator==ns::Soperator==fns::operator==

我怀疑原因与以下事实有关：using 指令应该使符号看起来好像在全局命名空间中（因为这是命名空间和 ）的共同祖先。但如果真的是这样，那为什么要找到这个函数呢？::alleqns::ns::operator==

更一般地说，我试图在库中提供一些有用（和相关）的重载，但不要强迫人们使用他们不想要的定义。我希望允许人们根据他们是否将专用的运算符命名空间导入自己的命名空间来启用或不启用 operator==（以及相关的其他运算符）在他们的类型上。现在看起来人们可能不得不编写大量使用声明（我可以用宏来简化，但很糟糕）。operator==