话说大家对于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编译结果的优化策略之一。