TypeScript 类型守卫：typeof、instanceof、自定义

JavaScript 变量在运行前的具体形态往往不确定。TypeScript 引入类型守卫机制，在代码块内将模糊的联合类型（多种可能类型的集合）精准过滤为单一具体类型。执行以下操作，掌握三种核心守卫的编写与使用。

阶段一：使用 typeof 守卫处理基础值

声明可能包含多种基础值的参数。在函数签名中直接使用竖线连接不同基础类型。
编写typeof条件判断分支。严格使用typeof 变量 === "类型字符串"的格式触发拦截。
执行类型收窄操作。进入 if 代码块后，编译器会自动锁定该分支下的变量类型，放行专属属性的调用。
验证支持的底层标记清单。该守卫仅匹配七种原始返回值："string"、"number"、"bigint"、"boolean"、"symbol"、"undefined"与"object"。注意：数组、日期对象与 null 均返回 "object"，禁止依赖此方法区分复杂对象。
测试边界值覆盖情况。传入数字 NaN 仍返回 "number"，传入 null 返回 "object"。若需拦截空值，需额外拼接 && value !== null 条件。

阶段二：使用 instanceof 守卫处理实例对象

阶段三：编写自定义类型谓词函数

当内置语法无法覆盖业务特征时，需手动封装校验逻辑。

创建独立校验函数。第一个参数声明为需要验证的宽泛类型。
指定返回值类型为类型谓词。使用参数名 is 目标类型语法明确告知编译器：若函数返回 true，则该参数符合右侧结构。
填充属性存在性判断逻辑。优先使用 "属性名" in 变量名 语法进行安全检测，防止访问未定义属性抛出运行时错误。
调用自定义函数作为条件入口。在业务流程中直接传入待验证对象，根据返回布尔值进入对应代码块。
拆分复杂对象校验规则。当单一守卫需验证多个嵌套字段时，将其拆分为多个小型 isXxx 谓词函数，并在主守卫中组合调用，确保返回 true 时对象结构绝对完整。

阶段四：策略匹配与安全规范

严格对照下表选择匹配场景的守卫方案，规避静态检查失效导致的运行时崩溃。

守卫方式	适用数据范围	底层检测原理	标准调用语法	强制限制条件
`typeof`	基础类型值	检查 JavaScript 引擎内部类型标记	`typeof val === "string"`	无法区分数组与对象，空值需额外拦截
`instanceof`	类实例对象	遍历原型链查找构造函数引用	`val instanceof MyClass`	仅对真实 Class/函数生效，接口无效
自定义谓词	任意复杂结构	执行开发者编写的属性校验代码	`isUser(val): val is User`	返回 true 时必须保证结构严格匹配

启用严格空值检查配置。在 tsconfig.json 中设置 "strictNullChecks": true，强制编译器区分有效对象与空指针，避免守卫逻辑漏判 null 分支。
替换多层嵌套判断。当业务包含三个及以上同类分支时，为每个子类型添加同名字面量字段（如 kind: "A" | "B" | "C"）。直接检查该字段即可触发编译器原生收窄，彻底移除守卫函数。
禁用类型断言代替校验。类型断言（as）仅跳过编译器警告，不执行任何运行时检查。处理网络请求返回值或表单输入时，必须编写守卫逻辑验证结构，禁止直接断言转换。
合并重复校验逻辑。提取多个业务模块共用的 isXxx 谓词至独立工具文件中，确保类型定义与校验函数版本严格同步，防止接口变更后守卫逻辑失效。