Typescript 判断对象A中存在的对象B的键是否存在对象A中键的另一个数组值中

是的，为了使其发挥作用，您需要TypeA成为实际存在于myArray中的EnumA个成员中的generic，如下所示:

interface TypeA<T extends EnumA> {
  myArray: T[],
  mySpecificMapping: {
    [K in T]?: boolean
  }
}

然后你could把annotation改成

const myObject: TypeA<EnumA.ONE | EnumA.THREE> = {
  myArray: [EnumA.ONE, EnumA.THREE],
  mySpecificMapping: {
    [EnumA.ONE]: true,
    [EnumA.THREE]: true
  }
}

如果您将[EnumA.TWO]: true添加到mySpecificMapping，就会给您一个错误. 但写出EnumA.ONE | EnumA.THREE类型的论点是乏味且多余的.如果TypScript可以为您推断该类型参数，那就太好了，但这是microsoft/TypeScript#32794处请求的缺失功能.

如果您想要通用类型参数推断，则需要创建一个通用function来搭配TypeA. 以下是一个用于此目的的助手函数:

const typeA = <T extends EnumA>(t: TypeA<T>) => t;

const myObject = typeA({
  myArray: [EnumA.ONE, EnumA.THREE],
  mySpecificMapping: {
    [EnumA.ONE]: true,
    [EnumA.THREE]: true,
  }
});

现在您会看到myObject被推断为类型TypeA<EnumA.ONE | EnumA.THREE>，而无需您自己写出来.写const myObject = typeA({⋯})而不是const myObject: TypeA = {⋯}所需的工作量和按键量大致相同，所以希望这是可以接受的.

无论如何，让我们确保您得到您要求的行为:

const myObject = typeA({
  myArray: [EnumA.ONE, EnumA.THREE],
  mySpecificMapping: {
    [EnumA.ONE]: true,    
    [EnumA.TWO]: true, // error! 
    [EnumA.THREE]: true,
  }
});

看起来不错当添加myArray中不存在的mySpecificMapping键时，您会出现错误.

Playground link to code