TypeScript：类型/构造函数与类型实例的表达及技术问询

嘿，这个问题其实挺典型的——咱们已经知道怎么约束函数接收类构造函数（像你例子里的getTypeArg那样），但反过来要约束只接收类的实例，确实需要换个思路。下面我给你几个实用的方案，按需选就行：

方案1：用泛型+InstanceType做通用约束 #

首先，我们可以先定义一个代表“可构造类”的类型别名，然后利用TypeScript内置的InstanceType工具类型，直接获取这个类的实例类型，以此来约束getInstance的参数：

// 定义一个类型，代表任何能new出实例的类构造函数
type Constructor<T = any> = new (...args: any[]) => T;

// 约束参数必须是某个类的实例
function getInstance<T>(inst: InstanceType<Constructor<T>>): void {
  // 这里写你的业务逻辑就行
  console.log("拿到实例啦:", inst);
}

试试调用的效果：

getInstance(123); // ❌ 报错：原始值number不是任何类的实例类型
getInstance(Number); // ❌ 报错：这是构造函数，不是实例
getInstance(new Number(123)); // ✅ 正常通过
getInstance(new Date()); // ✅ 也能正常接收Date实例

这个方案的好处是通用——不管你要接收哪个类的实例，都不用改函数定义，TypeScript会自动推断类型。

方案2：针对特定类做精确约束 #

如果你的getInstance只需要接收某一类的实例（比如只接受Number实例），那直接写具体的实例类型就行：

function getNumberInstance(inst: Number): void {
  console.log("拿到Number实例:", inst);
}

getNumberInstance(123); // ❌ 报错：原始值不是Number包装对象
getNumberInstance(new Number(123)); // ✅ 正常通过

要是需要在函数内部做更灵活的类型检查，还可以写个类型保护函数：

// 通用类型保护：判断值是否是某个类的实例
function isInstance<T>(value: unknown, ctor: Constructor<T>): value is T {
  return value instanceof ctor;
}

// 带类型检查的getInstance
function getInstance<T>(inst: unknown, targetClass: Constructor<T>): void {
  if (isInstance(inst, targetClass)) {
    // 这里TypeScript会自动把inst的类型推断为T
    console.log(`这是${targetClass.name}的实例:`, inst);
  } else {
    throw new Error(`传入的不是${targetClass.name}的实例哦`);
  }
}

getInstance(new Date(), Date); // ✅ 正常运行
getInstance(123, Number); // ❌ 编译时就提示类型不匹配，运行时也会报错

小提醒：原始值和包装对象的区别 #

这里要注意TypeScript里的一个细节：原始类型（比如number、string）和它们对应的包装类（Number、String）是两回事。123 instanceof Number会返回false，所以直接传原始值会被类型检查拦住。

如果你的场景需要同时支持原始值和包装实例，那可以调整类型约束：

// 同时允许原始值和对应的包装实例
type PrimitiveOrInstance<T> = T | InstanceType<Constructor<T>>;

function getInstance<T>(inst: PrimitiveOrInstance<T>): void {
  console.log("拿到值:", inst);
}

getInstance(123); // ✅ 正常通过
getInstance(new Number(123)); // ✅ 也能通过

这个就看你具体的业务需求来选啦。

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