基于继承接口类型的TypeScript代码分支实现技术问询

嘿，这个场景在TypeScript里太常见了！刚好你的接口结构里已经有type这个枚举字段，这简直是为类型分支量身打造的标识。咱们可以用类型守卫（Type Guards）来实现安全且清晰的分支逻辑，下面给你两种最常用的方案：

方案一：利用枚举type字段做自动类型收窄（推荐） #

首先，咱们先把你的枚举和接口做一点小优化，让每个子接口的type字段明确对应枚举里的具体值——这样TypeScript就能自动帮我们收窄类型，无需额外判断：

// 先完善枚举定义，给每个类型一个明确的标识
enum eItemType {
  BaseItem = 'BASE_ITEM',
  TypeA = 'TYPE_A',
  TypeB = 'TYPE_B'
}

// 基接口的type固定为BaseItem
interface Item {
  someCommonKeyValPairCollection: eItemType;
  type: eItemType.BaseItem;
  weight: number;
}

// 子接口A的type固定为TypeA
interface ItemTypeA extends Item {
  type: eItemType.TypeA;
  someKeyValPairCollection: eItemType;
}

// 子接口B的type固定为TypeB
interface ItemTypeB extends Item {
  type: eItemType.TypeB;
  someOtherKeyValPairCollection: eItemType;
}

type tItem = Item | ItemTypeA | ItemTypeB;

接下来写处理函数，用switch语句基于type字段分支：

function processItem(item: tItem) {
  switch(item.type) {
    case eItemType.BaseItem:
      // 这里TypeScript会自动推断item为Item类型
      console.log("处理基础物品，重量：", item.weight);
      // 可以安全访问Item的所有属性
      break;
    
    case eItemType.TypeA:
      // 这里item被自动收窄为ItemTypeA类型
      console.log("处理TypeA物品：", item.someKeyValPairCollection);
      // 能直接访问ItemTypeA独有的someKeyValPairCollection
      break;
    
    case eItemType.TypeB:
      // 这里item被自动收窄为ItemTypeB类型
      console.log("处理TypeB物品：", item.someOtherKeyValPairCollection);
      // 能直接访问ItemTypeB独有的someOtherKeyValPairCollection
      break;
    
    default:
      // 贴心提示：加一个never类型检查，确保覆盖所有可能的类型
      // 如果以后新增了子接口但忘记更新switch，TypeScript会直接报错
      const _unexpectedItem: never = item;
      throw new Error(`未知的物品类型：${_unexpectedItem}`);
  }
}

这种方案的好处是：

• 代码可读性极高，逻辑一目了然
• TypeScript自动类型收窄，不会出现属性不存在的类型错误
• 通过default里的never检查，能强制我们覆盖所有可能的类型，避免遗漏

方案二：自定义类型守卫函数（适合没有type字段的场景） #

如果你的接口没有type这种天然的区分字段，还可以用自定义类型守卫函数来手动判断类型。比如针对你的场景：

// 自定义类型守卫：判断是否为ItemTypeA
function isItemTypeA(item: tItem): item is ItemTypeA {
  return 'someKeyValPairCollection' in item;
}

// 自定义类型守卫：判断是否为ItemTypeB
function isItemTypeB(item: tItem): item is ItemTypeB {
  return 'someOtherKeyValPairCollection' in item;
}

function processItemWithGuards(item: tItem) {
  if (isItemTypeA(item)) {
    // item被推断为ItemTypeA
    console.log("处理TypeA物品", item.someKeyValPairCollection);
  } else if (isItemTypeB(item)) {
    // item被推断为ItemTypeB
    console.log("处理TypeB物品", item.someOtherKeyValPairCollection);
  } else {
    // 剩下的就是Item类型
    console.log("处理基础物品", item.weight);
  }
}

这种方案更灵活，但可读性略逊于第一种，适合无法添加type标识的场景。

内容的提问来源于stack exchange，提问作者Jakob Jingleheimer