目录
var是全局变量,let是块级作用域,const是块级作用域。
var在{}外依然能被访问
var x=10;
//输出x=10
for(var i=0;i<10;i++)
{
输出x=0-9
}
//输出x=10
let
ES6前,没有块级作用域的概念。ES6可以使用let关键字来实现块级作用域
let声明的变量只在let命令所在块
var x=8;
//输出x=8
for(let i=0;i<10;i++)
{
输出x=0-9
}
//输出x=8
console.log(i);//error
let定义的i只在for循环中有效,在循环体外引用就会报错。
for循环中的Let
for循环有一个特别之处,设置循环变量的那部分是一个父作用域,而循环体内部是一个单独的子作用域。
for (let i = 0; i < 3; i++) {
let i = 'abc';
console.log(i);
}
// abc
// abc
// abc
上面代码正确运行三次,表明内部的变量i与循环体变量i不在同一个作用域,有各自单独的作用域(同一个作用域不可使用let重复声明同一个变量)
重新定义变量
使用var重新声明可能会带来问题,在块内声明也会重新声明块外的变量:
var x=10
// x=10
{
var x=2; //x=2
}
//这里x=2
let可以
var x=10
//x=10
{
let x=2; //x=2
}
//这里输出x=10
在函数体内,var和let的作用域都是局部
在函数体外,var和let的作用域都是全局
HTML代码中使用全局变量
在js中,全局作用域是针对js环境
在HTML中,全局作用域针对window对象
使用 var 关键字声明的全局作用域变量属于 window 对象:
var carName = "Volvo";
// 可以使用 window.carName 访问变量
使用 let 关键字声明的全局作用域变量不属于 window 对象:
let carName = "Volvo";
// 不能使用 window.carName 访问变量
重置变量
使用var 关键字声明的在任何地方都可以更改
var x = 2;
// x 为 2
var x = 3;
// 现在 x 为 3
在相同的作用域或块级作用域中,不能用Let来重置var声明的变量。
var x = 2; // 合法
let x = 3; // 不合法
{
var x = 4; // 合法
let x = 5 // 不合法
}
在相同的作用域或块级作用域中,不能使用 let 关键字来重置 let 关键字声明的变量:
let x = 2; // 合法
let x = 3; // 不合法
{
let x = 4; // 合法
let x = 5; // 不合法
}
在相同的作用域或块级作用域中,不能使用 var 关键字来重置 let 关键字声明的变量:
let x = 2; // 合法
var x = 3; // 不合法
{
let x = 4; // 合法
var x = 5; // 不合法
}
let 关键字在不同作用域,或不同块级作用域中是可以重新声明赋值的:
let x = 2; // 合法
{
let x = 3; // 合法
}
{
let x = 4; // 合法
}
暂时性死区
只要块级作用域存在Let命令,声明的变量就被“绑定”(binding)这个区域,不受外部影响。
var tmp = 123;
if (true) {
tmp = 'abc'; // ReferenceError
let tmp;
}
上面代码中,存在全局变量tmp
,但是块级作用域内let
又声明了一个局部变量tmp
,导致后者绑定这个块级作用域,所以在let
声明变量前,对tmp
赋值会报错。
ES6 明确规定,如果区块中存在let
和const
命令,这个区块对这些命令声明的变量,从一开始就形成了封闭作用域。凡是在声明之前就使用这些变量,就会报错。
总之,在代码块内,使用let
命令声明变量之前,该变量都是不可用的。这在语法上,称为“暂时性死区”(temporal dead zone,简称 TDZ)。
if (true) {
// TDZ开始
tmp = 'abc'; // ReferenceError
console.log(tmp); // ReferenceError
let tmp; // TDZ结束
console.log(tmp); // undefined
tmp = 123;
console.log(tmp); // 123
}
上面代码中,在let
命令声明变量tmp
之前,都属于变量tmp
的“死区”。
“暂时性死区”也意味着typeof
不再是一个百分之百安全的操作。
typeof x; // ReferenceError
let x;
上面代码中,变量x
使用let
命令声明,所以在声明之前,都属于x
的“死区”,只要用到该变量就会报错。因此,typeof
运行时就会抛出一个ReferenceError
。
作为比较,如果一个变量根本没有被声明,使用typeof
反而不会报错。
typeof undeclared_variable // "undefined"
上面代码中,undeclared_variable
是一个不存在的变量名,结果返回“undefined”。所以,在没有let
之前,typeof
运算符是百分之百安全的,永远不会报错。现在这一点不成立了。这样的设计是为了让大家养成良好的编程习惯,变量一定要在声明之后使用,否则就报错。
有些“死区”比较隐蔽,不太容易发现。
function bar(x = y, y = 2) {
return [x, y];
}
bar(); // 报错
上面代码中,调用bar
函数之所以报错(某些实现可能不报错),是因为参数x
默认值等于另一个参数y
,而此时y
还没有声明,属于“死区”。如果y
的默认值是x
,就不会报错,因为此时x
已经声明了。
function bar(x = 2, y = x) {
return [x, y];
}
bar(); // [2, 2]
另外,下面的代码也会报错,与var
的行为不同。
// 不报错
var x = x;
// 报错
let x = x;
// ReferenceError: x is not defined
上面代码报错,也是因为暂时性死区。使用let
声明变量时,只要变量在还没有声明完成前使用,就会报错。上面这行就属于这个情况,在变量x
的声明语句还没有执行完成前,就去取x
的值,导致报错”x 未定义“
ES6 规定暂时性死区和let
、const
语句不出现变量提升,主要是为了减少运行时错误,防止在变量声明前就使用这个变量,从而导致意料之外的行为。这样的错误在 ES5 是很常见的,现在有了这种规定,避免此类错误就很容易了。
总之,暂时性死区的本质就是,只要一进入当前作用域,所要使用的变量就已经存在了,但是不可获取,只有等到声明变量的那一行代码出现,才可以获取和使用该变量。
ES6 规定暂时性死区和let
、const
语句不出现变量提升,主要是为了减少运行时错误,防止在变量声明前就使用这个变量,从而导致意料之外的行为。这样的错误在 ES5 是很常见的,现在有了这种规定,避免此类错误就很容易了。
总之,暂时性死区的本质就是,只要一进入当前作用域,所要使用的变量就已经存在了,但是不可获取,只有等到声明变量的那一行代码出现,才可以获取和使用该变量。
const
变量提升:
var存在“变量提升”现象,即变量在声明前使用,值为undefined。安装一般的逻辑,变量应该先声明后使用,为了纠正这个现象,let命令改变了语法行为,let一定要先声明后使用
var可以先使用后声明,let不可以,必须先声明后使用。
const关键字
const用于声明一个或多个常量,声明时必须进行初始化,
const定义常量和let相似:
- 二者都是块级作用域
- 都不能和它所在作用域的其他变量或函数拥有相同的名称
区别:
- const声明的常量必须初始化,而let声明的常量不用
- const定义常量的值不能通过再赋值修改,也不能再次声明,而let定义的变量值可以修
//const 声明的常量必须初始化 // 错误写法 const PI; PI = 3.14159265359; // 正确写法 const PI = 3.14159265359;
并非真正的常量
const的本质:const定义的变量并非常量,并非不可变,它定义了一个常量引用一个值。
使用 const 定义的对象或者数组,其实是可变的。下面的代码并不会报错:
//创建常量对象
const car={type:"",model:"",color:""};
//修改属性
car.color="red";
//添加属性
car.owner="Johnson";
但是我们不能对常量对象重新赋值:
const car = {type:"",model:"",color:""};
car = {type:"Volvo", model:"EX60", color:"red"}; // 错误
顶层对象的属性
顶层对象,在浏览器环境指的是window
对象,在 Node 指的是global
对象。ES5 之中,顶层对象的属性与全局变量是等价的。
window.a = 1;
a // 1
a = 2;
window.a // 2
上面代码中,顶层对象的属性赋值和全局变量的赋值,是一件事
var a = 1;
// 如果在 Node 的 REPL 环境,可以写成 global.a
// 或者采用通用方法,写成 this.a
window.a // 1
let b = 1;
window.b // undefined
顶层对象属性与全局变量挂钩。
缺点:无法在编译时报出变量未被定义的错误,只有运行时才知道
window对象由实体含义,指的是浏览器的窗口对象,顶层对象是一个有实体含义的对象,不合适
所有ES6为了改变这一点,为了保持兼容性,一方面规定,var命令和function命令声明的全局变量,依旧是顶层对象的属性。另一方面,let命令,const命令,class命令声明的全局命令,不属于顶层对象的属性,也就是说,从es6开始,全局变量将逐步与顶层对象的属性脱钩。
var a = 1;
// 如果在 Node 的 REPL 环境,可以写成 global.a
// 或者采用通用方法,写成 this.a
window.a // 1
let b = 1;
window.b // undefined
上面代码中,全局变量a
由var
命令声明,所以它是顶层对象的属性;全局变量b
由let
命令声明,所以它不是顶层对象的属性,返回undefined
。
globalThis 对象
js语言会存在一个顶层对象,它提供全局环境(即全局作用域),所有代码都是在这个环境中运行,但是。顶层对象在各种实现里面是不统一的。
- 浏览器里面,顶层对象的wondow,但Node和web worker没有window
- 浏览器和web worker 里面,self也指向顶层对象,但是Node没有self
- Node里面,顶层对象是global,但其他环境都不支持
同一段代码为了能够在各种环境,都能取得顶层对象,现在一般是使用this关键字,但是有局限性
- 全局环境中,
this
会返回顶层对象。但是,Node.js 模块中this
返回的是当前模块,ES6 模块中this
返回的是undefined
。 - 函数里面的
this
,如果函数不是作为对象的方法运行,而是单纯作为函数运行,this
会指向顶层对象。但是,严格模式下,这时this
会返回undefined
。 - 不管是严格模式,还是普通模式,
new Function('return this')()
,总是会返回全局对象。但是,如果浏览器用了 CSP(Content Security Policy,内容安全策略),那么eval
、new Function
这些方法都可能无法使用。
综上所述,很难找到一种方法,可以在所有情况下,都取到顶层对象。下面是两种勉强可以使用的方法。
// 方法一
(typeof window !== 'undefined'
? window
: (typeof process === 'object' &&
typeof require === 'function' &&
typeof global === 'object')
? global
: this);
// 方法二
var getGlobal = function () {
if (typeof self !== 'undefined') { return self; }
if (typeof window !== 'undefined') { return window; }
if (typeof global !== 'undefined') { return global; }
throw new Error('unable to locate global object');
};
在语言标准的层面,引入globalThis
作为顶层对象。也就是说,任何环境下,globalThis
都是存在的,都可以从它拿到顶层对象,指向全局环境下的this
。
垫片库global-this模拟了这个提案,可以在所有环境拿到globalThis
。
文字小结:
使用var关键字声明的全局作用域变量属于window对象。
使用let关键字声明的全局作用域变量不属于window对象。
使用var关键字声明的变量在任何地方都可以修改。
在相同的作用域或块级作用域中,不能使用let关键字来重置var关键字声明的变量。
在相同的作用域或块级作用域中,不能使用let关键字来重置let关键字声明的变量。
let关键字在不同作用域,或不用块级作用域中是可以重新声明赋值的。
在相同的作用域或块级作用域中,不能使用const关键字来重置var和let关键字声明的变量。
在相同的作用域或块级作用域中,不能使用const关键字来重置const关键字声明的变量
const 关键字在不同作用域,或不同块级作用域中是可以重新声明赋值的:
var关键字定义的变量可以先使用后声明。
let关键字定义的变量需要先声明再使用。
const关键字定义的常量,声明时必须进行初始化,且初始化后不可再修改。