泛型作为对象键时的TypeScript类型错误问题

问题重现 #

我在使用泛型作为两个对象的索引键时遇到了类型错误：两个对象有部分共有键，我把泛型约束为它们的共有键类型，但尝试通过这个键把一个对象的值赋值给另一个时，TypeScript却提示类型不兼容，明明这个键肯定是两者共有的。

代码示例如下：

// 这些类型只要互不兼容就行（开启strictNullCheck时，null不能赋值给undefined）
type A = number
type B = string
type C = boolean
type D = null
type E = undefined

type Test1 = {
    a: A
    b: B
    c: C
    d: D
}
declare const test1: Test1

type Test2 = {
    b: B
    c: C
    d: D
    e: E
}
declare const test2: Test2

function testFn<T extends keyof Test1 & keyof Test2>(t: T) {
    test1[t] = test2[t]
//  ^^^^^^^^
    // 报错：Type 'Test2[T]' is not assignable to type 'Test1[T]'.
    // Property 'a' is missing in type 'Test2' but required in type 'Test1'. ts(2322)
}

// 但直接用具体键就完全没问题
const key = 'b'
test1[key] = test2[key] // 用b、c、d都能正常运行

能正常运行的场景 #

• 被赋值的对象没有对方没有的键
• 两个对象的共有键类型完全一致
• 不用泛型，直接写具体的键名

问题原因 #

TypeScript在这里的泛型类型推导有局限性：虽然你把T约束成了两个对象的共有键，但它不会自动对应到“每个具体的T对应的Test1和Test2的属性类型是完全一致的”，而是会把Test1[T]当成Test1所有共有键类型的联合，Test2[T]当成Test2所有共有键类型的联合，然后认为这两个联合类型不能互相赋值，所以抛出了错误——哪怕我们知道对于每个具体的T来说，类型是完全匹配的。

解决办法 #

办法1：类型断言（最简单直接） #

直接告诉TypeScript你确认这个赋值是安全的：

function testFn<T extends keyof Test1 & keyof Test2>(t: T) {
    test1[t] = test2[t] as Test1[T]
}

办法2：用类型映射明确兼容性 #

先定义共有键的类型映射，让TypeScript明确两个对象的共有键类型是一致的：

// 提取共有键
type CommonKeys = keyof Test1 & keyof Test2
// 定义共有键的类型模板
type CommonProps = { [K in CommonKeys]: Test1[K] }

// 可选：提前校验Test2的共有键是否和Test1一致，避免后续类型问题
type _CheckCompatibility = Test2 extends Pick<CommonProps, CommonKeys> ? true : false

function testFn<T extends CommonKeys>(t: T) {
    test1[t] = test2[t]
}

这里通过Pick和类型映射，让TypeScript能识别到Test2[T]和Test1[T]是完全匹配的类型，不会再报错。

办法3：用Extract提取共有键+类型断言 #

和办法1类似，但用Extract更清晰地提取共有键：

function testFn<T extends Extract<keyof Test1, keyof Test2>>(t: T) {
    test1[t] = test2[t] as typeof test1[T]
}

总结 #

这个问题是TypeScript泛型索引赋值时的类型检查“盲区”，我们可以通过类型断言或者更精确的类型约束来解决，既保证代码能正常运行，也不会破坏类型安全。

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