如果存在具有不同参数类型的重载，则在全局命名空间中找不到函数

Function not found from global namespace if there's an overload with different argument types

本文关键字：全局 命名空间 函数 找不到 重载 存在 类型 参数 如果      更新时间：2023-10-16

如果我们在全局命名空间中有一个函数，而在另一个命名空间中有不同参数类型的重载，那么C++编译器似乎没有从全局命名空间中找到该函数。

namespace A
{
    class a {
        friend void swap(a& first, a& second) { }
    };
}
class b {
    friend void swap(b& first, b& second) { }
};
namespace C
{
    class c {
        A::a dataA;
        b dataB;
        friend void swap(c& first, c& second)
        {
            swap(first.dataA, second.dataA); // no problem
            swap(first.dataB, second.dataB); // VC++12 compiles, C++Builder XE doesn't
        }
        friend void swap2(c& first, c& second) // no problem with a different name
        {
            swap(first.dataA, second.dataA);
            swap(first.dataB, second.dataB);
        }
    };
}

C++编译器给出以下错误：

E2357 Reference initialized with 'b', needs lvalue of type 'c'
E2342 Type mismatch in parameter 'first' (wanted 'c &', got 'b')

Visual C++2012编译此文件时没有出现错误。

我已经理解，即使存在具有相同名称和不同参数类型的函数，也应该在全局命名空间中找到该函数。

我是否遗漏了什么，或者这是C++Builder中的一个错误？

对我来说，这看起来像是一个编译器错误。在这两种情况下，ADL都应该在第一种情况下，它在名称空间A中查找，包括命名空间A中仅在中声明的名称类a并找到A::swap。在第二种情况下，它看起来像全局名称空间（因为这是定义CCD_ 5的地方），包括全局命名空间中仅声明的名称在类别b中并找到::swap。

当然，它从非限定名称查找开始，这将在这两种情况下都只能找到C:：swap。显然，C++Builder不知怎么的在这种情况下，将::swap标记为隐藏，并且没有考虑它ADL。然而，在ADL的情况下，全局命名空间并且命名空间A应该被同等对待。

完整规则见§3.4.2。这相当沉重，但像你这样的简单案例，其含义是显而易见的。

与global名称相同的本地作用域的成员总是隐藏全局作用域，所以称之为A::a::swap(first.dataA, second.dataA);。

相关文章：