这个周末有幸见到了几位神交已久的库友(天天/迪迪/丁丁)，大家一起扯了些有的没的，很开森！
天天考了我一个问题，在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++又是怎么样的? 请读者自行思考和试验，我只负责抛砖。
今天冬至，太困了，不写了。