如何实现TypeScript泛型约束：排除类实例仅接受普通对象？

在TypeScript的结构化类型系统中，如果类没有私有/受保护成员，类实例和结构匹配的普通对象在类型层面是等价的，仅靠纯类型约束无法完全区分二者。但可以通过以下两种方式实现你的需求：

方法一：给类添加私有标识属性 #

通过给所有需要排除的类添加一个私有属性，让类型系统能够区分类实例和普通对象：

class A {
  // 添加私有标识属性
  private _classInstance?: never;
}
class B {
  private _classInstance?: never;
  name: string = '1'
}
interface C {
 name: string
}

// 约束排除带有_classInstance属性的类型
function fn<T extends object & { _classInstance?: never }>(v: T) {}

const a = new A()
const b = new B()
const c: C =  {name: '1'}

fn(a) // 报错：类型"A"不能赋值给类型"{ _classInstance?: never; }"
fn(b) // 报错：类型"B"不能赋值给类型"{ _classInstance?: never; }"
fn(c) // 正常通过

这种方法需要修改所有需要排除的类的定义，优点是纯类型层面的检查，没有运行时开销。

方法二：结合运行时检查与条件类型 #

通过运行时判断对象的构造函数是否为Object，同时用条件类型在编译时标记错误：

class A {}
class B {
  name: string = '1'
}
interface C {
 name: string
}

// 泛型约束结合条件类型，编译时排除类实例，运行时做校验
function fn<T extends object>(
  v: T extends { constructor: typeof Object } ? T : never
): T {
  // 运行时校验，防止绕过类型检查
  if (v.constructor !== Object) {
    throw new Error('禁止传入类实例');
  }
  return v;
}

const a = new A()
const b = new B()
const c: C =  {name: '1'}
const d = { name: '2' } // 普通对象字面量也能通过

fn(a) // 报错：类型"A"不能赋值给类型"never"
fn(b) // 报错：类型"B"不能赋值给类型"never"
fn(c) // 正常通过
fn(d) // 正常通过

这种方法不需要修改类的定义，但注意：如果手动修改了普通对象的constructor属性（如const e = { name: '3', constructor: function(){} }），该对象也会被排除，因为它的构造函数不是Object。

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