编写TypeScript函数：验证抽象类与子类实例的参数类型约束

需求说明 #

• 编写名为speak的TypeScript函数
• 接收两个参数a和b
• 参数a必须是抽象类
• 参数b必须是a对应抽象类的子类实例

预期行为示例 #

// 基础环境定义
abstract class SampleUserService{}
class RuntimeUserService extends SampleUserService{}
class DoNotWork{}

// 示例1：合法，RuntimeUserService是SampleUserService的子类实例
speak(SampleUserService, new RuntimeUserService());

// 示例2：不合法，未创建RuntimeUserService实例
speak(SampleUserService, RuntimeUserService);

// 示例3：不合法，DoNotWork未继承SampleUserService
speak(SampleUserService, new DoNotWork());

// 示例4：不合法，传入的是类而非实例
speak(SampleUserService, DoNotWork);

现有代码问题 #

以下尝试代码存在类型约束逻辑错误，导致第一个参数出现不必要的错误提示：

type AbstractServiceConstructor<T> = abstract new (...args: any[]) => T;

function speak<T extends AbstractServiceConstructor<T>, U extends InstanceType<any>>(a: T, b: U) {
  // 函数体
}

abstract class SampleUserService {}
class RuntimeUserService extends SampleUserService {}
class DoNotWork {}

// 当前代码的问题：第一个参数存在错误提示
speak(SampleUserService, new RuntimeUserService()); // 正常
speak(SampleUserService, RuntimeUserService); // 错误：类型不匹配
speak(SampleUserService, new DoNotWork()); // 错误：类型不匹配
speak(SampleUserService, DoNotWork); // 错误：类型不匹配

正确实现方案 #

通过泛型关联抽象类构造器和其实例类型，确保b严格对应a抽象类的子类实例：

// 定义抽象类构造器类型，用于约束参数a的类型
type AbstractConstructor<T> = abstract new (...args: any[]) => T;

// 泛型约束：T为抽象类的实例类型，C为该抽象类的构造器
function speak<T, C extends AbstractConstructor<T>>(abstractClass: C, instance: T) {
  // 函数体逻辑
}

实现逻辑说明 #

• 泛型T被推断为抽象类的实例类型，参数instance必须匹配该类型（由于抽象类无法直接实例化，实际只能传入其子类实例）
• 泛型C约束为能构造出T的抽象类构造器，确保参数abstractClass是对应抽象类本身

验证结果 #

使用正确实现的speak函数，所有预期场景都能被TypeScript正确校验：

abstract class SampleUserService{}
class RuntimeUserService extends SampleUserService{}
class DoNotWork{}

// ✅ 合法：子类实例匹配抽象类类型
speak(SampleUserService, new RuntimeUserService());

// ❌ 不合法：传入类而非实例，类型不匹配
speak(SampleUserService, RuntimeUserService);

// ❌ 不合法：实例未继承目标抽象类，类型不匹配
speak(SampleUserService, new DoNotWork());

// ❌ 不合法：传入类而非实例，类型不匹配
speak(SampleUserService, DoNotWork);

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