comportement différent entre Clang et GCC lors de l'exécution nom qualifié recherche

Question

Considérez le programme suivant:

#include <iostream> 

namespace N { 
    int j = 1; 
} 

namespace M { 
    typedef int N; 
    void f() { 
     std::cout << N::j << std::endl; 
    } 
} 

int main() { M::f(); } 

Compiler avec clang donne l'erreur de compilation suivante:

prog.cc:10:22: error: 'N' (aka 'int') is not a class, namespace, or 
enumeration 
    std::cout << N::j << std::endl; 
       ^1 error generated. 

GCC ne donne aucune erreur de compilation . J'essaye de comprendre pour quel compilateur je devrais classer le rapport de bogue pour. Quel compilateur a le bon comportement et pourquoi (références à la norme C++)?

Wandbox - Clang: http://melpon.org/wandbox/permlink/s0hKOxCFPgq5aSmJ

Wandbox - GCC: http://melpon.org/wandbox/permlink/i2kOl3qTBVUcJVbZ

Answer 1

Clang est correcte sur celui-ci. C++ 11 cite, 3.4.3/1 [basic.lookup.qual]:

... If a :: scope resolution operator in a nested-name-specifier is not preceded by a decltype-specifier, lookup of the name preceding that :: considers only namespaces, types, and templates whose specializations are types. If the name found does not designate a namespace or a class, enumeration, or dependent type, the program is ill-formed.

Par cette clause, les types sont censés être pris en considération au cours de la recherche, donc il faut rechercher les typedef N. Et comme il ne désigne pas un espace de noms, une classe, une énumération ou un type dépendant, le programme est mal formé.