C ++中的不合格查找

Question

#include <stdio.h>
#include <cstddef>
#include <cstring>

namespace /*namespace name generated by compiler*/
{
    struct BB{};
}

struct AA{};

namespace my
{
    inline void * memcpy(void*, const void*, std::size_t)
    {
        puts("CUSTOM IMPLEMENTATION");
        return 0;
    }
}

namespace my
{
    void func()
    {
        AA a;
        memcpy(&a, &a, sizeof(a)); // ambigious call for g++4.7 - g++6.2

        BB b;
        memcpy(&b, &b, sizeof(b)); // unambigious call

    }
}

int main(int, char **)
{
    my::func();
    return 0;
}

为什么 memcpy 在这里是模棱两可的称呼？

请查看 ANSI ISO IEC 14882、C++2003、3.4.1、(6)（第 30 页）中变量“i”的示例。它“证明”了这种结构没有歧义。

namespace A {
  namespace N {
    void f();
  }
}
void A::N::f() {
    i = 5;
// The following scopes are searched for a declaration of i:
// 1) outermost block scope of A::N::f, before the use of i
// 2) scope of namespace N
// 3) scope of namespace A
// 4) global scope, before the definition of A::N::f
}

不合格的查找规则是否在 GCC 中被破坏或者我没有理解某些内容？

Answer 1

要查找的名字是函数名；特殊的argument-dependent lookup 规则在这里生效。 （请注意，ADL 是函数名称 unqualified name lookup 的一部分。）

除了通常的非限定名称查找所考虑的范围和名称空间之外，还会在其参数的名称空间中查找这些函数名称。

首先你包含string.h，它在全局命名空间中引入了名称memcpy。

并且AA在全局命名空间中声明；那么当你调用memcpy(&a, &a, sizeof(a));时，也会考虑声明AA的命名空间（即全局命名空间），而命名空间my中声明的memcpy会被通常的unqualified name lookup找到，所以调用是模棱两可的。

另一方面，BB 没有这样的问题，因为它没有在全局命名空间中声明（然后 ADL 不会对其生效）。