这个周末有幸见到了几位神交已久的库友(天天/迪迪/丁丁)，大家一起扯了些有的没的，很开森！

天天考了我一个问题，在C语言里面，如何在switch case中定义一个变量？要求是不用花括号。

这个问题是背景是，下面的代码是编译不过的，因为在case后面不能直接定义变量。

switch (v) {
   case 1:
      int a;
      get_value_of_xx(&a);
      set_yy(a);
      break;
   case 2:
      //do_sth
      break;
   defalut:
      break;
}

天天问我用什么特殊的招式可以化解这个编译错误？（加花括号不算）

答案竟然是把

case 1：

改成

case 1:;

加一个分号，是不是觉得很有趣？是不是百思不得其姐？（反正我是）

天天给我讲了一个我以前从未意识到的问题，case 和 defalt 其实都是标签，这么一说我一下子就明白了达夫设备的工作原理（虽然老早就知道达夫设备，但没有悟透）

维基百科上有对达夫设备的介绍 http://zh.wikipedia.org/wiki/%E8%BE%BE%E5%A4%AB%E8%AE%BE%E5%A4%87

send(to, from, count)
register short *to, *from;
register count;
{
	register n = (count + 7) / 8;
	switch(count % 8) {
	case 0:	do {	*to = *from++;
	case 7:		*to = *from++;
	case 6:		*to = *from++;
	case 5:		*to = *from++;
	case 4:		*to = *from++;
	case 3:		*to = *from++;
	case 2:		*to = *from++;
	case 1:		*to = *from++;
		} while(--n > 0);
	}
}

我把C99标准拿出来学习了一下，标签的巴科斯范式：

(6.8.1) labeled-statement:

      identifier : statement

      case constant-expression : statement

      default : statemen

如天天所说，case和default都是标签。

那么 statement 的巴科斯范式是怎么样的呢？

(6.8) statement:

     labeled-statement

     compound-statement

     expression-statement

     selection-statement

     iteration-statement

     jump-statement

标签后面几乎什么都可以，但唯独不可以是 declaration expression  （定义变量的表达式）

也就是说，可以这样

case 1:
{
  int a;
}

但不可以这样 

case 1:
  int a;

因为上面的写法不符合标签的巴科斯范式，编译器在做语法分析的时候报错

但是一旦写成

case 1:;
   int a;

编译就通过了，因为分号作为空语句，完全符合标签的巴科斯范式

这篇文章话只说了1/3，至于为什么标签后面(紧接其后)不能定义变量? C++又是怎么样的? 请读者自行思考和试验，我只负责抛砖。

今天冬至，太困了，不写了。

如何在switch case中定义变量(不用花括号)