JavaScript类型系统_TypeScript高级类型编程指南_技术教程

TypeScript 的高级类型通过交叉、联合、条件、映射类型及类型守卫提升代码安全与复用，支持复杂类型抽象，增强大型项目可维护性。

TypeScript 的高级类型功能为开发者提供了强大的类型抽象能力，使得在大型项目中可以更安全、灵活地处理复杂的数据结构。它不仅继承了 JavaScript 动态类型的灵活性，还通过静态类型系统增强了代码的可维护性和可读性。掌握 TypeScript 的高级类型是构建健壮应用的关键一步。

交叉类型（Intersection Types）允许你将多个类型合并成一个类型。使用 & 操作符实现，常用于混入（mixin）模式或扩展已有类型。

例如：

type A = { name: string };
type B = { age: number };
type C = A & B; // 同时具有 name 和 age 属性

联合类型（Union Types）表示一个值可以是几种类型之一。使用 | 操作符定义，适合处理多态输入。

比如：

function printId(id: number | string) {
  if (typeof id === 'string') {
    console.log(id.toUpperCase());
  } else {
    console.log(id);
  }
}

TypeScript 会根据类型收窄机制自动推断运行时类型，提升类型安全性。

条件类型让你可以根据类型之间的关系选择不同的类型。语法为 T extends U ? X : Y，类似于三元表达式。

常见用法：

type IsString = T extends string ? true : false;
type Result = IsString<'hello'>; // true

当条件类型作用于联合类型时，会自动进行分布式计算。例如：

type ToArray = T extends any ? T[] : never;
type Arr = ToArray; // string[] | number[]

这种“分布性”让条件类型在泛型中非常强大，但也需要注意避免意外展开，必要时可用方括号包裹 [T] 来禁用分布。

映射类型基于旧类型创建新类型，通过遍历属性来修改其修饰符或类型。常用关键字包括 keyof、in 和 readonly、? 等。

示例：将所有属性变为只读可选

type PartialReadonly = {
  readonly [P in keyof T]?: T[P];
};

TypeScript 内置了许多实用的工具类型，如：

这些工具类型极大提升了类型复用能力，减少重复定义。

类型守卫帮助 TypeScript 在运行时上下文中正确收窄类型。常见的方法包括 typeof、instanceof 和自定义谓词函数。

使用 is 关键字定义用户类型守卫：

function isDate(value: any): value is Date {
  return value instanceof Date;
}

if (isDate(input)) {
  input.toISOString(); // 此处被识别为 Date 类型
}

还可以结合 in 操作符检查属性是否存在来进行类型区分：

if ('name' in obj) {
  // 推断 obj 可能有 name 属性
}

合理使用类型守卫可以让联合类型的逻辑分支更加清晰且类型安全。

基本上就这些。熟练运用这些高级类型特性，能显著提升 TypeScript 项目的类型表达力和开发体验。不复杂但容易忽略的是细节处理，比如分布式的触发时机或映射类型的修饰符控制。多实践、多阅读官方文档中的高级类型章节，会有更深理解。

JavaScript类型系统_TypeScript高级类型编程指南