本节介绍 var let const 这三种变量的声明方式，重点讨论作用域与变量提升的相关知识点，这部分往往也是面试常考部分，需要多加注意。

说明： 在使用 TypeScript 进行变量声明时，一般建议对应的变量类型，由于本节是整个系列教程的第一节，还未介绍 TypeScript 的类型系统，所以本节的例子仍采用 JavaScript 的变量声明方式。虽然在变量声明时没有变量类型，但是 TypeScript 会进行类型推导，得到正确的变量类型，这个在后续章节也会专门介绍。

TypeScript 是 JavaScript 的超集，同 JavaScript 一样，声明变量可以采用下面三个关键字：

通过 var 关键字来定义 JavaScript 变量，这个大家都能理解：

var num = 

下面我们来讨论为什么尽量避免使用 var。

的猜一下下面的会返回什么：

for (var i = ; i < ; i++) {
  setTimeout(function () {
    console.log(i)
  },  * i)
}

相信很多人都踩过这个坑，这几乎是作用域的必考题目，但如果你不了解，不要担心，你并不是人。大多数人期望的结果是这样的：

0
1
2
3
4
5
6
7
8
9

然而，实际结果是这样的：

10
10
10
10
10
10
10
10
10
10

解释：这里的 i 是在全局作用域中的，只存在值。 setTimeout 这个异步在若干毫秒，并且它是在 for 循环结束后的。在 for 循环结束后， i 的值为 10，所以当被的时候，它会打印出 10。

下面介绍几种可以实现我们预期结果的：

for (var i = ; i < ; i++) {
  f(i)
}

function f (i) {
  setTimeout(function () {
    console.log(i)
  }, )
}

for (var i = ; i < ; i++) {
  (function (i) {
    setTimeout(function () {
      console.log(i)
    },  * i)
  })(i)
}

for (let i = ; i < ; i++) {
  setTimeout(function () {
    console.log(i)
  },  * i)
}

看下面的例子：

console.log(a) // undefined
var a =  

它等价于：

var a
console.log(a) // undefined
a = 

从上面的例子中可以看出，关键词 var 会进行变量提升。

如果把上面的 var 换成 let 呢？

console.log(a) // ReferenceError: a is not defined
let a =  

会报错 a is not defined 未定义，这里也可以看出 var 与 let 在变量提升的不同：

现在你已经知道了 var 存在全局作用域和变量提升的问题，这恰好说明了为什么用 let 语句来声明变量。

let num = 

下面介绍 let 的一些特点：

在 ES6 之前，ECMAScript 的作用域只有两种：

现在通过命令 let 和 const 新增了“块级作用域”，定义在块中的变量在块被执行结束后会被释放掉：

function block() {
  if (true) {
    let a = 
    console.log(a) // 10
  }

  console.log(a) // Cannot find name 'a'.ts(2304)
}

解释：

第 3 - 4 行，a 变量在 if{} 块中是有效的，正常 10。

第７行，在 if{} 块外就被释放掉了，所以会报。

在一对花括号中的一组语句称之为”块“，它可以替换掉上面介绍 var 时使用的立即执行：

// 立即执行
(function(){
  var a = 
}())

// 块
{
  let a = 
}

在使用 var 声明时，不论声明几次，最终只会得到：

var x
var x
var x

这是完全有效的，所有 x 的声明其实都指向了同引用，但这也是很多 bug 产生的原因。 let 的声明就严格了许多：

let x
let x // Cannot redeclare block-scoped variable 'x'

解释： 第 2 行，重新声明了块作用域的变量 x 。

关键字 const 声明变量，它被赋值后不能再改变。 换句话说，它拥有与 let 相同的作用域规则，但是不能重新赋值。

用 const 声明变量，并不是变量的值不得改动，而是变量指向的那个内存地址不得改动。用 const 声明初始数据类型如布尔值、数字、字符串，可以理解为声明常量，因为这些初始类型的值就保存在变量所指向的那个内存地址。

const num = 
const brand = 'imooc'
const registered = true

num =  // Cannot assign to 'num' because it is a constant.ts(2588)

解释： 第 5 行，在给 num 第二次赋值时会报错。

对于复合类型的数据来说，变量所指向的内存地址保存的只是指针，const 能够保证其指针不变，但值是可变的：

const person = {
  name: 'Tom',
  address: 'Baker Street 221b'
}

// error
person = {
  name: 'Sherlock',
  address: 'Baker Street 221b'
}

// ok
person.name = 'Sherlock'

解释： 第 7 行，对已经使用 const 声明的变量重新赋值报错，但是在第 13 行，只是对这个对象的赋值是可以的。

阅读本小节中三种不同的变量声明，我们知道了：