本文介绍如何在 TypeScript 中安全、简洁地实现联合类型参数的运行时区分，推荐使用 in 操作符进行类型收窄，避免不安全的 as 断言，提升代码可维护性与类型安全性。
本文介绍如何在 typescript 中安全、简洁地实现联合类型参数的运行时区分，推荐使用 `in` 操作符进行类型收窄，避免不安全的 `as` 断言，提升代码可维护性与类型安全性。
在构建支持多种初始化方式的类（如 Vector）时，常见需求是根据传入对象的结构动态选择处理逻辑。你可能本能地想到用 as 类型断言来“强制转换”类型，例如 (init as VectorAngleInit)?.angle——但这种方式绕过了 TypeScript 的类型检查机制，既不可靠（运行时无保障），也违背了类型守卫的设计初衷。
更优解是使用 in 操作符类型收窄（in operator narrowing），它是 TypeScript 内置的、类型安全的运行时类型判断机制。当 TypeScript 检测到 key in object 形式的表达式时，会自动将联合类型收窄为包含该属性的成员类型。
以下是重构后的 Vector 类实现：
export type Angle = {
cos: number;
sin: number;
};
export type VectorAngleInit = {
angle: Angle;
magnitude: number;
};
export type VectorDInit = {
dx: number;
dy: number;
};
export class Vector {
#dx: number;
#dy: number;
constructor(init: VectorAngleInit | VectorDInit) {
if ("angle" in init) {
// ✅ TypeScript 此处自动将 init 收窄为 VectorAngleInit 类型
this.#dx = init.magnitude * init.angle.cos;
this.#dy = init.magnitude * init.angle.sin;
} else {
// ✅ 自动收窄为 VectorDInit 类型
this.#dx = init.dx;
this.#dy = init.dy;
}
}
get x() { return this.#dx; }
get y() { return this.#dy; }
}
✅ 优势说明：
Scrapfly SDK TypeScript
下载
使用 Scrapfly SDK（scrapfly-sdk）在 TypeScript 或 JavaScript 中进行网页抓取，用于用户请求抓取 URL、绕过反爬虫防护、渲染页面等场景。
- 类型安全：无需手动断言，编译器全程跟踪类型状态，访问 init.magnitude 或 init.dx 均受严格检查；
- 可读性强："angle" in init 直观表达语义——“该对象是否具有 angle 属性？”；
- 零运行时开销：生成的 JavaScript 与手写 hasOwnProperty 或 typeof init.angle !== 'undefined' 等等效，但更简洁；
- 扩展友好：若后续新增第三种初始化类型（如 VectorPolarInit），只需添加新分支并用 "rho" in init 等判断，逻辑清晰无歧义。
⚠️ 注意事项：
- in 操作符检测的是属性是否存在（包括原型链），若需严格检查自有属性，可配合 Object.prototype.hasOwnProperty.call(init, 'angle')，但对 DTO 对象通常无需如此；
- 避免使用 init.angle !== undefined 判断——它无法触发类型收窄，仍需 as 断言，失去类型安全意义；
- 若属性名是动态字符串或存在重名风险（如两个类型都含 magnitude），应改用更可靠的区分字段（如添加 kind: 'angle' | 'cartesian' 字面量类型）。
总结：在联合类型分支判断中，优先选用 TypeScript 原生支持的类型守卫（如 in、typeof、instanceof、自定义类型谓词），而非 as 断言。这不仅是编码规范问题，更是保障类型系统有效性、降低隐式错误风险的关键实践。
