你真的懂switch吗？聊聊switch语句中的块级作用域

[forthealllight]

你真的懂switch吗？聊聊switch语句中的块级作用域

---

  最近在代码中不小心不规范的，在switch里面定义了块级变量，导致页面在某些浏览器中出错，本文讨论以下switch语句中的块级作用域。

• switch语句中的块级作用域
• switch语句中的块级作用域可能存在的问题
• 规范和检测

---

一、switch语句中的块级作用域

  ES6 或 TS 引入了块级作用域,通过let和const、class等可以定义块级作用域里的变量，块级作用域内的变量不存在变量提升，且存在暂时性死区。常见的if语句，for循环的循环体内都可以定义块级变量。那么switch语句中的块级作用域是什么呢？ 先给出结论：

switch语句中的块级作用域，在整个switch语句中，而不是对于每一个case生成一个独立的块级作用域。

下面来举几个例子来说明这个问题：

let number = 1;
switch(number){
  case 1:
    let name = 'Jony';
  default:
    console.log(name)
}

上述的代码会输出jony。

再看一个例子：

let number = 1;
switch(number){
  case 1:
    let name = 'Jony';
    break;
  case 2:
    let name = 'yu';
    break;
  default:
   console.log(name);
}

这样会在重复生命的错误：

Uncaught SyntaxError: Identifier 'name' has already been declared

上述两个例子说明确实switch语句中，整个switch语句构成一个块级作用域。而与case无关,每一个case并不会构成一个独立的块级作用域。

二、switch语句中的块级作用域可能存在的问题

  我们知道了switch语句，整个switch语句的顶层是一个块级作用域，但是还要注意case的特殊性，在case中声明的变量，并不会提升到块级作用域中。

let number = 2;
switch(number){
  case 2:
    name = 'yu';
    break;
}

在这个例子中，name虽然没有声明，但是给name赋值相当于给全局的window对象复制，也就是window.name = 'yu'。不会有任何问题。

有意思的问题来了：

let number = 2;
switch(number){
  case 1:
    let name = 'jony';
    break;
  case 2:
    name = 'yu';
    break;
}

这个例子中，会报错，会报name未定义的错误。

Uncaught ReferenceError: name is not defined

原因的话，这里虽然case里面定义的块级虽然不会存在变量提升，但是会存在暂时性死区,也就是说如果let name = 'jony' 没有执行，也就是name定义的过程没有执行，那么name在整个块级作用域内都是不可用的，都是undefined。

为了证明我们的想法，接着改写上面的例子：

let number = 1;
switch(number){
  case 1:
    let name = 'jony';
    break;
  case 2:
    name = 'yu';
    break;
}

我们把number改成1,我们发现代码不会报任何的错误,因为此时let name的定义和赋值都被执行了。

三、规范和检测

一、什么时候会出现问题

  可能会说为什么在自己的项目中，在ES6或者TS代码中即使有上述的错误使用，也没有报错？

  笔者之前也有这样的问题，要明确的是是否你把ES6或者TS的代码直接转化成了es5，然后再调试或者发布的线上的，当let被编译成es5后，当然就不会存在上述switch中作用域的问题。但是现实中，编译成es5后的js文件可能太大，对于高版本浏览器我们希望直接使用ES6代码（通过type = module来判断浏览器对于ES6的支持性），那么这么上述问题就会出现。

二、如何检测和规避

  那么如何避免这种情况呢，当然最好的方式，就是不要在case中定义块级变量,但是万一不小心写了上述的问题代码如何检测呢。

首先使用typescript，静态编译是不能出现错误提示的，因为这个错误是运行时异常。最好的方式是通过编写eslint的规范来解决上述的非法使用问题。

[huihongzhou]

let number = 1;
switch(number){
case 1:
{ let name = 'Jony';}
default:
console.log(name)
}

[toFrankie]

1. 在 switch 语句的 case 内若有变量声明，必须要用大括号括起来。其中 ESLint 中有个 no-case-declarations 规则专门检查这种情况。

2. 其实 let、const、class 也是会“Hoisting”的（可断点看执行上下文）。只是 TDZ 机制，使得它在定义之前调用抛出错误而已。但如果从使用角度看，也可以认为是不会提升的。

let number = 2
switch (number) {
  case 1:
    let name = 'jony'
    break
  case 2:
    name = 'yu'
    break
}

这个示例，在不同浏览器或同一浏览器不同版本，抛出的提示是有区别的：

• ReferenceError: Cannot access uninitialized variable.
• Uncaught ReferenceError: name is not defined
• ReferenceError: can't access lexical declaration 'name' before initialization

从这些提示信息看，各 JS 引擎底层实现，细微之处应该还是有区别的。但它们是都遵循 TDZ 的要求（先定义再使用）。

例如，那个 async/await + promise 执行顺序的问题，在不同引擎下，在今天仍然是有区别的，比如它们处理 Promise.resolve() 的方式，在引擎底层是有区别的，导致了不同的结果。