TypeScript变量声明

变量声明

按照《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，就会报错。

参考资料：

TS官网
ECMAScript6