TypeScript泛型报错：Type 'A[number]'无法赋值给'T[K]'的排查与解决

代码正确性 #

你的代码逻辑本身是合理的，但TypeScript的泛型约束写法触发了类型系统的边缘bug，导致了不必要的编译错误。

报错原因 #

错误提示里的Type 'A' is not assignable to type 'T'属于误导性信息，核心问题在于：

• 你声明A extends readonly T[K][]，意味着A是T[K]元素组成的只读数组的子类型，因此A[number]是T[K]的子类型（例如T[K]为string时，A可能是readonly ["a", "b"]，A[number]为"a"|"b"）。
• 但在部分TypeScript版本中，类型推断器无法正确识别A[number]可以安全与T[K]进行全等比较，反而错误地将A和T这两个无关类型做了关联，抛出了错误。

本地与Playground表现差异原因 #

这几乎可以确定是TypeScript版本不一致导致的：

• 你本地VSCode使用的TS版本可能较旧，存在该泛型数组子类型推断的bug；
• TypeScript Playground默认使用最新稳定版，该bug已被修复，因此不会触发错误。
  你可以通过VSCode右下角的TS版本选择器切换到最新版本，验证该结论。

修复方案 #

如果不想升级TS版本，有以下几种简单的修复方式：

方案1：简化参数类型，移除多余泛型 #

直接使用readonly T[K][]作为参数类型，避免子类型推断的复杂逻辑：

class Table<T, K extends keyof T> {
    constructor(private records: T[], private key: K) { }

    accessSome(
        [...ids]: readonly T[K][]
    ) {
        ids.filter(
            (id) => !this.records.some((record) => record[this.key] === id),
        )
    }
}

方案2：显式标注id的类型 #

直接给回调函数的id参数标注T[K]类型，明确告诉TS类型兼容性：

class Table<T, K extends keyof T> {
    constructor(private records: T[], private key: K) { }

    accessSome<A extends readonly T[K][]>(
        [...ids]: [...A]
    ) {
        ids.filter(
            (id: T[K]) => !this.records.some((record) => record[this.key] === id),
        )
    }
}

方案3：使用类型断言 #

通过类型断言明确id的类型兼容性：

class Table<T, K extends keyof T> {
    constructor(private records: T[], private key: K) { }

    accessSome<A extends readonly T[K][]>(
        [...ids]: [...A]
    ) {
        ids.filter(
            (id) => !this.records.some((record) => record[this.key] === id as T[K]),
        )
    }
}

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