1. 类型注解语法#

TS 在变量/参数/返回值后加 : 类型：

1
let age: number = 18;
2
function add(a: number, b: number): number {
3
  return a + b;
4
}

但大多数时候你不用手写注解——TS 会推断（见第 4 节）。注解主要用于：函数参数（无法推断）、对象结构、想收窄类型时。

2. 原始类型#

1
let title: string = "TS 入门";
2
let count: number = 0;
3
let done: boolean = false;

TS 里没有 int/float 之分，数字统一是 number（编译到 JS 都是 number）。

3. 数组与元组#

1
// 数组：两种写法等价
2
let nums: number[] = [1, 2, 3];
3
let nums2: Array<number> = [1, 2, 3];
4

5
// 元组：固定长度、固定位置类型
6
let pair: [string, number] = ["age", 18];
7
pair[0].toUpperCase(); // ✅ string 方法可用
8
pair[1].toFixed(2);    // ✅ number 方法可用

元组常用于”固定结构的多返回值”，比如 useState 的 [state, setState]。

4. 枚举 enum#

枚举给一组相关常量起名字：

1
enum Direction {
2
  Up,
3
  Down,
4
  Left,
5
  Right,
6
}
7
Direction.Up;    // 0
8
Direction.Down;  // 1

可指定值：

1
enum Status {
2
  Success = 200,
3
  NotFound = 404,
4
  Error = 500,
5
}

字符串枚举：

1
enum Role {
2
  Admin = "ADMIN",
3
  User = "USER",
4
}

⚠️ 陷阱：const enum。普通 enum 会编译成 JS 对象，有运行时开销；const enum 在编译期被内联替换，但配合某些打包器（尤其 isolatedModules）会报错。现代项目多用字符串字面量联合替代 enum（见第 8 篇），更轻量也更 TS 化。

5. any / unknown / never / void#

这四个容易混，务必分清：

1
let val: any = 4;
2
val = "hello";
3
val.foo.bar; // 不报错，但运行时炸

1
let input: unknown = getUserInput();
2
// input.toUpperCase(); // ❌ 必须先收窄类型
3
if (typeof input === "string") {
4
  input.toUpperCase(); // ✅ 收窄后可用
5
}

1
function fail(msg: string): never {
2
  throw new Error(msg);
3
}

1
function log(msg: string): void {
2
  console.log(msg);
3
}

6. 类型推断#

TS 能自动推断绝大多数类型，不必处处注解：

1
let x = 10;          // 推断为 number
2
x = "hi";            // ❌ 不能改成 string
3

4
const arr = [1, 2];  // 推断为 number[]

推断规则速记：

• 用 let 初始化 → 推断为值的类型。
• 用 const 初始化对象/数组 → 推断为足够宽的类型（数组是 T[]，不是元组）。
• 函数返回值 → 由 return 推断；无 return 为 void。

最佳实践：函数参数、导出对象结构显式注解；局部变量交给推断。

7. 字面量类型#

字面量不仅能当值，也能当类型——值本身成为类型：

1
let mode: "light" | "dark" = "light";
2
mode = "dark";   // ✅
3
mode = "blue";   // ❌
4

5
const port = 8080; // const 下推断为字面量类型 8080（不是 number）

字面量类型 + 联合 = 可辨识联合（第 8 篇核心），是 TS 最实用的特性之一。

小结#

• 原始类型 string/number/boolean/bigint/symbol/null/undefined。
• 数组 T[]、元组 [T, U]（固定结构）。
• enum 方便但有运行时开销，现代偏好字面量联合。
• any(关检查)/unknown(需收窄)/never(不返回)/void(无返回) 各自有清晰边界。
• 类型推断省注解，但参数和导出结构要显式写。

练习#

1. 定义 let user: { name: string; age: number }，试把 age 改成字符串看报错。
2. 写一个返回 never 的 assertNever(x: never): never 函数。
3. 用字面量联合定义 type Theme = "light" | "dark" | "system"，并写函数 applyTheme(t: Theme)。
4. 对比 let n = 1 与 const n = 1 推断出的类型差异（用 VS Code 悬浮查看）。