Pourquoi le code "foo :: foo :: foo :: foob" est-il compilé?

Question

Un collègue a écrit accidentellement le code comme ceci:

struct foo { 
    foo() : baz(foobar) {} 
    enum bar {foobar, fbar, foob}; 
    bar baz; 
}; 

void f() { 
    for(auto x : { foo::foobar, 
        foo::fbar, 
        foo:: 
        foo:: 
        foo::foob }); 
    // ... 
} 

GCC 5.1.0 compile cela.

Quelle est la règle qui rend cette compilation?

Answer 1

Le injected-class-name est utilisé ici,

le nom de la classe dans ses propres actes de définition comme un alias de type de membre public de lui-même dans le but de lookup (sauf lorsqu'il est utilisé pour nommer un constructor): cette il est connu que le nom de classe injectée-

puis

foo:: 
foo:: 
foo::foob 

-à-dire foo::foo::foo::foob est identique à foo::foob.

Et puis for (auto x : {foo::foobar, foo::fbar, foo::foob }) est un range-based for loop (since C++11), qui itère sur le braced-init-list formé par les 3 énumérateurs.

Answer 2

j'ai changé ce code à ceci:

#include <initializer_list> 
#include <iostream> 
struct foo { 
    foo() : baz(foobar) {} 
    enum bar {foobar, fbar, foob}; 
    bar baz; 
}; 

int main() { 
    for(auto x : { foo::foobar, 
        foo::fbar, 
        foo:: 
        foo:: 
        foo::foob }) 
        { 
         std::cout << "x=" << x << std::endl; 
        } 
    return 0; 
} 

boucle for court 3 fois. la sortie est: "x = 1 x = 2 x = 3".

---

foo::foo::foo::foob est le même foo::foob. Alors

for(auto x : { foo::foobar, 
        foo::fbar, 
        foo:: 
        foo:: 
        foo::foob }) 

est le même

for(auto x : { foo::foobar, foo::fbar, foo::foob }) 
{ 
} 

Cela signifie que x est à portée { foo::foobar, foo::fbar, foo::foob }