开关无外壳

Question

今天，我无意中发现，在没有大小写的 switch 语句中编写代码时，我的编译器不会报错。 （它确实抱怨缺少 case 语句，但是在代码后面添加一个之后，并没有警告让我知道代码没用。）

我试图弄清楚是否有允许以下代码的目的，或者它是否只是“限制它的工作量更大，所以允许它”的那些事情之一。

#include <iostream>
void foo() {
   std::cout << "foo" << std::endl;
}

int main()
{
   for (int a = -10; a < 10; ++a)
   {
      switch(a)
      {
         foo();
      case 4:
         std::cout << "4" << std::endl;
      }
   }
}

现在当 a == 4 时，它会按预期输出“4”，并且它永远不会输出 foo。所以问题是，是否有一些（可能深奥但有用的）理由允许在第一个案例之前使用声明 foo();？我确定我不能在那里声明和初始化变量。

（FWIW，我已经在几个编译器上对此进行了测试，它们都产生了相同的行为。令人惊讶的是，它们也都没有输出警告。）

Answer 1

是的，行为与语言中的设计一致，您可以在不同的地方添加代码。 Switch 语句比外观复杂得多，而且它们允许编写相当深奥的代码，不管它是否有意义。

如果你想花点时间看看switch的一些奇怪用法和case的位置，你可以看看boost asio库中协程的实现。您可以使用宏编写一个小函数，编译并查看生成的代码（宏扩展后）的样子。

Answer 2

来自MSDN:-

声明可以出现在复合语句的开头 开关体，但声明中包含的初始化是 不执行。 switch 语句直接将控制权转移到 正文中的可执行语句，绕过包含的行 初始化。