TypeScript如何实现无需显式指定泛型的动态类型继承？

你遇到的核心问题是：TypeScript 的类型别名泛型无法在变量声明的类型注解中自动推断参数，必须显式传递才能触发针对keys数组的提示和校验。以下是不用函数的可行解决方案：

方案一：用typeof p替代显式类名 #

无需手动指定Parent，通过typeof p自动获取实例的类型，同样能获得完整的提示和错误检查：

interface Enforcer {
    name: string;
    keys: { [key: string]: number }
}
class Parent implements Enforcer {
    name = 'abc'
    keys = {
        a: 1,
        b: 2,
        c: 3,
        d: 4,
    }
}

const p = new Parent();

type Inherit<T extends Enforcer = Enforcer> = [T, (keyof T['keys'])[]];

// 使用typeof p自动推断类型
const h: Inherit<typeof p> = [p, ['a']]; // 自动提示a/b/c/d，输入错误键会报错

方案二：用satisfies关键字简化校验（TS 4.9+） #

如果你的TypeScript版本在4.9及以上，可以使用satisfies关键字，无需显式写类型注解，直接让TypeScript自动校验数组的类型匹配：

type Inherit<T extends Enforcer> = [T, (keyof T['keys'])[]];

// 用satisfies约束类型，自动提示且校验错误
const h = [p, ['b']] satisfies Inherit<typeof p>;

为什么直接const h: Inherit = [p, ['']]不行？ #

当你省略泛型参数时，TypeScript会使用类型别名的默认值Enforcer，而Enforcer的keys是字符串索引签名，keyof Enforcer['keys']等于string，所以数组允许任意字符串，自然不会有提示和错误检查。

目前TypeScript不支持在变量类型注解中自动推断泛型参数，所以无法完全省略泛型参数的传递，但用typeof p已经是最接近你需求的无函数方案。

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