定义
任何程序语言都有作用域,JavaScript
(以下简称JS
)也不例外。作用域——即变量以及函数的作用范围,控制着变量和函数的可见性和生命周期。在ES6
(JS
的核心ECMAScript
)版本之前,是没有块级作用域的,只有全局作用域和函数作用域(局部作用域)。
全局作用域
全局作用域,从字面上的意思即可理解,在全局作用域声明的变量和函数可作用于任何代码中,同时他们的生命周期会一直存在,直到浏览器关闭。
// test1
var globalVar = 1;
function globalFun() {
console.log(globalVar);
}
globalFun(); // 1
// test2
if (true) {
var a = 'global';
}
console.log(a); // 'global',在if里面声明变量是没有块作用域的,因此可以在外面的全局作用域访问到
函数作用域
函数作用域,一个函数会生成一个作用域,在函数内声明的变量和函数只能作用于该函数或者内部函数,当函数调用完毕,即销毁变量和函数(没有生成闭包函数的情况下)。
function globalFun() {
var local = 'local';
function localFun() {
console.log(local);
}
localFun();
}
globalFun(); // 'local'
console.log(local); // Uncaught ReferenceError: local is not defined(…)
localFun(); // Uncaught ReferenceError: localFun is not defined(…)
我们在globalFun
内部定义了local
变量和localFun
函数,local
是作用于整个globalFun
的,因此同样处于globalFun
中的localFun
内部可以访问的到local
。然后我们在外面访问local
和localFun
,不处于globalFun
内部,因此都抛出了错误,两个都是未定义的。
变量声明提升
对JS
解释器而言,进入一个(全局、函数)作用域时会抽出该作用域声明的变量,优先进行解析,这就是变量声明提升。
console.log(a); // undefined
var a = 1;
上面的代码先打印变量a
,再声明变量,但是结果并没有抛出错误,这都是归功于变量声明提升。在JS
解释器的解析中,可以看做是以下伪代码:
var a;
console.log(a);
a = 1;
var a
声明会被抽出来,放在代码开头,a = 1
赋值操作不处理。于是console.log(a)
的时候,a
还没有被赋值,则是undefined
。变量声明提升无论在全局作用域还是函数作用域都是有效的,因此我们为了不混淆自己或者'队友',会将一个作用域的所有变量在开头先声明,也就是上面的代码。
另外,切记切记,if并不会开辟新的作用域,如果在if内部声明变量一样会提升的。
// 原代码
console.log(a); // undefined
if (false) {
var a = 1;
}
// js解释器眼中的代码
var a;
console.log(a);
if (false) {
a = 1;
}
函数声明提升
函数的定义方式有两种:函数声明和函数表达式。只有函数声明会被提升,函数表达式不会。
statement(); // 1
expression(); // Uncaught TypeError: expression is not a function(…)
// 函数声明
function statement() {
console.log(1);
}
// 函数表达式
var expression = function () {
console.log(2);
}
其实原理跟变量声明差不多,不同的是函数声明会将整个函数提升,变量仅仅声明提升还没有赋值。变量声明和函数声明同时存在时,变量声明比函数声明优先。下面是伪代码:
// 声明提升
var expression;
function statement(){
console.log(1);
}
// 剩余代码
statement();
expression();
expression = function () {
console.log(2);
}
区分函数声明和函数表达式
函数声明:一个语句的开头是function的就是函数声明,也就是上一句代码结束了
// 函数声明
function a(){} //语句开头是function
;function a(){} //function前面是`;`,代表上一句结束,所以function又是一个新的语句
函数表达式:非函数声明的就是函数表达式
// 函数表达式
(function a(){}); // 语句由()括号开头,非函数声明
!function a(){}; // 语句由!开头
var a = function (){}; // var a开头
……
es6中的块级作用域
es6中增加了两个定义变量的关键字:let
和const
,实现了块级作用域!
let:在{}里用let声明的变量,只作用于该{}块中,没有声明提升、不能重新声明同样的变量
const:拥有let的特性,并且const定义的变量值必须初始化并且后面不能修改。
// 块级作用域
if (true) {
let a = 1;
const b = 2;
}
console.log(a); // Uncaught ReferenceError: a is not defined(…)
console.log(b); // Uncaught ReferenceError: a is not defined(…)
// 没有声明提升
console.log(a); // Uncaught ReferenceError: a is not defined(…)
let a = 1;
console.log(b); // Uncaught ReferenceError: a is not defined(…)
const b = 2;
// 不能重新定义
let a = 1;
let a = 2; // Uncaught SyntaxError: Identifier 'a' has already been declared
const b = 3;
const b = 4; // Uncaught SyntaxError: Identifier 'b' has already been declared
// const是常量,必须要初始化值并且后面不能修改
const a; // Uncaught SyntaxError: Missing initializer in const declaration 没有初始化值
const b = 1;
b = 2; // Uncaught SyntaxError: Identifier 'b' has already been declared(…) 不能修改
结语
最后还是提醒一下,声明变量和声明函数都放到作用域的开头,以防留坑!