重学前端学习笔记二十try里面放returnfinally还会执行吗

笔记说明

重学前端是程劭非（winter）【前手机淘宝前端负责人】在极客时间开的一个专栏，每天 10 分钟，重构你的前端知识体系，笔者主要整理学习过程的一些要点笔记以及感悟，完整的可以加入 winter 的专栏学习【原文有 winter 的语音】，如有侵权请联系我，邮箱：kaimo313@foxmail.com。

一、引言

本文讲一讲 JavaScript 语句。

二、Completion 类型

// return 执行了但是没有立即返回，而是先执行了 finally
function kaimo(){
  try{return 0;} catch(err) {console.log(err)
  } finally {console.log("a")
  }
}

console.log(kaimo()); // a 0

// finally 中的 return 覆盖了 try 中的 return。function kaimo(){
  try{return 0;} catch(err) {console.log(err)
  } finally {return 1;}
}

console.log(kaimo()); // 1

2.1、Completion Record

Completion Record 用于描述异常、跳出等语句执行过程。表示一个语句执行完之后的结果，它有三个字段。

• [[type]]：表示完成的类型，有 break、continue、return、throw、normal 几种类型
• [[value]]：表示语句的返回值，如果语句没有，则是 empty
• [[target]]：表示语句的目标，通常是一个 JavaScript 标签

JavaScript 使用 Completion Record 类型，控制语句执行的过程。

三、普通语句

在 JavaScript 中，把不带控制能力的语句称为普通语句。种类可以参考引言的图片。

1、这些语句在执行时，从前到后顺次执行（这里先忽略 var 和函数声明的预处理机制），没有任何分支或者重复执行逻辑。

2、普通语句执行后，会得到 [[type]] 为 normal 的 Completion Record，JavaScript 引擎 遇到这样的 Completion Record，会继续执行下一条语句。

3、在 Chrome 控制台输入一个表达式，可以得到结果，但是在前面加上 var，就变成了 undefined。Chrome 控制台显示的正是语句的 Completion Record 的 [[value]]。

四、语句块

语句块 就是拿大括号括起来的一组语句，它是一种语句的复合结构，可以嵌套。

语句块内部的语句的 Completion Record 的 [[type]] 如果不为 normal，会打断语句块后续的语句执行。

1、内部为普通语句的一个语句块：

// 在每一行的注释中为 Completion Record
{
    var i = 1; // normal, empty, empty
    i ++; // normal, 1, empty
    console.log(i) //normal, undefined, empty
} // normal, undefined, empty

在这个 block 中都是 normal 类型的话，该程序会按顺序执行。

2、加入 return

// 在每一行的注释中为 Completion Record
{
  var i = 1; // normal, empty, empty
  return i; // return, 1, empty
  i ++;
  console.log(i)
} // return, 1, empty

在 block 中产生的 非 normal 的完成类型可以穿透复杂的语句嵌套结构，产生控制效果。

五、控制型语句

控制型语句带有 if、switch 关键字，它们会对不同类型的 Completion Record 产生反应。

控制类语句分成两部分：

• 对其内部造成影响：如 if、switch、while/for、try。
• 对外部造成影响：如 break、continue、return、throw。

穿透 就是去上一层的作用域或者控制语句找可以消费 break，continue 的执行环境，消费 就是在这一层就执行了这个break 或者 continue

这两类语句的配合，会产生控制代码执行顺序和执行逻辑的效果。

六、带标签的语句

1、任何 JavaScript 语句是可以加标签的，在语句前加冒号即可：。

    firstStatement: var i = 1;

2、类似于注释，基本没有任何用处。唯一有作用的时候是：与完成 记录类型中的 target 相配合，用于跳出多层循环。

    outer: while(true) {console.log("outer")
        inner: while(true) {console.log("inner1")
            break outer;
            console.log("inner2")
        }
    }
    console.log("finished")

    // outer  inner1  finished

个人总结

越看越发现自己菜鸡。。。_(:3」∠)_

看的懂的可以看看这个 https://tc39.github.io/ecma262/#sec-runtime-semantics