使用声明隐藏名称

Question

#include <iostream>

struct H
{
    void swap(H &rhs); 
};    

void swap(H &, H &)
{
    std::cout << "swap(H &t1, H &t2)" << std::endl;
}

void H::swap(H &rhs)
{
    using std::swap;
    swap(*this, rhs);
}


int main(void)
{
    H a;
    H b;

    a.swap(b);
}

结果如下：

swap(H &t1, H &t2)

在上面的代码中，我尝试定义一个交换函数H。在函数void H::swap(H &rhs) 中，我使用 using 声明使名称 std::swap 可见。如果没有 using 声明，则无法编译代码，因为在类 H 中没有具有两个参数的可用交换函数。

我有一个问题。在我看来，在我使用了 using 声明 -- using std::swap 之后，它只是让 std::swap -- STL 中的模板函数可见。所以我认为应该在H::swap() 中调用STL 中的交换。但结果显示，void swap(H &t1, H &t2) 被调用了。

所以这是我的问题：

1. 为什么我不能在没有 using 声明的情况下调用 swap？（我猜是因为类中没有带两个参数的 swap 函数。但我不确定。）
2. 为什么会调用我定义的交换而不是 H::swap 中的 STL 交换？

Answer 1

1. 为什么我不能在没有 using 声明的情况下调用 swap？

我们从最近的封闭范围开始，然后向外工作，直到找到一些东西。有了这个：

void H::swap(H &rhs)
{
    swap(*this, rhs);
}

不合格的swap 会找到H::swap()。然后我们进行参数相关的查找。但是有规则，来自[basic.lookup.argdep]:

令 X 为由非限定查找 (3.4.1) 生成的查找集，让 Y 为由 参数相关查找（定义如下）。如果 X 包含
— 类成员的声明，或
— 不是 using-declaration 的块范围函数声明，或
— 既不是函数也不是函数模板的声明
那么 Y 为空。否则，Y 是在与参数类型相关的命名空间中找到的一组声明，如下所述。 [...]

由于非限定查找集找到了类成员，所以依赖参数的查找集为空（即没有找到swap(H&, H&)）。

1. 为什么会调用我定义的交换而不是 H::swap 中的 STL 交换？

添加时：

void H::swap(H &rhs)
{
    using std::swap;
    swap(*this, rhs);
}

现在不合格的 swap 会找到 std::swap() 和 not H::swap()，因为前者是在更内部的范围内声明的。 using std::swap; 不符合上述规则中的任何条件，这些条件会导致 Y 为空（它不是类成员，它 is 是一个 using-declaration，它是一个函数模板）。因此，依赖于参数的查找集确实包含在关联命名空间中找到的声明 - 其中包括 swap(H&, H&)（因为 H 在全局命名空间中）。我们最终得到了两个重载候选者——你的候选者是首选，因为它是非模板。

---

请参阅Xeo's answer，了解将交换添加到您的课程的首选方式。基本上，你想写：

struct H {
    friend void swap(H&, H&) { ... }
};

这将由 ADL（并且仅由 ADL）找到。然后每当有人调用交换正确：

using std::swap;
swap(a, b);

Lookup 会在适当的地方找到您的。