recherche dans C non qualifié ++

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

Pourquoi memcpy est appel ici mal assurés?

Veuillez jeter un oeil à l'exemple avec la variable "i" dans ANSI ISO CEI 14882, C++ 2003, 3.4.1, (6) (page 30). Il "prouve" qu'il n'y a pas d'ambigiotie dans une telle construction.

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 
} 

Les règles de recherche non qualifiées ont-elles été rompues dans GCC ou je n'ai pas compris quelque chose?

Answer 1

Le nom à rechercher est le nom de la fonction; la règle spéciale argument-dependent lookup prend effet ici. (Notez que ADL est une partie de la unqualified name lookup pour les noms de fonction.)

Ces noms de fonction sont recherchés dans les espaces de noms de leurs arguments, en plus des champs d'application et les espaces de noms considérés par la recherche habituelle de nom non qualifié.

Au début, vous comprennent string.h, qui introduit le nom memcpy dans l'espace global. Et AA est déclaré dans l'espace de noms global; Lorsque vous appelez memcpy(&a, &a, sizeof(a));, l'espace de noms où AA est déclaré (c'est-à-dire l'espace de noms global) sera également pris en compte et le memcpy déclaré dans l'espace de noms my sera trouvé par l'unqualified name lookup habituel, l'appel est donc ambigu.

D'autre part, BB n'a pas ce problème car il n'est pas déclaré dans l'espace de noms global (et ADL ne prendra pas effet pour cela).