TypeScript中如何验证含私有构造函数类的实例类型？

问题重现 #

先看导致编译错误的原始实现与场景：

class Foo { }

class Bar {
  private constructor() { }
  static create() {
    return new Bar();
  }
}

// 原始函数，处理私有构造函数的类时会报错
function verifyType<T>(obj: unknown, cls: new (...args: any[]) => T): obj is T {
  return obj instanceof cls;
}

// 编译错误：类型“typeof Bar”的参数不能赋给类型“new (...args: any[]) => Bar”的参数
const bar = Bar.create();
verifyType(bar, Bar);

问题核心是：new (...args: any[]) => T类型要求构造函数可被外部调用，但私有构造函数的类（如Bar）不满足该约束，因此触发编译错误。

正确解决方案 #

调整类型约束，不再要求构造函数可调用，只保留instanceof判断所需的prototype属性即可。定义精准的Class<T>类型：

type Class<T> = { prototype: T };

function verifyType<T>(obj: unknown, cls: Class<T>): obj is T {
  // 类型断言为Function，因为instanceof要求右侧是函数类型
  return obj instanceof (cls as Function);
}

// 正常使用，无编译错误
const bar = Bar.create();
verifyType(bar, Bar);

const foo = new Foo();
verifyType(foo, Foo);

// 阻止非类类型传入（编译错误）
verifyType({}, {});

方案说明 #

1. 精准类型约束：Class<T>仅要求参数具备prototype属性，这正是instanceof判断的核心依据——检查对象原型链是否包含目标类的prototype。私有构造函数的类依然具备prototype属性，因此符合类型要求。
2. 类型断言的必要性：cls as Function是因为TypeScript无法自动推断Class<T>为函数类型，但运行时传入的确实是类（构造函数），该断言安全且必要。
3. 类型安全保障：既解决了私有构造函数类的编译错误，又能阻止非类类型（如普通对象）传入，避免运行时逻辑错误。

其他方案的问题分析 #

• T extends typeof Object：该约束要求类继承Object的所有静态方法，普通类无法满足，导致编译错误，约束过于严格。
• Function & Pick<typeof Object, "prototype">：允许所有函数传入（包括普通非类函数），比如verifyType({}, function() {})会通过编译但运行时逻辑错误，类型约束过于宽松。

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