in操作符通过属性存在性判断联合类型，自动收窄类型，仅适用于对象，要求属性为自有或可枚举继承属性，不可用于null/undefined或仅值不同的类型区分。
用 in 操作符判断联合类型对象时，核心是检查某个属性名是否存在于当前值中。TypeScript 会据此自动收窄类型，无需断言，也不依赖运行时值的内容，只看属性是否存在——这是最轻量、最安全的运行时辨别方式。
判断依据是“属性存在性”，不是值是否为真
in 守卫只关心对象是否拥有该属性（即 prop in obj 为 true），不管属性值是 undefined、null 还是 false。只要属性被声明（哪怕值为 undefined），守卫就成立。
-
"name" in user→ 若user是{ name: undefined, id: 123 }，结果仍为true -
"email" in user→ 若user是{ name: "Alice" }，结果为false - 不适用于原始值（如字符串、数字），仅对对象有效
配合联合类型做精准收窄
当参数是多个接口的联合（例如 A | B | C），且各类型有互斥的标识属性时，in 能一次性排除不含该属性的类型成员。
- 定义：
type User = { id: number; name: string } | { email: string; verified: boolean } - 守卫写法：
if ("email" in user) { /* 此处 user 类型已被收窄为第二个类型 */ } - TypeScript 自动推导：进入该分支后，
user类型就是{ email: string; verified: boolean }，可直接访问user.email和user.verified
注意边界情况和常见陷阱
in 守卫看似简单，但几个细节直接影响判断准确性：
- 属性必须是“自有属性”或“原型链上可枚举的属性”；若属性来自
Object.defineProperty且enumerable: false，in可能返回false - 不要与
hasOwnProperty混用：in包含继承属性，hasOwnProperty只查自有属性，二者语义不同 - 避免用在可能为
null或undefined的值上——需先做空值检查，否则运行时报错 - 不能用于区分仅靠属性值差异的类型（如
{ type: "A" }和{ type: "B" }），此时应改用type字段 + 字面量类型 +===判断
替代 as 断言的典型重构场景
很多开发者习惯用 obj as SomeType 强制转换，但这是类型绕过，毫无运行时保障。用 in 守卫既保持类型安全，又让逻辑自解释：
- 错误写法：
if (obj.angle !== undefined) return (obj as VectorAngleInit).angle.cos; - 正确写法：
if ("angle" in obj) return obj.angle.cos;（TypeScript 立即确认obj是VectorAngleInit） - 好处：删除断言后，代码更短；编译器能校验所有分支覆盖；新增类型时，漏判会立刻报错
