TypeScript中Array.includes逆变使用的合理解决方案探讨

先看触发问题的代码：

interface Item {
   value?: string
}

const excludeValues = (
  items: Item[],
  excludedValues: string[]
): Item[] => items.filter(item => !excludedValues.includes(item.value))

问题原因 #

item.value是可选属性，类型为string | undefined，但string[]的includes()方法默认仅接受string类型参数，因此TypeScript抛出类型错误：Type undefined is not assignable to string。虽然实际运行时undefined不会匹配数组中的字符串元素，代码逻辑没问题，但类型检查不通过。

现有方案的问题分析 #

你提到的四个方案都存在明显缺陷：

• 重写lib声明文件：成本高，需要维护自定义类型声明，团队评审很难通过，不具备可落地性。
• 非空断言item.value!：违反ESLint规则，且如果后续逻辑变更导致item.value真的出现undefined，会埋下潜在bug。
• 类型断言as string：强制跳过类型检查，同样会隐藏undefined相关的潜在问题，违背TypeScript的类型安全初衷。
• 修改excludedValues类型为(string | undefined)[]：不合理，破坏了方法参数的语义——excludedValues本应是纯字符串列表，修改后调用方可能传入包含undefined的数组，不符合设计意图。

推荐解决方案 #

显式处理undefined的情况，既满足类型检查，又保留原逻辑，同时符合编码规范：

interface Item {
   value?: string
}

const excludeValues = (
  items: Item[],
  excludedValues: string[]
): Item[] => items.filter(item => 
  item.value === undefined || !excludedValues.includes(item.value)
)

这个方案的逻辑和原代码完全一致：

• 当item.value为undefined时，条件为true，该项会被保留（和原逻辑一致，因为!excludedValues.includes(undefined)返回true）；
• 当item.value存在时，检查是否不在排除列表中，符合类型要求。

既不需要修改类型声明，也不用跳过类型检查，代码逻辑清晰，完全符合TypeScript的类型安全要求和编码规范。

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