Какова область действия переменной счетчика в цикле for?

Я думаю, вы все путаете C ++ и C #.

В C ++ раньше было то, что область видимости переменной, объявленной в выражении for, была внешней по отношению к блоку, который следовал за ней. Некоторое время назад это было изменено, так что область видимости переменной, объявленной в выражении for, была внутренней по отношению к следующему за ней блоку. C # следует этому более позднему подходу. Но ни то, ни другое не имеет к этому никакого отношения.

Здесь происходит то, что C # не позволяет одной области видимости скрывать переменную с тем же именем во внешней области.

Итак, в C ++ это было незаконно. Теперь это законно.

for (int i; ; )
{
}
for (int i; ; )
{
}

То же самое и в C #. Есть три области видимости, внешняя, в которой i не определена, и две дочерние области, каждая из которых объявляет свой собственный i.

Но вы делаете вот что:

int i;
for (int i; ; )
{
}

Здесь есть две области видимости. Внешний, который объявляет «i», и внутренний, который также объявляет «i». Это допустимо в C ++ - внешнее «i» скрыто, но в C # это незаконно, независимо от того, является ли внутренняя область видимостью цикла for, цикла while или чего-то еще.

Попробуй это:

int i;
while (true)
{
    int i;
}

Та же проблема. C # не допускает использование переменных с одинаковыми именами во вложенных областях.

После цикла for инкрементор не существует.

for (int i = 0; i < 10; i++) { }
int b = i; // this complains i doesn't exist
int i = 0; // this complains i would change a child scope version because the for's {} is a child scope of current scope

Причина, по которой вы не можете повторно объявить i после цикла for, заключается в том, что в IL он фактически объявляет его перед циклом for, потому что объявления происходят в верхней части области.

Да. Синтаксически: новая область видимости находится внутри блока, определенного фигурными строками. Функционально: бывают случаи, когда вы можете захотеть проверить окончательное значение переменной цикла (например, если вы сломались).

Просто некоторая справочная информация: последовательность не входит в это. Есть только представление об области действия - области метода, а затем области for цикла. Таким образом, «после завершения цикла» неточно.

Таким образом, ваше сообщение читается примерно так:

int i = 0; // scope error
string str = ""; // no scope error

for (int i = 0; i < 3; i++)
{
  string str = "";
}

Я считаю, что такие размышления об этом лучше подходят для моей ментальной модели.