for (int i = 0; i < 10; i++)
{
Foo();
}
int i = 10; // error, 'i' already exists
----------------------------------------
for (int i = 0; i < 10; i++)
{
Foo();
}
i = 10; // error, 'i' doesn't exist
根据我的作用域理解，第一个例子应该没问题。两个例子都不允许似乎更奇怪。毕竟，'i' 只能在范围内或不在范围内。
是否有我不理解的关于作用域的非明显信息使编译器无法真正解决这个问题？还是只是编译器的保姆状态？
int i = 10;
int i = 10;
当然，“i”要么在作用域内，要么不在。
是的，但这有什么关系呢？一个给定的“i”是否在作用域内是无关紧要的。例如：
class C
{
int i;
void M()
{
string i;
完全合法。在整个 M 函数中，外部 i 变量都是可见的。在局部声明一个同名的变量并不会有问题。如果你这样做：
class C
{
int i;
void M()
{
int x = i;
foreach(char i in ...
因为现在你在两个嵌套的局部变量声明空间中使用了i来代表两个不同的东西--一个循环变量和一个字段。这样会让人混淆并容易出错，因此我们将其禁止。
我是否对作用域有一些不明显的理解，导致编译器无法真正地解决这个问题？
我不理解这个问题。显然编译器能够完全分析程序；如果编译器不能解决每个i的含义，那么它怎么能报告错误消息呢？ 编译器完全能够确定你在同一个局部变量声明空间中使用了“i”表示两个不同的东西，并相应地报告错误。
这是因为声明空间在方法级别定义了i。变量i在循环结束时超出了作用域，但仍然不能重新声明i，因为i已经在该方法中定义过了。
作用域 vs 声明空间:
你需要看看Eric Lippert的答案（他总是正确的，特别是在这些问题上）。
以下是Eric在上述帖子中的评论，我认为它解释了他们为什么这样做：
这样看吧。只要在同一个块中保持不变，将变量声明向上移动在源代码中应该总是合法的，对吧？如果我们按照您的建议这样做，那么有时将是合法的，有时将是不合法的！但我们真正想避免的是C++中发生的事情——在C++中，有时移动变量声明实际上会更改其他简单名称的绑定！
根据C#规范中的局部变量声明:
在局部变量声明中声明的局部变量的作用域是声明出现的块。
当然，在声明之前不能使用i，但i声明的作用域是包含它的整个块:
{
// scope starts here
for (int i = 0; i < 10; i++)
{
Foo();
}
int i = 10;
}
for循环中的i变量处于子作用域，因此会出现变量名冲突。{
int i = 10;
// collision with i
for (int i = 0; i < 10; i++)
{
Foo();
}
}
是的，我赞同“保姆式编译器主义”的评论。有趣的是，这是可以接受的。
for (int i = 0; i < 10; i++)
{
}
for (int i = 0; i < 10; i++)
{
}
并且这是可以的
for (int i = 0; i < 10; i++)
{
}
for (int j = 0; j < 10; j++)
{
var i = 12;
}
for (int i = 0; i < 10; i++)
{
var x = 2;
}
var x = 5;
for (int i = 0; i < 10; i++)
{
var k = 12;
}
for (int i = 0; i < 10; i++)
{
var k = 13;
}
这一切都有点不太一致。
根据下面与Eric的评论交流，我认为展示如何处理循环可能会有所帮助。 尽可能将循环组合成自己的方法。 我这样做是因为它有助于提高可读性。
之前
/*
* doing two different things with the same name is unclear
*/
for (var index = 0; index < people.Count; index++)
{
people[index].Email = null;
}
var index = GetIndexForSomethingElse();
之后
/*
* Now there is only one meaning for index in this scope
*/
ClearEmailAddressesFor(people); // the method name works like a comment now
var index = GetIndexForSomethingElse();
/*
* Now index has a single meaning in the scope of this method.
*/
private void ClearEmailAddressesFor(IList<Person> people)
{
for (var index = 0; index < people.Count; index++)
{
people[index].Email = null;
}
}
for (int i = 0; i < 10; i++)
{
// do something
}
foreach (Foo foo in foos)
{
int i = 42;
// do something
}
因为变量 i 的作用域仅限于每个代码块内。
我认为编译器的意思是，i 在方法级别已经声明并被限定在 for 循环内部。
因此，在情况 1 中 - 你会得到一个错误，提示变量已经存在，这确实如此
& 在情况 2 中 - 由于该变量仅在 for 循环中被限定，所以无法在该循环外访问
为了避免这种情况，你可以：
var i = 0;
for(i = 0, i < 10, i++){
}
i = 10;
但我想不出有什么情况需要这样做。
希望对你有所帮助。
你需要做的是
int i ;
for ( i = 0; i < 10; i++)
{
}
i = 10;
class Test
{
int i;
static int si=9;
public Test()
{
i = 199;
}
static void main()
{
for (int i = 0; i < 10; i++)
{
var x = 2;
}
{ var x = 3; }
{ // remove outer "{ }" will generate compile error
int si = 3; int i = 0;
Console.WriteLine(si);
Console.WriteLine(Test.si);
Console.WriteLine(i);
Console.WriteLine((new Test()).i);
}
}
}
确实如此。在同一方法中“重复使用”变量名称没有任何意义，只会导致错误而已。
i呢？我仍然认为这只是编译器方面的官僚主义。 - Michael Meadows