TypeScript泛型类继承接口时出现类型匹配不一致问题

问题原因 #

你遇到的报错是 TypeScript 对未落地的泛型参数的保守检查导致的：

1. Person 是抽象泛型类，其泛型参数 T 只有 extends IPerson 的约束，不等于固定为IPerson。TS 无法保证所有继承 Person 时传入的 T 中，name 属性的类型一定是 boolean/number/string 这类字面量类型——理论上完全可以出现类似 interface ICustomPerson extends IPerson { name: () => void } 的实现，此时 LiteralKeys<ICustomPerson> 里就不存在 name 这个键，setName 调用就会失效，所以 TS 提前抛出了类型错误。
2. 最终类 Chef 没有未确定的泛型参数，TS 可以直接读取到 IChef 里 name、specialty 都是字符串类型，属于 Literal 的子集，因此调用set方法不会报错。
3. 你注释掉的直接用K extends keyof T的版本没有问题，是因为这个约束只检查键是否存在，不检查键对应的值的类型，所以不会触发上述保守校验。

解决方案 #

方案1：类型断言（最简实用） #

如果你能保证所有继承 Person 的子类都不会修改 IPerson 中已定义属性的类型，可以直接加类型断言跳过校验：

export abstract class Person<T extends IPerson = IPerson> extends GraphNode<T> {
    setName(name: string) {
        this.set('name' as LiteralKeys<T>, name);
    }
}

方案2：类型收窄断言 #

也可以把当前实例断言为 GraphNode<IPerson> 再调用set，逻辑上更安全：

export abstract class Person<T extends IPerson = IPerson> extends GraphNode<T> {
    setName(name: string) {
        (this as GraphNode<IPerson>).set('name', name);
    }
}

方案3：调整泛型约束层级 #

如果你的业务场景中所有GraphNode的子类都会绑定固定的接口类型，不需要中途扩展泛型，可以把Person改成非泛型类，直接绑定IPerson，后续子类再扩展泛型即可：

export abstract class Person extends GraphNode<IPerson> {
    setName(name: string) {
        this.set('name', name);
    }
}

export class Chef extends Person implements GraphNode<IChef> {
    setSpecialty(specialty: string) {
        this.set('specialty' as LiteralKeys<IPerson>, specialty);
    }
}

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