Dlaczego referencja const może być ponownie przypisana w instrukcji for?

Question

Jestem nowym do C++ i jestem mylić o tym:

vector<int> v = { 1,2 }; 
const int &r1 = v[0]; 
//r1 = v[1]; // compiler will show error. 

Rozumiem, że const odniesienia r1 nie może być ponownie przydzielony. Ale spójrz na poniższe kody:

for (const int &r2 : v) cout << r2; 

Dlaczego by tak nie poszło? Oznaczenie stałe r2 jest przypisane dwukrotnie, prawda?

Answer 1

Nie jest przypisany dwa razy. r2 istnieje od początku iteracji (pojedyncza runda nad ciałem pętli) do końca iteracji. r2 w następnej iteracji jest inny obiekt o tej samej nazwie. Każda iteracja ma swój własny numer r2 i każdy z nich jest inicjowany osobno.

Answer 2

wahała oparte for wygląda następująco:

attr (opcja) (range_declaration: range_expression) loop_statement

gdzie range_declaration jest

range_declaration - deklaracja nazwanej zmiennej, której typem jest typ elementu reprezentowanej sekwencji przez range_expression lub odniesienie do tego typu. Często używa automatycznego specyfikatora automatycznego odliczania typu

W każdej iteracji wprowadzana jest nowa deklaracja, odniesienie istnieje tylko do następnej iteracji pętli.

Answer 3

Według C++ 11 standardowych [stmt.ranged]:

for (const int &r2 : v) std::cout << r2; 

gdzie ¹ v jest vector jest równoważna:

{ 
    auto && __range = (v); 
    for (auto __begin = __range.begin(), __end = __range.end(); __begin != __end; ++__begin) 
    { 
     const int &r2 = *__begin; // <-- new variable in each iteration 
     std::cout << r2; 
    } 
} 

Demo

Oznaczenie const r2 jest przypisany dwa razy, prawda?

Nr Jest nowyr2 zmiennej w każdej iteracji.

---

^{¹ zakres oparty for można również stosować z innymi rodzajami zbiorach, takich surowców tablicach. Podana tu równoważność stanowi ogólną równoważność dla std::vector.}