TypeScript中如何高效声明onAction类型兼顾类型收窄与性能？

以下是针对你的场景，兼顾类型安全与编译性能的可行方案：

1. 优化联合类型结构，降低类型复杂度 #

先提取所有Action的公共字段作为基础类型，再通过交叉类型扩展差异化字段，避免直接定义庞大的扁平联合类型。这种结构能让TypeScript在类型收窄时只聚焦核心区分字段（比如type），减少计算开销，同时保留自动收窄特性：

// 定义基础Action类型
type BaseAction = { type: string };
// 基于基础类型扩展子Action
type CopyAction = BaseAction & { type: 'copy'; payload: { content: string } };
type CutAction = BaseAction & { type: 'cut'; payload: { id: number } };
type CloneAction = BaseAction & { type: 'clone'; payload: { targetId: string } };
// 最终联合类型
type OnAction = CopyAction | CutAction | CloneAction;

2. 自定义类型守卫替代自动收窄 #

对于超大型联合类型，可以通过自定义类型守卫函数，手动实现类型收窄逻辑。这种方式的类型计算开销远小于自动收窄，同时保持类型安全：

function isCopyAction(action: BaseAction): action is CopyAction {
  return action.type === 'copy';
}

function handleAction(action: BaseAction) {
  if (isCopyAction(action)) {
    // 此处action自动收窄为CopyAction，无需手动转换
    console.log(action.payload.content);
  } else if (action.type === 'cut') {
    // 也可以结合switch/if直接匹配type字段，同样能触发收窄
    console.log((action as CutAction).payload.id);
  }
}

3. 拆分巨型联合类型为小型逻辑分组 #

将一个包含数十种Action的巨型联合类型，按业务模块拆分为多个小型联合类型，每个分组只包含逻辑相关的Action。这样TypeScript处理每个小型联合类型时的计算量会大幅降低：

// 按业务模块拆分
type ClipboardActions = CopyAction | CutAction;
type DocumentActions = CloneAction | DeleteAction;

// 针对不同场景使用对应分组
function handleClipboardAction(action: ClipboardActions) {
  switch(action.type) {
    case 'copy':
      // 自动收窄为CopyAction
      break;
    case 'cut':
      // 自动收窄为CutAction
      break;
  }
}

4. 选择性使用类型断言（仅针对性能瓶颈场景） #

如果某些分支的类型已经通过业务逻辑完全确定，且性能问题突出，可以在这些分支中使用as类型断言。注意仅在明确类型安全的场景下使用，避免引入类型漏洞：

function handleAction(action: BaseAction) {
  switch(action.type) {
    case 'copy':
      const copyAction = action as CopyAction;
      // 直接使用copyAction
      break;
    // 其他分支同理
  }
}

5. 启用TypeScript性能优化配置 #

在tsconfig.json中开启以下配置，辅助缓解联合类型带来的编译性能问题：

{
  "compilerOptions": {
    "skipLibCheck": true, // 跳过第三方库的类型检查
    "incremental": true, // 启用增量编译，复用之前的编译结果
    "tsBuildInfoFile": "./.tsbuildinfo", // 存储增量编译信息
    "noStrictGenericChecks": true // 放宽泛型检查（仅在性能瓶颈时谨慎使用）
  }
}

内容的提问来源于stack exchange，提问作者Hardik Modi