JavaScript：假如default不是switch的最后一项
2011-05-24 11:33 by 老赵, 7968 visits话说大家对于switch语句应该再熟悉不过了，各种类C语言都不例外，JavaScript自然也是如此。switch的逻辑很简单，根据switch内容的值执行对应的case项，否则执行default项即可。但是不同的语言在具体一些细节上面的处理却是不同的。例如在JavaScript里，每个case项都可以没有break，于是语句便会顺延到下个case或是default里面去——但某些语言设计者认为这种特性容易造成代码理解上的偏差，因此比如在C#里便要求每个非空的case都要有个break。那么再来一个细节问题：如果default之后还有case，那么会出现什么样的情况？如果default里没有break呢？
switch (a) { case 0: console.log("0"); default: console.log("default"); case 1: console.log("1"); }
就好比这段代码，当a等于0、1或2的时候，将会输出什么样的内容呢？先猜猜，别急着往下看。
当a等于0时，则会输出：
0 default 1
当a等于1时，则会输出：
1
当a等于2时，则会输出：
default 1
好吧，尽管这样的代码比较罕见，但执行结果也并没有什么“特殊”的。switch的规则依旧可以用一句话说清：如果匹配到某个case，则从该case处开始执行，否则就从default处开始执行，一直向下，直到出现break语句为止。至于default的位置是否在最后，对于执行的策略可谓完全没有影响。
当然，我实在没想到为什么有人会写这样的代码，所以假如有人对这点感觉恍惚我也觉得没太大关系。不过既然我要写Jscex，则还是必须对此类代码的行为有所了解。尽管语言的使用者可以选择合适的子集，但语言的开发者（编译器、解释器等等）却必须遵循完整的规范，这是Jscex这类项目需要应对的麻烦。
既然Jscex号称支持“全部JavaScript语言特性”，自然对switch的支持也在包括在内。switch的麻烦之处在于它的每个分支不像if语句那样完全相互独立，而是会不断“穿透”下去直至遇上break。因此Jscex在处理switch的时候也使用了一些技巧。例如下面这段代码：
switch (a) { case 0: $await(helloWorld()); default: console.log("default"); case 1: console.log("1"); }
Jscex会将每个case及default中的语句“补齐”，以“确保”每项里都有完整的语句以及最后的break：
switch (a) { case 0: $await(helloWorld()); console.log("default"); console.log("1"); break; default: console.log("default"); console.log("1"); break; case 1: console.log("1"); break; }
然后再将其编译为：
switch (a) { case 0: return $$_builder_$$_0.Bind(helloWorld(), function () { console.log("default"); console.log("1"); return $$_builder_$$_0.Normal(); }); default: console.log("default"); console.log("1"); return $$_builder_$$_0.Normal(); case 1: console.log("1"); return $$_builder_$$_0.Normal(); } })
自然，如果switch里没有包含bind操作（例如$await语句），则整个switch语句都会得以保留，这也是Jscex编译结果的优化策略之一。
看后的浅薄感想：