TypeScript泛型实例无法赋值给映射类型实例的问题求助

问题代码 #

type Config = {
    a: {type: number, someOtherField: true},
    b: {type: string, someOtherField: false},
}

// "a" | "b"
type Key = keyof Config;
// 返回"a"对应的`number`和"b"对应的`string`
type TypeOfKey<K extends Key> = Config[K]["type"]
// {a: number, b: string}
type Instance = {
    [K in Key]: TypeOfKey<K>
};

const f = <K extends Key>(x: TypeOfKey<K>): Instance[K] => x;
//                                                         ^ 此处报错
// Type 'TypeOfKey<K>' is not assignable to type 'Instance[K]'.
//   Type 'Config[K]' is not assignable to type 'Instance'.
//     Type '{ type: number; someOtherField: true; } | { type: string; someOtherField: false; }' is not assignable to type 'Instance'.
//       Type '{ type: number; someOtherField: true; }' is missing the following properties from type 'Instance': a, b

问题原因 #

TypeScript的类型推断在处理多层泛型索引访问时存在局限：它无法跟踪Config[K]["type"]（即TypeOfKey<K>）和Instance[K]之间的一一对应关系，错误地将两者视为不相关的联合类型，导致类型不兼容报错。

可行解决方案 #

方案1：内联索引访问，消除中间类型断层

直接在Instance的定义中使用Config[K]["type"]，省略中间的TypeOfKey类型，让TypeScript直接跟踪每个K对应的类型关联：

type Config = {
    a: {type: number, someOtherField: true},
    b: {type: string, someOtherField: false},
}

type Key = keyof Config;

// 直接内联Config[K]["type"]，无需中间TypeOfKey
type Instance = {
    [K in Key]: Config[K]["type"]
};

// 参数直接使用Config[K]["type"]，与返回值Instance[K]形成明确映射
const f = <K extends Key>(x: Config[K]["type"]): Instance[K] => x;

方案2：让TypeOfKey从Instance推导，共享类型来源

如果需要保留TypeOfKey类型，可让它直接从Instance推导，而非从Config二次索引，确保两者类型完全一致：

type Config = {
    a: {type: number, someOtherField: true},
    b: {type: string, someOtherField: false},
}

type Key = keyof Config;

type Instance = {
    [K in Key]: Config[K]["type"]
};

// 从Instance反向推导TypeOfKey，确保类型等价
type TypeOfKey<K extends Key> = Instance[K];

const f = <K extends Key>(x: TypeOfKey<K>): Instance[K] => x;

方案3：类型断言（不推荐，仅临时规避）

如果必须保留原有类型定义结构，可使用类型断言强制告诉TypeScript两者等价，但这种方法会绕过类型检查，存在安全风险：

const f = <K extends Key>(x: TypeOfKey<K>): Instance[K] => x as Instance[K];

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