Identyfikator o tej samej nazwie zarówno w wyrażeniu, jak i deklaracji opartej na zakresie dla

Question

Czy jest prawnie zadeklarować zmienną pętli w pętli for opartej na zakresie z tą samą nazwą, której używam w wyrażeniu wyrażenia pętli? Mam nadzieję, że przykład ten wyjaśnia.

#include <iostream> 
#include <vector> 

struct bar { 
    std::vector<int> nums; 
}; 

int main() 
{ 
    bar b; 
    b.nums = {1, 2, 3}; 

    for(int b : b.nums) 
     std::cout << b << std::endl; 
} 

gcc 4,8 daje błąd, podczas gdy clang 3.2 pozwala na to.

Answer 1

Z mojego czytania C++ 2011 6.5.4, Twój kod:

bar b; 

for(int b : b.nums) 
    std::cout << b << std::endl; 

powinny być zamienione na:

bar b; 

{ 
    auto && __range = b.nums; 
    for (auto __begin = __range.begin(), __end = __range.end(); __begin != __end; ++__begin) { 
     int b = *__begin; 
     std::cout << b << std::endl; 
    } 
} 

mi to oznacza, że ​​dzyń jest poprawna.

Answer 2

Clang ma rację:.

§ 6.5.4/1 C++ 11 standard określa zasięg oparte for instrukcji w następujący sposób:

Dla zasięg oparte dla instrukcji postaci

for (for-range-declaration : expression) statement 

pozwolić zakres inicjalizacji równoznaczne z wyrażeniem w nawiasie

(expression) 

i dla zakres oparte do zestawienia postaci

for (for-range-declaration : braced-init-list) statement 

niech zakres-startowych być równoważna usztywnione-init-listy. W każdym przypadku, zakres oparty na rachunku odpowiada do

{ 
    auto && __range = range-init; 
    for (auto __begin = begin-expr, 
      __end = end-expr; 
      __begin != __end; 
      ++__begin) { 
     for-range-declaration = *__begin; 
     statement 
    } 
} 

Z powyższego widać, że zmienna b, co odpowiada for-range-declaration została zadeklarowana wewnątrz zagnieżdżonej instrukcji bloku, natomiast inicjator range-init (który odpowiada b.nums) pojawia się w zakresie nadrzędnym, gdzie b powinien zostać rozwiązany na obiekt typu bar.

Answer 3

Co jest warte, ten błąd został już naprawiony w gcc trunk. :)