我可以让Typescript根据已区分的联合键缩小对象值类型吗

您遇到了microsoft/TypeScript#30581的变体.当data是union type时，TypScript不理解data.type和data[key]之间的相关性.它需要"立即"这样做，它不会预先将data缩小到ADiscriminatedUnion中的每个unions 成员，并分别判断每个缩小.对于在一个地方发生的两名成员unions 来说，这是可以的，但这种事情不会扩大规模.

让TypScript立即分析一般内容的方法是使用generics.对于相关联合，有一种在microsoft/TypeScript#47109中描述的特定类型的重构有效.该方法是用某个"基本"key-Value类型、或用该类型的mapped types、或用这些类型的通用indexes into来表示您正在做的一切.

对于您的示例，最干净的重构如下.首先，让我们定义基本key-Value类型:

interface BaseType {
  a: {
    dataKeyA: number;
    anotherDataKeyA: number;
  };
  b: {
    dataKeyB: number;
    anotherDataKeyB: number;
  };
  c: {
    dataKeyC: number;
    anotherDataKeyC: number;
  };
}

然后您的discriminated union可以在BaseType中成为通用，特别是，将成为ms/TS#47109中创造的distributive object type:

type ADiscriminatedUnion<K extends keyof BaseType = keyof BaseType> =
  { [P in K]: { type: P } & BaseType[P] }[K]

没有类型参数的名为ADiscriminatedUnion的类型(使用keyof BaseType中的default type argument)相当于您的版本，但它的表示方式是为了让编译器更容易遵循其余代码:

export const DiscriminatedUnionTypeToListOfDataKeysMap = {
  a: ['dataKeyA'],
  b: ['dataKeyB', 'anotherDataKeyB'],
} as const satisfies { [K in keyof BaseType]?: (keyof BaseType[K])[] }

type TypesWhichAreMappedToDataKeys = 
  keyof typeof DiscriminatedUnionTypeToListOfDataKeysMap;

function doSomethingWithDataKeys<K extends TypesWhichAreMappedToDataKeys>(
  data: ADiscriminatedUnion<K>
) {
  const d: { [K in TypesWhichAreMappedToDataKeys]: (keyof BaseType[K])[] } =
    DiscriminatedUnionTypeToListOfDataKeysMap;
  const stringifiedDataKeys = d[data.type]
    .map(key => `${data[key]}`).join('_');
}

我必须将DiscriminatedUnionTypeToListOfDataKeysMap扩展到类型{ [K in TypesWhichAreMappedToDataKeys]: (keyof BaseType[K])[] }，这让编译器理解DiscriminatedUnionTypeToListOfDataKeysMap[data.type]属于类型(keyof BaseType[K])[]，这意味着key属于类型keyof BaseType[K]，这有效，因为data可赋给BaseType[K]，所以data[key]是BaseType[K][keyof BaseType[K]]，这是所有BaseType[K]值类型的联合.由于所有这些都是可序列化的number，因此代码会进行编译.

请注意，您could从原来的ADiscriminatedUnion类型开始，然后使用它到compute BaseType，但这更复杂:

type BaseType = { [T in ADiscriminatedUnion as T['type']]: 
  { [K in keyof T as K extends "type" ? never : K]: T[K] } 
};

然后您需要使用分发对象类型版本ADiscriminatedUnion而不是原始版本，以便TypScript遵循相关性:

type DiscU<K extends keyof BaseType = keyof BaseType> = 
  { [P in K]: { type: P } & BaseType[P] }[K]

只有当你无法控制原来的ADiscriminatedUnion类型时，我才会走这条路.但无论哪种方式，它都有效.

Playground link to code