自动关联目录：TypeScript 概览

心智模型：类型是一个集合

把类型理解成"值的集合"，很多规则就自然了：

赋值是否合法 = 源集合是否是目标集合的子集。这就是为什么 string 不能赋给 'a'，反之可以。

基础类型

unknown 与 any 的区别是最常被问到的：两者都能接受任何值，但 unknown 不允许直接使用，必须先收窄。所以新代码里凡是想写 any，先考虑 unknown。

收窄（Narrowing）

类型守卫让编译器把联合类型收敛到具体分支：

function len(x: string | string[]) {
    if (typeof x === "string") return x.length;  // 此处 x: string
    return x.length;                              // 此处 x: string[]
}

判别联合是最值得掌握的模式：

type Result =
  | { kind: "ok"; data: string }
  | { kind: "err"; msg: string };

function handle(r: Result) {
    switch (r.kind) {
        case "ok":  return r.data;   // r 已收窄
        case "err": return r.msg;
    }
}

接口与类型别名

实践建议：描述对象形状用 interface，其他一切用 type。这个约定让代码风格统一，也避开了 interface 不能表达联合的限制。

泛型

function first<T>(xs: T[]): T | undefined { return xs[0]; }

泛型是"类型层面的函数"：输入类型，输出类型。

实用内置类型

与 JavaScript 的关系

• TS 只做编译期类型检查，运行时类型信息被擦除
• enum 与 namespace 是少数会生成运行时代码的 TS 特性
• private 只是编译期约束，运行时仍是普通属性（要真私有用 #field）
• interface 编译后完全消失，不能用作运行时判断

常见错误