爲什麼代碼「foo :: foo :: foo :: foob」編譯？

Question

一位同事不小心寫了這樣的代碼：

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編譯此。

這個編譯的規則是什麼？

Answer 1

的injected-class-name在這裏使用，

其自己的定義作爲本身爲lookup目的的公共成員類型別名內的類的名稱（用於命名一個constructor時除外）：這個被稱爲注射類名

然後

foo:: 
foo:: 
foo::foob 

即foo::foo::foo::foob與foo::foob相同。

然後for (auto x : {foo::foobar, foo::fbar, foo::foob })是range-based for loop (since C++11)，它在由3個枚舉器形成的braced-init-list上迭代。

Answer 2

我改變了這種代碼，以這樣的：

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

的循環運行3次。輸出是：「x = 1 x = 2 x = 3」。

---

foo::foo::foo::foob是一樣的foo::foob。 所以

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

相同

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

這意味着x在範圍內{ foo::foobar, foo::fbar, foo::foob }