TypeScript类类型强约束：如何严格限制类与工厂返回类型匹配？

为什么当前代码会被编译器接受？ #

TypeScript采用结构类型系统，判断类型兼容性时仅依据结构而非类名称。你的A和B都是空类，没有任何属性或方法，它们的实例类型在结构上完全一致，因此编译器认为两者是兼容的。调用test(A, () => new B())时，泛型T会被推断为两者的公共超类型（本质是{}），所以不会触发类型错误。

更严格的类型定义方式 #

方案1：利用私有成员破坏结构兼容性 #

给类添加私有成员，让TypeScript将它们视为不同的名义类型：

type Class<T> = new (...args: any[]) => T

class A {
  private _tag: void // 私有成员无需赋值，仅用于区分类型
}

class B {
  private _tag: void
}

const test = <T>(type: Class<T>, factory: () => T) => { }

test(A, () => new B()) // 类型错误：'B'不能赋值给类型'A'

方案2：绑定构造函数类型实现严格约束 #

直接将泛型参数绑定到构造函数本身，通过InstanceType<C>提取实例类型，确保工厂函数返回值与构造函数的实例严格匹配：

const test = <C extends new (...args: any[]) => any>(
  type: C,
  factory: () => InstanceType<C>
) => { }

class A { }
class B { }

test(A, () => new B()) // 类型错误：'B'不能赋值给类型'A'
test(A, () => new A()) // 正常通过

这个方案无需修改原类的定义，是最简洁的严格约束方式。

方案3：使用品牌类型标记实例 #

如果不想修改类，可通过添加品牌属性区分类型（需手动标记）：

type Class<T> = new (...args: any[]) => T
type Branded<T, Name> = T & { __brand: Name }

class A { }
class B { }

const test = <T>(type: Class<Branded<T, string>>, factory: () => Branded<T, string>) => { }

// 错误示例
test(A as Class<Branded<A, 'A'>>, () => new B() as Branded<B, 'B'>)
// 正确示例
test(A as Class<Branded<A, 'A'>>, () => new A() as Branded<A, 'A'>)

内容的提问来源于stack exchange，提问作者andré michelle