JavaScript 之 预编译 作用域，作用域链
程序员文章站
2023-08-18 21:42:23
第一次写博客，本来是学习jQuery遇到闭包问题，发现并没有理解闭包，发现闭包牵扯的知识点太多。复习了一遍(发现自己该记住的全忘了)写在博客里，自己也是小白，希望大神们指点迷津，必将感激不尽。 我们知道JavaScript有两个特点：单线程，解释型语（翻译一行，解释一行）。但其实翻译一行，解释一行是 ......
第一次写博客，本来是学习jquery遇到闭包问题，发现并没有理解闭包，发现闭包牵扯的知识点太多。复习了一遍(发现自己该记住的全忘了)写在博客里，自己也是小白，希望大神们指点迷津，必将感激不尽。
我们知道javascript有两个特点：单线程，解释型语（翻译一行，解释一行）。但其实翻译一行，解释一行是最后一部才这样做，在这之前会有一个语法分析：通篇扫描看有没有语法错误，但不执行，通篇扫描之后，会进行 预编译 然后 -->解释一行，执行一行。这就是我们所说的js运行三部曲：语法分析 预编译 解释执行
没错，预编译开始啦！
test() //vm129:1 uncaught referenceerror: test is not defined
console.log(a) // vm118:1 uncaught referenceerror: a is not defined
test(); //456
function test(){
console.log(456);
}；
console.log(a); //undefined
var a = 123;
上面四段代码当我们执行前两个的时候报错，浏览器告诉我们 test 和 a 没有被定义，而后两段代码并没有报错，这就是预编译。
在学习预编译的时候我们总是记住一句话：函数声明整体提升，变量 声明提升。也就是说预编译会把整个函数放在最最前面。而变量 声明提升是什么意思呢？
var a = 123;其实是变量声明和赋值的两个过程；1）var a; 2）a = 123;预编译只把声明提升在最前面
console.log(a); //undefined
var a = 123;
--->
var a;
console.log(a); //undefined
a = 123;
--------------------------
test(); //456
function test(){
console.log(456);
}
--->
funciton test(){
console.log(456);
}
test(); // 456
但是光记住这两句话并不能解决所有的问题。
看一下下面的
console.log(a);
function a(){
}
var a = 123;
想一下打印的是什么？
居然是
ƒ a(){
}
再看看下面的更复杂的
console.log(a);
function a(a){
var a = 234;
var a = function(){
}
a();
}
var a = 123;
这个打印出来是什么呢？
ƒ a(a){
var a = 234;
var a = function(){
}
a();
}
这是为什么呢？
下面来讲一下预编译： imply global 暗示全局变量：即任何变量。如果变量未经申明就赋值，此变量就为全局对象（window）所有。
a = 123；如果 var a = b = 123；在函数里a就是函数内部变量，b则是全局变量。
一切声明的全局变量，全是window的属性(window 就是全局的域)：var a = 123;-----> window.a = 123；
使用var声明的变量会自动被添加到最接近的环境中。
预编译发生在函数执行的前一刻。
预编译四部曲：
1.创建ao对象/活动对象（activation object）（执行期上下文）
2.找形参和变量声明，将变量和形参名作为ao属性名，值为undefined
3.将实参值和形参统一
4.在函数体里面找到函数声明，值赋予函数体
由此我们便知道上面的那两个例子打印的为什么是那样的。
下面我们来看下更复杂的
function fun(a) {
console.log(a);
var a = 123;
console.log(a);
function a() { }
console.log(a);
var b = function () { }
console.log(b);
function d() { }
}
fun(1);
-->
1.生成ao对象
ao{
}
2.找形参和变量声明，将变量和形参名作为ao属性名，值为undefined
ao{
a: undefined;
b:undefined;
}
3.将实参值和形参统一
ao{
a: 1;
b:undefined;
}
4.在函数体里面找到函数声明，值赋予函数体
ao{
a: function a(){};
b:undefined;
d:function(){}
}
预编译结束
函数执行 ao就像一个创库一样，函数执行期间里面的仓库也会变化
ao{
a: function a(){};
b:undefined;
d:function(){}
}
function fun(a) {
console.log(a); // ƒ a() { }
var a = 123;
console.log(a); //123
function a() { }
console.log(a); //123
var b = function () { }
console.log(b); //ƒ () { }
function d() { }
}
--------------------------
function test(){
console.log(b);
if(a){
var b = 100;
}
console.log(b);
c = 234;
console.log(c);
}
var a;
test();
a = 10;
console.log(c);
预编译
全局go
go{
a:undefined;
test:function test(){}
}
ao{
b:undefined;
}
------------
执行函数
go{
a:undefined;--->10
test:function test(){}
c:234
}
ao{
b:undefined;
}
function test(){
console.log(b); //undefined
if(a){
var b = 100;
}
console.log(b); //undefined
c = 234;
console.log(c); //234
}
var a;
test();
a = 10;
console.log(c); //234
作用域 作用域链
function test（）{}；
我们知道一个函数就像一个房子一样，这个房子形成单独的域，里面能看到外面的，外面的看不到里面的，我们可以把函数生成的空间叫做作用域那这个作用域到底是什么呢？
这个作用域是因函数产生而产生的，每个对象都有属性和方法，函数（function）也是一种特殊的对象，函数可以有test.name test.prototype ...这些是可以访问的
还有一些属性是不可以访问的隐式属性仅供javascript引擎处理。 比如[[scope]]：指的就是我们所说的作用域链，其中存储了执行期上下文的集合。
为什么时集合呢？作用域链：是[[scope]]中所存储的执行期上下文的集合，这个集合呈现链式连接，我们把这种连接叫做作用域链。
作用域链本质上是一个指向变量对象的指针列表，他只是引用，但不包含实际变量对象。
test.[[scope]]这里面存的就是作用域。系统会根据内部的原理去定期调用scope。
上面提到了执行期上下文（前面作用域也提到的ao对象就是这个）：当函数执行的前一刻的时候，会创建一个称为执行期上下文的内部对象（ao activation object）。一个执行期上下文定义了一个函数执行时的环境
函数每次执行时对应的上下文都是独一无二的 test()； test();一样的函数但是执行期上下文并不相同，所以多次调用一个函数会导致创建多个执行上下文，当函数执行完毕，他所产生的执行上下文会销毁。
看一下下面的例子
function a(){}
var glob = 100;
a();
当a函数被定义 a.[[scope]]---> 0:go{} 因为a函数在全局作用域里，所以他的第一位存的时go
当a执行执行 a.[[scope]]---> 0:ao{}
1:go{}
----------------------------------------------
function a(){
function b(){
function c(){}
c();
}
b();
}
a();
a defined a.[[scope]] ---> 0 : go
a doing a.[[scope]] ---> 0 : a ao
1 : go
b defined b.[[scope]] ---> 0 : a ao
1 : go
b doing b.[[scope]] ---> 0 : b ao
1 : a ao
2 : go
c defined c.[[scope]] ---> 0 : b ao
1 : a ao
2 : go
b doing c.[[scope]] ---> 0 : c ao
1 : b ao
2 : a ao
3 : go