c++ - 在 C++ 中使用指令与使用声明交换

Question

请引用以下代码:

#include <algorithm>

namespace N
{

    template <typename T>
    class C
    {
    public:
        void SwapWith(C & c)
        {
            using namespace std; // (1)
            //using std::swap;   // (2)
            swap(a, c.a);
        }
    private:
        int a;
    };

    template <typename T>
    void swap(C<T> & c1, C<T> & c2)
    {
        c1.SwapWith(c2);
    }

}

namespace std
{

    template<typename T> void swap(N::C<T> & c1, N::C<T> & c2)
    {
        c1.SwapWith(c2);
    }

}

如上所述，代码无法在 Visual Studio 2008/2010 上编译。错误是:

'void N::swap(N::C<T> &,N::C<T> &)' : could not deduce template argument for 'N::C<T> &' from 'int'.

但是，如果我注释掉 (1) 并取消注释 (2)，它将编译 OK。 using namespace std 和 using std::swap 之间有什么区别来解释这种行为？

Answer 1

第一种情况是 using 指令(using namespace X)，这意味着来自命名空间 X 的名称将可用于常规查找，在X 的第一个公共(public)命名空间和当前范围。在这种情况下，::N 和 ::std 的第一个公共(public)命名空间祖先是 ::，所以 using 指令将使 std::swap 仅在查找命中 :: 时可用。

这里的问题是，当查找开始时，它会在函数内部查找，然后在类内部查找，然后在 N 内部查找，它会找到 ::N::swap那里。由于检测到潜在的过载，因此不会继续对外部命名空间 :: 进行常规查找。因为 ::N::swap 是编译器将执行 ADL(参数相关查找)的函数，但基本类型的关联命名空间集为空，因此不会带来任何其他重载。此时查找完成，重载决议开始。它将尝试将当前(单个)重载与调用匹配，它将无法找到将 int 转换为参数 ::N::C 的方法，并且你得到了错误。

另一方面，使用声明(using std::swap)在当前上下文中提供实体的声明(在这种情况下，在函数本身内部)。查找将立即找到 std::swap 并使用 ::std::swap 停止常规查找并使用它。