是的，从技术上讲，允许searchElement参数 inArray<T>.includes()是 的超类型应该是安全的T，但是标准的 TypeScript 库声明假定它只是T. 对于大多数目的，这是一个很好的假设，因为您通常不想像@GustavoLopes 提到的那样比较完全不相关的类型。但你的类型并非完全无关，是吗？

有不同的方法来处理这个问题。您所做的断言可能是最不正确的断言，因为您断言 astring是 anAllowedChars即使它可能不是。它“完成了工作”，但您对此感到不安是正确的。

另一种方法是通过声明合并在本地覆盖标准库以接受超类型，这有点复杂并使用条件类型：

// remove "declare global" if you are writing your code in global scope to begin with
declare global {
  interface Array<T> {
    includes<U extends (T extends U ? unknown : never)>(searchElement: U, fromIndex?: number): boolean;
  }
}

然后您的原始代码将正常工作：

if (exampleArr.includes(e.key)) {} // okay
// call to includes inspects as
// (method) Array<AllowedChars>.includes<string>(searchElement: string, fromIndex?: number | undefined): boolean (+1 overload)

同时仍然防止比较完全不相关的类型：

if (exampleArr.includes(123)) {} // error
// Argument of type '123' is not assignable to parameter of type 'AllowedChars'.

但最简单和仍然样-的-正确处理这种方式扩大的类型exampleArr到string[]：

const stringArr: string[] = exampleArr; // no assertion
if (stringArr.includes(e.key)) {}  // okay

或者更简洁地说：

if ((exampleArr as string[]).includes(e.key)) {} // okay

扩大到string[]只是“某种”正确，因为 TypeScript 不安全地将inArray<T>视为协变T以方便起见。这很适合阅读，但是当您编写属性时，您会遇到问题：

(exampleArr as string[]).push("whoopsie"); // uh oh

但是由于您只是从数组中读取数据，因此非常安全。

Playground 链接到代码

如果您要比较两种不同的类型，那么它们自然是不同的。

想象一下你有：

type A = {paramA: string};
type B = {paramB: number};

const valuesA: A[] = [{paramA: 'whatever'}];
const valueB: B = {paramB: 5};

valuesA.includes(valueB); // This will always be false, so it does not even make sense

在您的情况下，编译器威胁AllowedChars为与string. 你必须“投射”string你正在接收的AllowedChars。

但这如何正确，我期待用户输入可以是任何内容。

编译器不知道您要使用includes. 它只知道它们有不同的类型，因此不应该比较它们。