TypeScript过滤联合类型对象数组：如何让TS识别过滤后无InternalAction

你代码里主要有几个问题导致类型校验不生效：

• 类型守卫函数的返回类型写反了：你定义isInternalAction返回name is Exclude<ActionName, InternalActions>（判断是不是外部操作），但函数逻辑是检查name是否在内部操作列表里，逻辑与类型定义矛盾。
• 数组filter方法默认不会自动推断过滤后的元素类型，需要给回调函数加上类型谓词，明确告诉TS过滤后的元素类型。
• 存在变量名笔误：INTERNAL_SLIDE_ACTIONS应该是INTERNAL_ACTIONS。

修正后的代码如下：

type ActionName = 'replaceText' | 'replaceImage' | 'internalAction';

interface Action {
  name: ActionName
}
const INTERNAL_ACTIONS = ['internalAction'] as const;
type InternalActions = typeof INTERNAL_ACTIONS[number];
// 定义排除内部操作后的Action类型
type ExternalAction = Omit<Action, 'name'> & { name: Exclude<ActionName, InternalActions> };

const actions: Action[] = [{
   name: 'replaceText'
}, {
   name: 'replaceImage'
}, {
   name: 'internalAction'
}];

// 修正类型守卫：准确判断是否为内部操作
const isInternalAction = (name: ActionName): name is InternalActions => {
  return INTERNAL_ACTIONS.includes(name as InternalActions);
};

// 给filter回调添加类型谓词，明确过滤后元素为ExternalAction
const filteredActions = actions.filter((action): action is ExternalAction => {
  return !isInternalAction(action.name);
});

for (const action of filteredActions) {
  if (action.name === 'internalAction') {
    // 这里TS会抛出错误，符合预期
  }
  if (action.name === 'replaceImage') {
    // 这里TS不会报错，符合预期
  }
}

关键点说明：

1. 先定义ExternalAction类型，明确其name只能是外部操作的取值，排除内部操作类型。
2. 修正isInternalAction的返回类型，让它准确识别内部操作的name。
3. 在filter回调中使用action is ExternalAction类型谓词，让TS明确过滤后的数组元素类型，从而自动排除internalAction的情况。

这样修改后，TS就能正确校验filteredActions的元素类型，达到你想要的效果。

内容的提问来源于stack exchange，提问作者Shannon Hochkins