在 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 的第一个公共命名空间和当前范围内。在这种情况下，::N 和 ::std 的第一个公共命名空间祖先是 ::，因此 using 指令将使 std::swap 仅在查找命中 :: 时可用。

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

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

Answer 2

显而易见的原因是 using 声明和 using 指令有不同的效果。使用声明 立即将名称引入当前范围，因此 using std::swap 将名称引入本地范围； 查找在此处停止，您找到的唯一符号是std::swap。 此外，这发生在定义模板时，所以稍后 未找到命名空间 std 中的声明。在下面的 行，only swap 会被考虑 在<algorithm> 中定义，加上由 ADL 添加的那些（因此， 在命名空间N)。 （但是 VC++ 是这样吗？编译器 没有正确实现名称查找，所以谁知道。）

using 指令指定名称将显示为“好像” 它们是在最近的命名空间中声明的，包含 指令和指定的命名空间；在你的情况下，全球 命名空间。它实际上并没有介绍名称；它 只会影响名称查找。在受抚养人的情况下 符号（或者总是，在 VC++ 的情况下）发生在调用时 网站。

至于为什么你有这个特定的错误信息：可能更多 VC++ 的一个问题，因为肯定没有不可推导的 代码中的上下文。但没有理由期待这两个 无论编译器如何，变体都具有相同的行为。

Answer 3

注意：我已删除命名空间 std 中的交换定义。这里不相关。即使没有它，代码也会有同样的问题。

---

这是由于查找using directive(using namespace std) 和using 之间的规则差异declaration(using std::swap)

Microsoft 说

如果是局部变量 与命名空间变量同名，命名空间变量是 隐。具有同名的命名空间变量是错误的 作为一个全局变量。

#include<iostream>

namespace T {
    void flunk(int) { std::cout << "T";}
}

namespace V {
    void flunk(int) { std::cout << "V";}
}


int main() {
    using T::flunk;   // makes T::flunk local
    // using V::flunk;  // makes V::flunk local. This will be an error
    using namespace V;  // V::flunk will be hidden
    flunk(1);
}

据此，由于您的

template <typename T>
void swap(C<T> & c1, C<T> & c2)

std::swap在使用时会被隐藏

using namespace std; 

因此，唯一可用于模板推导的swap 是N::swap，它不适用于ints，因为它需要template class 作为参数。

但不是何时

using std::swap;

在这种情况下，它等同于本地定义。并且可以毫无问题地使用。