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

问：

请参考以下代码：

#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），它将编译正常。和之间有什么区别可以解释这种行为？using namespace stdusing std::swap

C++ 交换 using 指令 using-declaration

#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;

因此，唯一可用于模板推导的是，它不适用于 s，因为它需要 as 参数。swapN::swapinttemplate class

但不是什么时候

using std::swap;

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

显而易见的原因是 using 声明和 using 指令具有不同的效果。using 声明立即将名称引入当前作用域，因此将名称引入本地作用域; 查找到此为止，您找到的唯一符号是。此外，这发生在定义模板时，所以稍后找不到命名空间中的声明。在下文中行，唯一要考虑的就是那条在中定义，加上 ADL 添加的那些（因此，一个在命名空间中）。（但 VC++ 是这样吗？编译器没有正确实现名称查找，所以谁知道呢。using std::swapstd::swapstdswap<algorithm>N

using 指令指定名称将“好像”显示它们在最近的命名空间中声明，将指令和指定的命名空间;就您而言，全局命名空间。它实际上并没有介绍这些名字;它只是影响名称查找。在受抚养人的情况下符号（或始终，在 VC++ 的情况下）发生在调用时网站。

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

@DavidRodríguez-dribeas MS 实现了在采用 C++98 之前很常见的名称查找版本。从那时起，他们显然已经对其进行了一些调整，因为原始版本是在命名空间之前定义的。在这个版本中如何解释和解释是任何人的猜测。（难道20年的时间还不够他们实施该标准吗？using namespace x;using x;

1赞 TemplateRex 4/23/2013

@JamesKanze MSVC 无法正确实现两阶段名称查找，方法是将非依赖名称的查找延迟到第二阶段。例如，参见这个问题：这个问题不应该在这里发挥作用，AFAICS。

1赞 James Kanze 4/23/2013

@rhalbersma MSVC 不实现两阶段查找，周期。它甚至没有尝试这样做。与其他一两个案例一样，它明确决定无视该标准，走自己的路。

0赞 Chen Li 6/12/2018

MSVC 在 2017 年实施了两阶段名称查找：-）（顺便说一句，我听说他们几年前就实现了，但为了钱，该功能被削减了）

33赞 David Rodríguez - dribeas 4/23/2013 #3

第一种情况是 using 指令（），它的意思是命名空间中的名称将可用于在和当前范围的第一个公共命名空间中进行常规查找。在本例中，和的第一个公共命名空间祖先是，因此 using 指令仅在查找命中时才可用。using namespace XXX::N::std::std::swap::

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

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

上一个：如何使用 Roslyn 检测脚本（而不是文档）中未使用的导入？

下一个：如何在 VS Code 中定义 C/C++ 的“转到定义”的搜索范围

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

using directive vs using declaration swap in C++

评论

评论

评论