使用C ++ 11 Range for循环更改字符串中的字符

Question

我读了C ++ Primer ：

如果我们想要更改字符串中字符的值，我们必须将循环变量定义为引用类型（第2.3.1节，第50页）。 请记住，引用只是给定对象的另一个名称。 当我们使用引用作为控制变量时，该变量依次绑定到序列中的每个元素。 使用引用，我们可以更改引用绑定的字符。

他们还提供了这段代码：

string s("Hello World!!!");
// convert s to uppercase
for (auto &c : s)   // for every char in s (note: c is a reference)
    c = toupper(c); // c is a reference, so the assignment changes the char
in s
cout << s << endl;

这段代码的输出是HELLO WORLD !!!

我也读过：

无法重新绑定引用以引用其他对象 。 由于无法重新绑定引用，因此必须初始化引用。

问题：每次将引用变量c绑定到字符串s的下一个字符时，此代码是否会导致重新绑定？

for (auto &c : s)   
    c = toupper(c); 

Answer 1

没有现有变量的重新绑定，在每次迭代时“旧”c死亡并且再次创建“新”c，初始化为下一个字符。 for循环相当于：

{
    auto it = begin(s);
    auto e = end(s);
    // until C++17: auto it = begin(s), e = end(s);
    for(; it!=e; ++it) {
        auto &c = *it;
        c=toupper((unsigned char)c);
    }
}

在那里你看到，在每次迭代时， c被重新创建并重新初始化。

换句话说，在基于范围的for循环的圆括号内声明的变量将循环体作为其范围。

Answer 2

号的新的参考被初始化为在每次迭代for循环。

for (auto &c : s)   
    c = toupper(c); 

相当于：

for (auto it = s.begin(); it != s.end(); ++it)
{
    auto &c = *it;
    c = toupper(c);
}

Answer 3

考虑

char s[5] = {'h','e','l','l','o'};

for (int secret_index=0; secret_index<5; ++secret_index) {
    char &c = s[secret_index];
    c = toupper(c);
}

每次迭代都会初始化一个新引用（具有相同的变量名称）。 也就是说，for循环在每次迭代时进入和离开作用域。