if(true)
{
string var = "VAR";
}
string var = "New VAR!";
这将导致：
错误1：命名为“var”的局部变量不能在此范围内声明，因为它会赋予“var”不同的含义，而“var”已经在“子”范围中用于表示其他内容。
并没有什么特别的问题，但这难道不是明显错误吗？我和另一位开发人员想知道第一个声明是否应该在不同的作用域中，这样第二个声明就不能干扰第一个声明。
为什么C#无法区分两个作用域？第一个IF作用域不应该完全与方法的其余部分分开吗？
我无法从if之外调用var，所以错误消息是错误的，因为第一个var在第二个作用域中没有 relevancy。
这里的问题主要是好的编程习惯以及防止无意中的错误。可以理解的是，C#编译器理论上可以设计得不存在这里不同范围之间的冲突。但我认为这样做会付出很大努力，收益却很小。
请考虑，如果父范围内var的声明在if语句之前，那么将会有一个无法解决的命名冲突。编译器根据作用域进行分析，而不是根据声明/使用的顺序，正如你所期望的那样。
理论上可行（但在C#中仍然无效）的情况：
if(true)
{
string var = "VAR";
}
string var = "New VAR!";
而且这是不可接受的（因为它会隐藏父变量）:
string var = "New VAR!";
if(true)
{
string var = "VAR";
}
在变量和作用域方面，这两种情况都被精确地处理。
现在，如果在这种情况下，您不能只给其中一个变量指定不同的名称，是否有任何实际原因呢？我假设（希望）您实际的变量没有被称为var，所以我真的看不出这是个问题。如果您仍然想重复使用相同的变量名称，只需将它们放在兄弟级别作用域中：
if(true)
{
string var = "VAR";
}
{
string var = "New VAR!";
}
然而，虽然这在编译器中是有效的，但在阅读代码时可能会导致一定程度上的困惑，因此我几乎不建议使用它。
class C
{
int x;
void M()
{
int x = 123;
}
}
那是完全合法的；外部x的范围与内部x的范围重叠，但这不是一个错误。错误的是：
class C
{
int x;
void M()
{
Console.WriteLine(x);
if (whatever)
{
int x = 123;
}
}
}
因为现在"X"这个简单名称在M的函数体内有两种不同的含义——它既表示"this.x"，又表示本地变量"x"。在同一个块中使用相同的简单名称表示两个完全不同的事情，这会让开发人员和代码维护者感到困惑，所以这是非法的。
我们允许并行块包含以两种不同方式使用的相同简单名称；这是合法的：
class C
{
int x;
void M()
{
if (whatever)
{
Console.WriteLine(x);
}
if (somethingelse)
{
int x = 123;
}
}
}
因为现在唯一包含两个不一致使用 x 的块是外层块，但是该块没有 直接 包含任何 "x" 的用法，只有间接地使用。
void foo(int a)
{
int count = 0;
for(int i = 0; i < a; ++i)
{
int count *= i;
}
return count;
}
现在想象一下，如果这个函数更长了几行，可能很容易就看不出错误。编译器从来不会抱怨（以前是这样的，不确定新版本的C++是否仍然如此），而函数总是返回0。
这个行为显然是一个bug，因此最好能够让c++-lint程序或编译器指出这一点。如果它不是一个bug，则可以通过重命名内部变量来轻松解决。
更令人恼火的是，我记得GCC和VS6对于for循环中的计数器变量属于哪个作用域有不同的观点。其中一个认为它属于外部作用域，另一个则认为它不属于外部作用域。这对于跨平台代码的开发而言有点烦人。让我再给你举个例子，以保持我的字数。
for(int i = 0; i < 1000; ++i)
{
if(array[i] > 100)
break;
}
printf("The first very large value in the array exists at %d\n", i);
我记得这段代码在VS6中能够工作，但在GCC中却不能。不管怎样，C#对一些东西进行了清理，这是好事。
var是C# 3.0中的关键字。 - John Saunders