变量声明
按照《ES 6标准入门 (第2版)》的说法,变量声明一共有6种,分别是var
、function
、let
、const
、class
和import
。前两个是ES5固有的变量声明方法,后面4个是ES6新增的。
由于let
和const
使用的比较多,所以我们先讨论这两个命令。同时因为TS继承了ES6的所有代码,所以从ES6角度来讲解能够帮助我们更好地理解这些概念。
let命令
用于声明变量。它的用法类似于var,但是所声明的变量只在let命令所在的代码块内有效。
特性一:只在代码块中有效
用let声明的变量仅在块级作用域内有效。
{
var a = 10;
let b = 1;
}
console.log(a);//10
console.log(b);// ReferenceError: b is not defined.
特性二:没有变量提权(hosting)
变量必须先声明才能用。
// var 的情况
console.log(foo); // 输出undefined
var foo = 2;
// let 的情况
console.log(bar); // 报错ReferenceError
let bar = 2;
特性三:暂时性死区(temporal dead )
只要块级作用域内存在let命令,它所声明的变量就“绑定”(binding)这个区域,不再受外部的影响。
ES6明确规定,如果区块中存在let和const命令,这个区块对这些命令声明的变量,从一开始就形成了封闭作用域。凡是在声明之前就使用这些变量,就会报错。
var tmp = 123;
if (true) {
tmp = 'abc'; //ReferenceError: tmp is not defined
let tmp;
}
注意:
使用let命令时,在声明之前,变量都是锁死的,只要用到该变量就会报错。因此,typeof运行时有可能会抛出一个ReferenceError。
typeof x; // ReferenceError
let x
特性四:不允许重复声明
let不允许在相同作用域内,重复声明同一个变量。
// 报错
function () {
let a = 10;
var a = 1;
}
// 报错
function () {
let a = 10;
let a = 1;
}
//形参在函数调用的时候就已经被声明了,
//我们可以看成这样(当然实际情况并非如此):
//function func(var arg=arg){}
function func(arg) {
let arg; // 报错
}
function func(arg) {
//内部作用域使用let并不会报错
{
let arg; // 不报错
}
}
特性五:块级作用域
当用let
声明一个变量,它使用的是词法作用域或块作用域。
相信这段代码大家并不陌生:
for (var i = 0; i < 4 ; i++) {
setTimeout(function() {console.log(i); }, 1000);
}
//4
//4
//4
//4
原因:
JavaScript是单线程执行的,那么它对于任务的执行必然是队列形式——只有前一个任务结束,才会执行下一个任务。
为了更好的处理任务,JavaScript把任务分成两种,一种是同步任务(synchronous),一种是异步任务(asynchronous)。异步任务要等当前的任务执行完毕之后才会执行。
setTimeout属于异步执行的任务,也就是说,在当前任务(for循环)执行完毕之后,它才执行。
i在这个时候相当于全局变量,那么根据闭包的原理(除非对象被销毁,否则变量的最后一个值始终保持在内存),内存中的i现在是4,那么循环输出的就是4。
如果使用let
呢?
for (let i = 0; i < 4 ; i++) {
setTimeout(function() {console.log(i); }, 1000);
}
//0
//1
//2
//3
原因:
被let
声明的变量会在每次迭代进入作用域时,创建一个变量的环境。 就算作用域内代码已经执行完毕,这个环境与其捕获的变量依然存在。所以console.log(i)可以访问到每一次迭代的变量i。
const 命令
const声明一个只读的常量。一旦声明,常量的值就不能改变。
特性一:不允许修改常量值
const PI = 3.1415;
PI // 3.1415
PI = 3;
// TypeError: Assignment to constant variable.
特性二:声明后必须立即赋值
const PI;
PI=3.14;
//SyntaxError: Missing initializer in const declaration
特性三:只在当前代码块有效
{const PI=3.14;}
PI;
//ReferenceError: PI is not defined
本质
const
实际上保证的,并不是变量的值不得改动,而是变量指向的那个内存地址不得改动。对于简单类型的数据(数值、字符串、布尔值),值就保存在变量指向的那个内存地址,因此等同于常量。但对于复合类型的数据(主要是对象和数组),变量指向的内存地址,保存的只是一个指针,const
只能保证这个指针是固定的,至于它指向的数据结构是不是可变的,就完全不能控制了。因此,将一个对象声明为常量必须非常小心。
const foo = {};
// 为 foo 添加一个属性,可以成功
foo.prop = 123;
foo.prop // 123
// 将 foo 指向另一个对象,就会报错
foo = {}; // TypeError: "foo" is read-only
上面代码中,常量foo储存的是一个地址,这个地址指向一个对象。不可变的只是这个地址,即不能把foo指向另一个地址,但对象本身是可变的,所以依然可以为其添加新属性。
下面是另一个例子。
const a = [];
a.push('Hello'); // 可执行
a.length = 0; // 可执行
a = ['Dave']; // 报错
上面代码中,常量a是一个数组,这个数组本身是可写的,但是如果将另一个数组赋值给a,就会报错。