基本语法
let---只在声明变量所在的代码块内有效,函数内部使用let定以后,对函数外部无影响。
var a = [];
for(var i = 0; i < 10; i++){
a[i] = function () {
console.log(i);
}
}
a[6](); //10
上面代码中,变量i是var命令声明的,在全局范围内都有效,所以全局只有一个变量i。所有数组a的成员里面的i,都是指向同一个i,导致运行时输出的是最后一轮的i的值,即10。
var a = [];
for(let i = 0; i < 10; i++){
a[i] = function () {
console.log(i);
};
}
a[6](); //6
变量i是let声明的,当前i只在本轮循环有效,所以每一次循环的i其实都是一个新的变量,所以最后输出的是6。(因为js引擎内部会记住上一轮循环的值,初始化本轮变量i时,就在上一轮循环的基础上进行计算)
for循环有一个特别之处,就是设置循环变量的那部分是一个父作用域,而循环体内部是一个单独的子作用域。
for(let i = 0; i < 3; i++){
let i = 'abc';
console.log(i);
}
// abc
// abc
// abc
以上代码输出了3次abc,说明函数内部的变量i与循环变量i不在同一个作用域,有着各自单独的作用域。
变量提升
var命令会发生变量提升,let不会。(变量提升,即函数及变量的声明都将被提升到函数的最顶部。)
//var
console.log(foo); // undefined
var foo = 2;
//let
console.log(bar); //报错
let bar = 2;
暂时性死区
只要块级作用域内存在let命令,它所声明的变量就“绑定”这个区域,不再受外部的影响。
var tmp = 123;
if(true){
tmp = 'abc'; //报错
let tmp;
}
上面代码中,存在全局变量tmp,但是块级作用域内let又声明了一个局部变量tmp,导致后者绑定这个块级作用域,所以在let声明变量前,对tmp赋值会报错。
ES6明确规定,如果区块中存在let和const,这个区块对这些命令声明的变量,从一开始就形成了封闭作用域。凡是在声明前就使用这些变量,就会报错。
在代码块内,使用let命令声明变量前,该变量都是不可用的。这在语法上,称为“暂时性死区”(temporal dead zone)。
if(true){
//TDZ开始
tmp = 'abc'; //报错
console.log(tmp);
let tmp; //TDZ结束
console.log(tmp); //undefined
tmp = 123;
console.log(tmp); //123
}
上面代码中,在let命令声明变量tmp之前,都属于变量tmp的“死区”。
比较隐蔽的“死区”:
function bar(x = y, y = 2) {
return[x, y];
}
bar(); //报错
上面代码中,因为参数x默认值等于另一个参数y,而此时y还没有声明,属于“死区”。若y的默认值是x,就不会报错。
下面这种情况也会报错,与var的行为不同。
//不报错
var x = x;
//报错
let x = x;
上面代码报错,也是因为暂时性死区。使用let声明变量时,只要变量在还没声明完成前使用,就会报错。上面代码在变量x的声明语句还没执行完成前,就去取x的值,导致报错。
不允许重复声明
let不允许在相同作用域内,重复声明同一个变量。
//报错
function func() {
let a = 10;
var a = 1;
}
//报错
function func() {
let a = 10;
let a = 1;
}
//报错
function func(arg) {
let arg;
}
//不报错
function func(arg) {
{
let arg;
}
}
const
const声明一个只读的常量。一旦声明,常量的值就不能改变。
const声明的变量不得改变值,这意味着,const一旦声明变量,就必须立即初始化,不能留到以后赋值。
const只声明不赋值,会报错。
const的作用域与let命令相同,只在声明所在的块级作用域内有效。
const也没有变量提升,同时存在暂时性死区。
const声明的常量,也与let一样不可重复声明。
本质:
const实际上保证的,并不是变量的值不得改动,而是变量指向的那个内存地址不得改动。对于简单类型的数据(数值、字符串、布尔值),值就保存在变量指向的那个内存地址,因此等同常量。但对于复合类型的数据(主要是数组和对象),变量指向的内存地址,保存的是一个指针,const只能保证这个指针是固定的,至于它指向的数据结构是不是可变的,就完全不能控制的。因此,将一个对象声明为常量必须非常小心。