第一部分:作用域和闭包
不要满足于只是让代码正常工作,而是弄清楚为什么是这样
作用域是什么
定义的变量存储在哪里?程序是如何找到变量的?实现的 规则就是作用域
传统编译语言执行前的编译三步骤(p5)
- 分词/ 词法分析(Tokenizing/ Lexing)
- 解析/ 语法分析 (Parsing)
- 代码生成
理解作用域
- 引擎--负责编译与执行整个过程
- 编译器 -- 语法分析与代码生成等
- 作用域 -- 收集并维护声明的变量查询,确定标识符的访问权限
LHS和RHS
含义是赋值操作的左侧或者右侧,并不一定是“=赋值操作符的左侧或者右侧”,因此在概念上可以理解为“赋值的对象是谁(LHS)”和“谁是赋值操作的源头(取源RHS)”
// 练习
// 请问引擎和作用域通话,分别进行了多少次LHS和RHS查询
// 请指出
function foo (a) {
var b = a;
return a + b;
}
var c = foo(2);
3处LHS查询是
me:
1:foo(..)赋值给c;
2:隐式将2 赋值给 a;
3:a赋值给b;
参考:
c = ..、 a = 2(隐式变量分配)、b = ..
4处RHS查询是
me:
1:引擎通过作用域知道c是一个foo
2:引擎通过作用域知道foo是个函数
3:?
4:return
参考:
foo(2..、 = a、 a..、 ..b(return 处的a 与 b 分别进行了一次RHS)
作用域嵌套
一个块或者函数嵌套在另一个块或者函数中就发生了作用域的嵌套。
嵌套作用域中的查询规则:“就近原则”,当前作用域中没有找到目标,则沿着原型链往外一层一层找,直到全局作用域。在全局作用域中未找到,查找停止,抛出异常。
区分LHS和RHS的重要性:变量未声明时,两种查询的行为不一样。
function foo (a) {
console.log(a + b);
b = a;
}
第一次在对b进行RHS查询时找不到该变量,引擎抛出ReferenceError错误;相较之下LHS查询在到不到时, “非严格模式”下会隐式创建全局变量,比如 b = a
;
- ReferenceError 同作用域判别失败相关, 而 TypeError 则代表作用域判别成功了, 但是对结果的操作是非法或不合理的
词法作用域
略
函数作用域和块作用域
函数作用域的含义是指,属于这个函数的全部变量都可以在整个函数的范围内使用及复用。
我们都知道JS具有基于函数的作用域,(ES6出现了块级作用域)在函数内声明的变量和嵌套的函数都可以在函数内调用,外部不允许访问(符合最小特权原则)。这样设计的好处是能充分利用JavaScript 变量可以根据需要改变值类型的“ 动态” 特性。与此同时,还要避免隐式全局变量的声明。
规避冲突
全局命名空间
模块管理 (p26)
函数声明和函数表达式
两者之前最重要的区别是他们的名称标识符将会绑定在何处。
补充: 名称标识符
立即执行函数表达式IIFE( Immediately Invoked Function Expression)p28
块作用域
- with语句会创建
- try/catch 语句中catch分句会创建
- let关键字
- const关键字
提升是指声明会被视为存在于其所出现的作用域的整个范围内。
let声明的变量不会提升
{
console.log( bar ); // ReferenceError!
let bar = 2;
}
显示声明块级作用域
// 使用{ } 显示声明let
{
let a = 0;
console.log(a);
}
const定义个一个块常量,定义之后不允许改变。
块作用域与垃圾回收
function process(data) {
// 在这里做点有趣的事情
}
// 1.内存可能没有释放
var someReallyBigData = { .. };
process( someReallyBigData );
// 2.在这个块中定义的内容可以销毁了!
//{
// let someReallyBigData = { .. };
// process( someReallyBigData );
// }
var btn = document.getElementById( "my_button" );
btn.addEventListener( "click", function click(evt) {
console.log("button clicked");
}, /*capturingPhase=*/false );
由于 click 函数形成了一个覆盖整个作用域的闭包, JavaScript 引擎极有可能依然保存着someReallyBigData ( 取决于具体实现)。但是2. 声明了块作用域,引擎明确知道click函数不需要someReallyBigData ,使someReallyBigData 得内存占用得到释放。
为变量显式声明块作用域, 并对变量进行本地绑定是非常有用的工具
提升
概念:代码在执行前,声明(函数和变量)会都会在其作用域的顶端,可看做声明的变量或者函数移动到了作用域的最顶端。
// 举例:
{
console.log(a) // undefined
var a = 1
}
引擎在执行前词法分析一步将上面代码看做 var a 声明和 a = 1 赋值两步,声明var a 将会被提升,因此在执行性console.log(a) 时, 引擎已经知道a,由于赋值保留在代码赋值的位置,所以a为undefined。如果a没有提升,浏览器将会报ReferenceError 错误。
注意:
-
函数表达式不会提升。
-
函数优先
foo() // foo
var foo;
function foo () {
console.log('foo')
}
尽管 var foo定义在function foo ... 之前, 但由于function foo .. 函数声明优于变量声明, var foo 重复声明被忽略,因此 foo() 能够正确执行。如果var foo 变量在function foo 之前声明, 那么函数foo将作为重复声明而被忽略, 导致foo()执行包ReferenceError错误。