关于C＃变量范围与其他语言的问题

首先，让我说我之前从未使用过C＃，而且我对此并不了解。

我正在和Sebesta的“编程语言概念第9版”一书中学习我的“编程语言”考试。 在我从“范围声明顺序（第246页）”中阅读以下摘录后，我有点疑惑：

“…例如，在C99，C ++，Java中，所有局部变量的范围都是从它们的声明到那些声明出现的块的末尾。 但是，在C＃中，块中声明的任何变量的范围是整个块，无论块中声明的位置如何，只要它不在嵌套块中。方法也是如此。 注意C＃仍然要求在使用它们之前声明所有变量。因此，尽管变量的范围从声明扩展到该声明出现的块或子程序的顶部，该变量仍然不能在其声明之上使用 “

为什么C＃的设计师会做出这样的决定？ 这种不寻常的决定有什么特定的理由/优势吗？

Answer 1

看看Eric Lippert关于声明空间的post，它们为这些规则提供了更多背景知识。

我通常会在链接到博客post时引用最相关的位，但我认为这些在一起阅读时确实给出了更好的答案。

希望他会流行并给出一个很好的总结。

Answer 2

这可以防止你做某些事情

void Blah() { for (int i = 0; i < 10; i++) { // do something } int i = 42; } 

原因是，如果必须移动代码，它会引入细微错误的可能性。 如果你在循环之前需要i ，现在你的循环被打破了。

Answer 3

减少混淆的一个好处是，如果在变量声明之上有一个嵌套块，则变量声明将生效并阻止嵌套块声明具有相同名称的变量。

Answer 4

来自C＃规范

 class A { int i = 0; void F() { i = 1; // Error, use precedes declaration int i; i = 2; } void G() { int j = (j = 1); // Valid } void H() { int a = 1, b = ++a; // Valid } } 

局部变量的作用域规则旨在保证表达式上下文中使用的名称的含义在块内始终相同。 如果局部变量的范围仅从其声明扩展到块的末尾，那么在上面的示例中，第一个赋值将分配给实例变量，第二个赋值将分配给局部变量，可能导致如果稍后重新排列块的语句，则编译时错误。

Answer 5

这并不奇怪。 就变量而言，它比Java / C ++更强制地执行唯一命名。

Answer 6

Eric Lippert对这个相关问题的回答可能会有所帮助。

正如Anthony Pegram先前所说，C＃强制执行此规则，因为有些情况下重新排列代码会导致细微的错误，从而导致混淆。