你不知道的JS系列(2)- 引擎怎么查找变量

对代码进行处理的三个角色

引擎:从头到尾负责整个 JavaScript 程序的编译和执行过程
编译器:负责语法分析及代码生成等
作用域:负责收集并维护所有变量的查询
var a = 2;

编译器首先会将这段程序分解成词法单元,然后将词法单元流解析成一个树结构。然后将树结构转换成可执行代码,也就是计算机懂的指令。为一个变量分配内存,将其命名为 a,然后将值 2 保存进这个变量。这符合编译原理

然而并不完全正确

事实上编译器会进行如下处理

1、在词法分析中,遇到 var a,编译器会询问当前作用域是否有该变量。是,忽略该变量继续编译。否,要求作用域声明一个新的变量
2、在生成代码中,编译器对 a = 2 进行赋值操作。首先询问作用域,在当前作用域是否存在该变量。是,使用该变量。否,引擎继续查找该变量

如果引擎找到了 a ,就将 2 赋值给它。否则抛出异常

变量赋值操作会执行两个动作,一个是编译器在当前作用域声明该变量,然后引擎在作用域中查找该变量,进行赋值

查找的过程由作用域进行协助,但是引擎执行怎么样的查找,会影响最终的查找结果。引擎会为变量 a 进行 LHS 查询。另外一个查找的类型叫做 RHS 。它们代表赋值操作的左侧和右侧。更准确的说,LHS 查询是试图找到变量的容器本身。

LHS 和 RHS 的含义是 “赋值操作的左侧或右侧”,并不一定意味着就是 “ = 赋值操作符的左侧或右侧”。赋值操作还有其他几种形式,因此在概念上最好将其理解为 “赋值操作的目标是谁(LHS)” 以及 “谁是赋值操作的源头(RHS)”。

比如

function foo(a) {
  console.log(a) //2
}
foo(2);

对 foo 进行 RHS 引用。对 a 进行 LHS 引用。对 console 进行 RHS 引用

function foo(a){
  var b = a;
  return a + b;
}
var c = foo(2);

这里 LHS 有 3 处,RHS 有 4 处

这里每一次查找,都需要跟作用域配合一次

原文地址:https://www.cnblogs.com/wzndkj/p/12297855.html

时间: 2024-08-01 01:48:02

你不知道的JS系列(2)- 引擎怎么查找变量的相关文章

你不知道的JS系列 ( 5 ) - 词法作用域

作用域分为两种,一种是词法作用域,一种是动态作用域,我们先看第一种,词法作用域 词法作用域就是定义在词法阶段的作用域(编译器的第一个工作阶段叫做词法化,词法化的过程会对源代码中的字符进行检查).换句话说,词法作用域是由你在写代码时将变量和块作用域写在哪里来决定的.因此词法分析器处理代码时会保持作用域不变 function foo(a) { var b = a * 2; function bar(c){ console.log( a, b, c ); } bar( b * 3 ); } foo(

你不知道的JS系列 ( 7 ) - 欺骗词法作用域

如果词法作用域完全由写代码期间函数所声明的位置来定义,怎样才能在运行时来“修改”词法作用域呢?有些人喜欢特殊的办法来解决遇到的问题.我们规定词法作用域是代码写在哪里决定的,一旦决定了无法更改,因为一些问题,我们不得不更改作用域,尽管这是不被推荐的,那是什么办法,JavaScript 中有两种机制来实现这个目的 eval function foo(str, a) { eval(str); console.log(a, b) } var b = 2; foo("var b = 3", 1)

你不知道的JS系列 ( 12 ) - 声明提升

我们直觉上会认为 JavaScript 代码在执行时是由上到下一行一行执行的.但实际这并不完全正确 a = 2; var a; console.log(a); 这里可能会认为是 undefined,因为 var a 声明在 a = 2 之后.实际输出了 2. console.log(a); var a = 2; 鉴于上面的代码可能会是 2,还有人认为可能会报异常 ReferenceError,不幸这两种猜测都不对,输出来的是 undefined 要搞明白这个,要明白编译的原理,在编译阶段中的一部

你不知道的JS系列 ( 13 ) - 什么是闭包

当函数可以记住并访问所在的词法作用域时,就产生了闭包,即使函数是在当前词法作用域之外执行 function foo(){ var a = 2; function bar() { console.log(a); } return bar } var baz = foo(); baz(); // 2 —— 朋友,这就是闭包的效果 在 foo() 执行后,通常会期待 foo() 的整个内部作用域都被销毁,因为我们知道引擎有垃圾回收用来释放不再使用的内存空间. 而闭包的“神奇”之处正是可以阻止这件事情的

你不知道的JS系列 ( 33 ) - 对象复制

JS 初学者最常见的问题之一就是如何复制一个对象.看起来应该有一个内置的 copy() 方法,实际上比想象中的更复杂,我们无法选择一个默认的复制算法 function anotherFunction(){/** ... */}; var anotherObject = { c: true }; var anotherArray = []; var myObject = { a: 2, b: anotherObject, // 引用,不是复本! c: anotherArray, // 另一个引用

你不知道的JS系列 ( 19 ) - this 调用位置

我们排除了一些对于 this 对错误理解并且明白了每个函数的 this 是在调用时被绑定的,完全取决于函数的调用位置.寻找调用位置就是寻找“函数被调用的位置”,但是做起来并没有这么简单,因为某些编程模式可能会隐藏真正的调用位置 最重要的是要分析调用栈,就是为了到达当前执行位置所调用的所有函数 function baz(){ // 调用位置是全局作用域,调用栈 baz console.log('baz'); bar(); // bar 的调用位置 } function bar(){ // 调用位置

你不知道的JS系列 ( 22 ) - this new 绑定

在传统的面向类的语言中,“构造函数“是类中的一些特殊方法,使用 new 初始化类时会调用类中的构造函数.通常的形式是这样的 something = new MyClass(..); 然而 JavaScript 中 new 的机制实际上和面向类的语言不同.它们只是被 new 操作符调用的普通函数而已.实际上并不存在所谓的“构造函数”,只有对于函数的“构造调用” function foo(a) { this.a = a; } var bar = new foo(2); console.log(bar

你不知道的JS系列 ( 23 ) - this 绑定优先级

我们首先来看下隐式绑定和显示绑定哪个优先级更高 function foo(){ console.log(this.a) } var obj1 = { a: 2, foo: foo } var obj2 = { a: 3, foo: foo } obj1.foo(); // 2 obj2.foo(); // 3 obj1.foo.call(obj2); // 3 obj2.foo.call(obj1); // 2 这个例子可以看到,显示绑定优先级比隐式绑定更高. 现在我们需要搞清楚 new 绑定和

你不知道的JS系列 ( 39 ) - 对象遍历

for 循环可以遍历数组 var myArray = [1,2,3]; for(var i=0; i<myArray.length; i++) { console.log(myArray[i]) } // 1 2 3 ES5 增加了数组的辅助迭代器,包括 forEach(...).every(...).some(...) forEach(...) 会遍历数组中的所有值并忽略回调函数的返回值 every(...) 会一直运行直到回调返回 false some(...) 会一只运行直到回到函数返回