为什么C＃在case块中没有局部作用域？

我在写这段代码：

private static Expression<Func<Binding, bool>> ToExpression(BindingCriterion criterion)
{
    switch (criterion.ChangeAction)
    {
        case BindingType.Inherited:
            var action = (byte)ChangeAction.Inherit;
            return (x => x.Action == action);
        case BindingType.ExplicitValue:
            var action = (byte)ChangeAction.SetValue;
            return (x => x.Action == action);
        default:
            // TODO: Localize errors
            throw new InvalidOperationException("Invalid criterion.");
    }
}

惊讶地发现一个编译错误：

此范围中已经定义了一个名为“ action”的局部变量

这个问题很容易解决。只是摆脱第二个var就可以了。

显然，在case块中声明的变量具有parent的作用域switch，但是我很好奇这是为什么。鉴于C＃不允许执行通过其他案件下降（其需要 break，return，throw，或goto case在每个月底语句case块），它似乎很奇怪的是，它将使变量声明内一个case以其它任何使用或冲突与变数case。换句话说，case即使执行不能执行，变量似乎也属于语句的一部分。C＃通过禁止混淆或容易滥用的其他语言的某些构造，努力提高可读性。但这似乎注定会引起混乱。请考虑以下情形：

1. 如果将其更改为此：

   case BindingType.Inherited:
       var action = (byte)ChangeAction.Inherit;
       return (x => x.Action == action);
   case BindingType.ExplicitValue:
       return (x => x.Action == action);
   

   我得到“ 使用未分配的局部变量'action' ”。这令人困惑，因为在C＃中我能想到的所有其他构造中，var action = ...都会初始化变量，但是在这里它只是声明了变量。

2. 如果我要交换这样的情况：

   case BindingType.ExplicitValue:
       action = (byte)ChangeAction.SetValue;
       return (x => x.Action == action);
   case BindingType.Inherited:
       var action = (byte)ChangeAction.Inherit;
       return (x => x.Action == action);
   

   我得到“ 声明前不能使用局部变量'action' ”。因此，case块的顺序在这里似乎并不十分明显，这很重要-通常我可以按照自己希望的任何顺序编写它们，但是由于var必须出现在使用的第一个块中action，因此我必须调整case块相应地。

3. 如果将其更改为此：

   case BindingType.Inherited:
       var action = (byte)ChangeAction.Inherit;
       return (x => x.Action == action);
   case BindingType.ExplicitValue:
       action = (byte)ChangeAction.SetValue;
       goto case BindingType.Inherited;
   

   然后我没有收到任何错误，但是从某种意义上说，它看起来像在声明变量之前为变量赋了一个值。
   _{（尽管我想不出您真正想做的任何时间-我什至不知道goto case今天之前存在）}

所以我的问题是，为什么C＃的设计师不给case块自己的局部作用域？是否有任何历史或技术原因？

我认为有一个很好的理由是，在所有其他情况下，“常规”局部变量的范围都是由大括号（）分隔的块{}。不正常的局部变量会在语句（通常是块）之前的特殊结构中出现，例如for循环变量或中声明的变量using。

另一个例外是LINQ查询表达式中的局部变量，但它们与普通的局部变量声明完全不同，因此我认为那里没有混淆的可能。

作为参考，这些规则在C＃规范的§3.7范围中：

• 在local-variable-declaration中声明的局部变量的范围是声明所在的块。

• 在语句的switch-block中switch声明的局部变量的范围是switch-block。

• 在语句的for-initializer中for声明的局部变量的范围是for-initializer，for-condition，for-iterator和该语句包含的for语句。

• 声明为foreach-statement，using-statement，lock-statement或query-expression的一部分的变量的范围由给定构造的扩展确定。

（尽管我不完全确定为什么要switch明确提到该块，因为与其他所有提到的结构不同，它没有用于局部变量抽取的任何特殊语法。）

但是确实如此。您可以在任意位置通过包装行来创建本地范围{}

switch (criterion.ChangeAction)
{
  case BindingType.Inherited:
    {
      var action = (byte)ChangeAction.Inherit;
      return (x => x.Action == action);
    }
  case BindingType.ExplicitValue:
    {
      var action = (byte)ChangeAction.SetValue;
      return (x => x.Action == action);
    }
  default:
    // TODO: Localize errors
    throw new InvalidOperationException("Invalid criterion.");
}

我将引用埃里克·利珀特（Eric Lippert）的话，这个问题的答案很明确：

一个合理的问题是“为什么这不合法？” 一个合理的答案是“嗯，为什么要这样”？您可以使用以下两种方法之一。这是合法的：

switch(y) 
{ 
    case 1:  int x = 123; ...  break; 
    case 2:  int x = 456; ...  break; 
}

或这是合法的：

switch(y) 
{
    case 1:  int x = 123; ... break; 
    case 2:  x = 456; ... break; 
}

但是您不能同时拥有这两种方式。C＃的设计师选择第二种方法似乎是更自然的方法。

这项决定是在1999年7月7日做出的，距现在还不到十年。当天的注释中的注释非常简短，仅说明“开关案例不会创建其自己的声明空间”，然后提供一些示例代码来显示有效和无效的代码。

要了解有关这一特定日子设计师的想法的更多信息，我不得不让很多人对他们十年前的想法感到烦恼，并让他们烦恼最终是一件微不足道的问题。我不会那样做。

简而言之，没有特别令人信服的理由选择一种或另一种方式。两者都有优点。语言设计团队选择了一种方法，因为他们必须选择一种方法。他们选择的那个对我来说似乎很合理。

因此，除非您比Eric Lippert在1999年的C＃开发人员团队中工作得更多，否则您将永远不知道确切的原因！

解释很简单-这是因为它就像在C语言中那样。为了熟悉起见，像C ++，Java和C＃这样的语言已经复制了switch语句的语法和作用域。

（如另一个答案所述，C＃的开发人员没有关于如何做出有关大小写范围的决定的文档。但是C＃语法的未阐明原则是，除非他们有令人信服的理由进行不同的操作，否则他们将复制Java。 ）

在C中，case语句类似于goto-labels。对于已计算的goto，switch语句实际上是一种更好的语法。这些案例定义了进入开关块的入口点。默认情况下，其余代码将被执行，除非有显式退出。因此，只有它们使用相同的范围才有意义。

（从根本上讲。Goto的结构不是结构化的-它们不定义或分隔代码段，它们仅定义跳转点。因此goto标签不能引入作用域。）

C＃保留了语法，但是通过在每个（非空）case子句后要求退出来引入防止“失败”的保护措施。但这改变了我们对转换的看法！现在，案例是替代分支，就像if-else中的分支一样。这意味着我们希望每个分支都可以定义自己的范围，就像if子句或迭代子句一样。

简而言之：案例共享相同的范围，因为这在C语言中是这样。但是在C＃中，这似乎很奇怪且不一致，因为我们将案例视为替代分支而不是转到目标。

观察范围的一种简化方法是逐块考虑范围{}。

由于switch不包含任何块，因此不能具有不同的作用域。