js执行上下文、this绑定、词法环境和变量环境的理解

行上下文和执行栈：

执行上下文指的是js代码执行时候的环境，根据js代码执行的环境分为全局执行上下文、函数执行上下文和eval执行上下文。
执行上下文由三部分组成：this绑定、词法环境、变量环境。

This绑定：

This值绑定跟js的抽象类型Reference有关。
//抽象Reference类型的伪代码表示：
	var aRef = {
	base:
	name:
	 strict reference: //严格模式是否开启
	}

This值确定的步骤：

1. 将（）函数调用前面的js表达式的结果赋值给一个变量ref。
2. 判断ref的类型是否为Reference类型。
3. 如果js表达式的结果是Reference类型,且base为对象，this值就为getBase（ref）。
4. 如果js表达式的结果是Reference类型，且base为当前词法环境中的EnvironmentRecord（环境记录项），那么this的值为undefined。
5. 如果js表达式的结果不是Reference类型，this 的值为undefined。

词法环境：

词法环境是一种抽象的规范类型，是基于ECMAScript代码的词法嵌套结构来定义标识符和集体变量和函数的关联。
一个词法环境由环境记录项和一个可能为null的外部词法环境引用组成。环境记录项是存储变量和函数声明的实际位置，外部环境引用意味着它可以访问其父级的词法环境（父级作用域）。

词法环境类型伪代码：
LexicalEnvironment：{
EnvironmentRecord:{
//变量声明位置
},
Outer: 外部词法环境引用
}

变量环境：

它同样是一个词法环境，其环境记录项持有变量声明语句在执行上下文中创建的绑定关系。如上所述，变量环境也是一个词法环境，所以它有着上面定义的词法环境所有的属性。在ES6中，词法环境和变量环境的一个不同就是前者被用来存储变量（let和 const）绑定，而后者来存储函数声明和var变量绑定。

Ps：

1.在ES6前，声明变量都是通过var关键词声明的，在ES6中则提倡使用let和const来声明变量，为了兼容var的写法，于是使用变量环境来存储var声明的变量。
2.当遇到Block或CaseBlock时，将会新建一个环境记录，在块中声明的let/const变量、函数、类都存放这个新的环境记录中，这些变量与块强绑定，在块外界则无法读取这些声明的变量。这个特性就是我们熟悉的块作用域。

参考链接：
执行上下文：
https://juejin.cn/post/6844903682283143181
this绑定：
https://github.com/mqyqingfeng/Blog/issues/7
词法环境：https://blog.csdn.net/lyt_angularjs/article/details/105583936