typescript - 为什么元组联合期望 `never` 作为 `.includes()` 参数？

Question

type Word = "foo" | "bar" | "baz";

const schema = {
  foo: ["foo"] as const,
  bar: ["bar"] as const,
  baX: ["bar", "baz"] as const,
};

const testFn = (schemaKey: keyof typeof schema, word: Word) => {
  const array = schema[schemaKey]
  array.includes(word);
//               ^
// TS2345: Argument of type 'string' is not assignable to parameter of type 'never'.    
//  Type 'string' is not assignable to type 'never'
}

Playground link
为什么会发生这种情况？这对我来说似乎很愚蠢……还是我遗漏了什么？我如何合理地解决这个问题？我只是断言从不，还是有隐藏的警告？

Answer 1

让我们来看看其中的一些类型。我们有

array: readonly ["foo"] | readonly ["bar"] | readonly ["bar", "baz"]

现在， include 上的 T[] 方法采用 T 类型的参数，即列表的正确类型的参数。这意味着，在 Typescript 中，询问字符串是否是整数数组的元素并不是很好的类型，因为这种代码很可能一开始就是错误的。
现在，我们没有数组。我们有工会。如果该方法适用于所有联合选项，则只能在联合上调用该方法。 ["foo"]有一个方法 include这需要一个 "foo"作为参数(即，其唯一的居民的类型是文本字符串 "foo"。同样， ["bar"]有一个方法 include这需要一个 "bar"作为参数，并 ["bar", "baz"]具有 include这需要的元件类型 "bar" | "baz" 作为参数。
但我们不知道我们有哪些。我们可以拥有其中任何一个。所以我们的 include 必须采用对所有这三个都有效的东西。也就是说，我们的 include 必须接受一个类型为

"foo" & "bar" & "baz"

所以我们可以传递与上述所有三个字符串相等的任何字符串。我不知道任何这样的字符串，Typescript 编译器也不知道，所以它正确地说该类型是无人居住的，即 never 。没有类型安全的方法来调用 include 。
你可以 any -cast 你的方式绕过它，就像你可以在 Typescript 中的所有东西一样。但更聪明的技术是保持类型安全。看，Typescript 推断的类型对于您的 array 变量来说太具体了，这是您开始处理文字类型时的常见问题。但似乎你想要的类型是

array : readonly Word[]

碰巧，它是我在本文顶部指出的类型的完全有效的父类(super class)型。我们可以简单地使用显式类型声明来使代码工作

const array: readonly Word[] = schema[schemaKey]

请注意，这不是类型转换。我们不会告诉类型系统“我比你更了解，嘘”。 readonly Word[] 是 Typescript 推断的字面联合的完全有效的父类(super class)型。这段代码仍然经过类型检查和类型安全。我们只需要给编译器一些关于我们意图的提示。