TypeScript中能否基于泛型值定义对应名称的抽象方法？

假设我有如下类定义：

class Foo<T extends string> { }

现在我需要在该类中声明一个抽象方法，要求方法名与泛型参数T的实际传入值完全一致，请问TypeScript是否支持实现该需求？

我期望的使用效果参考如下示例：

class Bar extends Foo<'test'> {
    public override test(): void {
        // todo
    }
}

TypeScript 4.1及以上版本原生支持该需求，核心实现依赖映射类型+抽象类能力，不需要额外工具库。

实现代码 #

直接修改Foo的定义为抽象类，通过映射类型声明和泛型参数同名的抽象方法即可：

abstract class Foo<T extends string> {
  // 声明和泛型T同名的抽象方法，方法签名可按需调整
  abstract [K in T]: () => void;
}

效果验证 #

1. 符合预期的子类实现可以正常通过类型校验，完全匹配你期望的写法：

class Bar extends Foo<'test'> {
    public override test(): void {
        // 业务逻辑
    }
}
const bar = new Bar();
bar.test(); // IDE会自动提示该方法，类型校验正常

2. 如果子类方法名写错、或者没有实现对应方法，TypeScript会直接抛出类型错误：

// 类型错误：非抽象类“BadBar”未实现继承自“Foo<"test">”的抽象成员“test”
class BadBar extends Foo<'test'> {
    // 误将方法名写为test1，直接触发校验报错
    public override test1(): void {}
}

3. 如果传入的泛型是字符串联合类型，子类需要实现所有对应名称的方法：

class MultiImpl extends Foo<'add' | 'delete'> {
    // 必须同时实现add和delete两个方法，少一个都会报错
    public override add(): void {}
    public override delete(): void {}
}

注意事项 #

• 该能力依赖TypeScript 4.1版本引入的映射类型类成员支持，4.1以下版本无法实现该效果
• 方法的参数、返回值类型可以按需调整，比如需要方法接收一个number类型参数、返回string，直接把映射类型的函数签名改为(id: number) => string即可
• 可以给映射的方法添加需要的修饰符，比如protected abstract [K in T]: () => void即可将方法约束为受保护成员

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