《TypeScript编程入门》附录 A TypeScript 语法速查表

本附录目标：把全书用到的 TypeScript 语法压缩成十几张「写法 / 说明 / 常见坑」对照表。写代码时不必回忆章节号，直接翻到这里；遇到报错时，先在下表定位写法，再回正文看完整推导。

附录 A TypeScript 语法速查表

本附录不是教程，而是查阅手册。正文各章负责「为什么这样设计」，本附录只负责「怎么写、容易错在哪」。建议第一次通读一遍建立索引感，之后把它当成案头卡片。

表中的类型写法默认运行在 strict: true 之下；若你的项目未开启严格模式，部分「常见坑」不会立即报错，但问题依然存在。

原始类型与字面量类型

类型注解的书写位置

数组、元组与枚举

as const 的效果值得单独对照：

const a = ["x", "y"];
// string[]

const b = ["x", "y"] as const;
// readonly ["x", "y"]

const c = { kind: "user" };
// { kind: string }

const d = { kind: "user" } as const;
// { readonly kind: "user" }

函数签名

重载与实现签名的关系：

function parse(v: string): number;
function parse(v: number): string;
function parse(v: string | number): string | number {
  return typeof v === "string" ? Number(v) : String(v);
}

const n = parse("1"); // number
const s = parse(1);   // string

接口与类型别名

类

泛型

高级类型

模块与声明

类型断言与收窄

类型推断与显式标注的取舍

「该不该写类型」是新手最常纠结的问题。判断标准只有一条：这行代码的类型是否可能与你预期不同。

一个反例说明「不写反而更好」：

// 写死了宽类型，丢掉了字面量信息
const config: Record<string, string> = { mode: "dark" };
// config.mode 的类型是 string，不是 "dark"

// 让编译器推断，保留字面量
const config2 = { mode: "dark" } as const;
// config2.mode 的类型是 "dark"

常见坑速查

小结

• 本附录按「类型 → 注解位置 → 数组元组 → 函数 → 接口 → 类 → 泛型 → 高级类型 → 模块 → 收窄」的顺序组织，每一节都是一张可直接查的表。
• 表中的「常见坑」列才是真正值钱的部分：绝大多数 TypeScript 报错不是语法不会写，而是推断结果与预期不同。
• 类型注解的书写位置只有「冒号、as、satisfies、尖括号」四种形态，记熟这四种就不会找不到该在哪里写类型。
• 高级类型全部建立在 keyof、索引访问、映射类型、条件类型四件事之上，遇到复杂类型先拆成这四步。
• 遇到报错时，先在「常见坑速查」表里定位症状，再回到对应正文小节看完整推导。
• 附录 B 会在这份语法表之上，继续整理标准库工具类型与常用类型模式。