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

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

每天考了我一个问题，在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++又是怎么样的? 请读者自行思考和试验，我只负责抛砖。

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