在类方法实现的主体中使用 std::swap 是什么意思？

Question

在对这个问题进行了彻底的解释之后，我试图学习和采用复制交换习语：the Copy-Swap Idiom。

但我发现了一些我从未见过的代码：using std::swap; // allow ADL 在这个例子中

class dumb_array
{
public:
    // ...

    void swap(dumb_array& pOther) // nothrow
    {
        using std::swap; // allow ADL    /* <===== THE LINE I DONT UNDERSTAND */

        swap(mSize, pOther.mSize); // with the internal members swapped,
        swap(mArray, pOther.mArray); // *this and pOther are effectively swapped
    }
};

1. using std::swap; 在函数实现的主体内部是什么意思？
2. ADL 是什么意思？

Answer 1

通过添加using std::swap，它可以在该功能中实现更广泛的灵活性。 swap 没有特定类型的版本，因为它是一个模板，因此为任何内置类型调用 std 版本都不会产生问题。

假设类 Foo 有一个成员 h 持有类型 ExampleType，我们为 ExampleType 定义了一个特定于类型的交换版本：

void swap(Foo& lhs, Foo& rhs)
{
    //ERROR: This would only the call std version 
    std::swap(lhs.h, rhs.h);
}

上面的例子只会调用 std 版本而不是我们的 ExampleType 版本。所以通过包含using std::swap，程序将调用我们定义的版本而不是std::swap：

void swap(Foo& lhs, Foo& rhs)
{
    using std::swap;
    std::swap(lhs.h, rhs.h);   //Using class defined version of swap()
}

即使我们用内置函数替换了被交换的参数，代码仍然可以正常执行，因为编译器会推断 std 版本是最佳选择。此概念也称为参数相关查找或 ADL。

Answer 2

这种机制通常用于模板代码，即template <typename Value> class Foo。

现在的问题是使用哪个交换。 std::swap<Value> 可以，但可能并不理想。对于Value 类型，很有可能有更好的swap 重载，但是在哪个命名空间中呢？几乎可以肯定它不在std:: 中（因为这是非法的），但很可能在Value 的命名空间中。有可能，但还不确定。

在这种情况下，swap(myValue, anotherValue) 将为您提供可能的“最佳”交换。 Argument Dependent Lookup 将在 Value 来自的命名空间中找到任何交换。否则using 指令启动，std::swap<Value> 将被实例化并使用。

在您的代码中，mSize 可能是一个整数类型，而mArray 可能是一个指针。两者都没有关联的命名空间，而且std::swap 无论如何都具有 99.9% 的确定性对它们来说是最佳的。因此，using std::swap; 声明在这里似乎毫无用处。

Answer 3

using 关键字具有作用域。

这意味着std::swap 在using 关键字的范围内可以被称为swap。