一个戴着兜帽的人物手中拿着一个玻璃小瓶。 瓶中装满了深色、不断冒泡的液体，并散发出烟雾。

你声明变量和类型的方式，会影响 TypeScript 的行为。在本章中，我们会从几个不同角度介绍可变性与类型推断之间的关系。你会学到变量声明如何影响类型收窄。如何使用辅助工具在类型层面防止修改，还有如何创建深度不可变的数据结构。

可变性与类型推断

在 TypeScript 中，你声明变量的方式会影响它们之后是否可以被修改。话说回来，这包括你使用的是 let 还是 const 关键字。 也包括你创建对象和数组时使用的语法。

TypeScript 如何推断 let

使用 let 关键字时变量是可变的，可以被重新赋值。按理说，

看看下面这个 AlbumGenre 类型，它是由一组字面量值组成的联合类型。用来表示一张专辑可能的流派：

type AlbumGenre = "rock" | "country" | "electronic";

使用 let 时你可以声明一个变量 albumGenre并把它赋值为 "rock"。接下来你可以尝试把 albumGenre 传给一个期望接收 AlbumGenre 的函数：

let albumGenre = "rock";const handleGenre = => { /* ... */ };handleGenre，按理说，// albumGenre 下面出现红色波浪线
// 悬停在 albumGenre 上会显示：Argument of type 'string' is not assignable to parameter of type 'AlbumGenre'.