TypeScript类型守卫的关键是判断准、声明对、覆盖全，本质是编译器可验证的逻辑契约；需正确使用typeof、instanceof、in操作符及自定义守卫函数，并注意其适用场景与边界限制。

在 TypeScript 中用类型守卫做安全收窄，重点不在于写得多，而在于判断准、声明对、覆盖全。

它不是运行时的“魔法”，而是编译器能读懂的逻辑契约。只有当你明确告诉编译器“如果这个条件成立，那变量就一定是某类型”，它才会允许你安全地调用专属方法或访问专属属性。

用对内置守卫：typeof 和 instanceof 要守规矩

typeof 只适合原始类型判断

typeof 这套判断机制只对原始类型生效，而且写法必须足够“规矩”。

只有 typeof value === "string" 这种形式，才会真正触发收窄。像 ==、!==，或者 typeof value == "string"，都不会被认可。

还有一个常见陷阱：typeof null 的返回值其实是 "object"。因此判断对象时，别忘了再补上一句 value !== null。

instanceof 更适合类实例

instanceof 主要用于识别类实例，写法很直接：value instanceof ClassName。

它可以沿着继承链判断类型，所以像 Dog instanceof Animal 的结果会是 true。

但要注意，进入分支之后，类型收窄到的是当前检查的类本身，不会自动保留更具体的子类信息。

如果希望保留 Dog 这种子类类型，就应该写 instanceof Dog，而不是 instanceof Animal。

• 原始类型优先用 typeof，比如处理 string | number | boolean
• 类实例优先用 instanceof，比如区分 Error、CustomError、NetworkError
• 混合场景按顺序组合：先用 typeof 排除原始类型，再用 instanceof 处理对象分支

用 in 操作符收窄联合对象类型

当参数是多个接口的联合，如 User | Admin | Guest，并且它们存在可区分的独有属性时，'role' in obj 是最轻量又安全的收窄方式。

TypeScript 会自动把 obj 类型缩小为含 role 属性的那个类型，比如 Admin。

它比类型断言 obj as Admin 更强，因为它具备运行时检查，不会绕过类型系统。

只要属性名足够独特，比如 permissions 在 Admin 里存在、在 User 里不存在，就不容易误判。

• 避免只靠通用字段如 id 或 name，它们太常见，无法唯一标识类型
• 搭配类型检查更稳，比如 'email' in obj && typeof obj.email === 'string'
• 适用于初始化逻辑、API 响应解析等结构明确的联合类型场景

写自定义守卫函数：签名和逻辑缺一不可

函数返回类型必须写成 param is TargetType，这是编译器识别守卫的唯一依据。

参数名也要和函数体内保持一致，否则收窄会失效。例如：

function isUser(input: unknown): input is User {
return typeof input === 'object' && 
 input !== null && 
 'email' in input && 
 typeof input.email === 'string';
}

这个函数不保证输入一定是 User。它只承诺：如果返回 true，那 input 就一定是 User。

编译器会据此在 if 分支里把它当作 User 使用。

• 运行时判断要抓本质特征：对象先判 typeof obj === 'object' && obj !== null，再查关键属性+类型
• 泛型不能直接写 value is T，需约束类型参数，比如 (x: unknown): x is T
• 一个守卫只负责一个类型分支，别试图让它同时确认多个不相关类型

收窄不是万能的，边界意识很重要

类型守卫解决的是“运行时值是否符合某类型”的问题，但它不负责数据合法性验证。

例如，邮箱格式是否正确、ID 是否真实存在，都不属于类型守卫的职责。

它也不能替代空值防护。if (obj) 只能排除 falsy 值，不能保证 obj.name 存在。

这类场景仍需配合属性检查，或谨慎使用非空断言 obj!.name。

真正健壮的收窄，是把类型设计前置。

例如，用可区分联合类型标明状态：{ status: 'loading' } / { status: 'success'; data: User }。

这样守卫只需检查 status 字段，而不是在运行时反复猜测结构。