如何在编译时检查对象是否自行实现toString方法（非继承）

由于TypeScript中所有对象都会从Object继承toString方法，常规的接口约束无法区分对象是显式实现还是继承该方法。以下是两种可行的编译时类型检查方案：

方案一：通过条件类型判断显式属性 #

利用keyof和条件类型，检查目标类型是否显式包含toString属性：

interface HasToString {
  toString(): string;
}

// 仅允许显式实现toString的类型
type ExplicitlyHasToString<T> = 
  T extends HasToString 
    ? 'toString' extends keyof T 
      ? T 
      : never 
    : never;

// 测试类
class A {} // 未显式实现toString
class B { // 显式实现toString
  toString(): string {
    return 'Instance of B';
  }
}

const a: ExplicitlyHasToString<A> = new A(); // ❌ 编译错误：A未显式实现toString
const b: ExplicitlyHasToString<B> = new B(); // ✅ 编译通过

这个方案的核心是判断toString是否属于目标类型的自身属性键（keyof T），而非继承自Object的属性。

方案二：通过Omit排除继承属性 #

通过Omit移除Object继承的toString，再要求类型必须包含该方法，以此强制显式实现：

interface HasToString {
  toString(): string;
}

// 移除Object原型继承的toString
type WithoutInheritedToString = Omit<object, 'toString'>;

// 要求类型在排除继承toString后仍拥有该方法
type ExplicitToString<T> = T extends WithoutInheritedToString & HasToString ? T : never;

// 测试类
class A {}
class B {
  toString(): string {
    return 'Instance of B';
  }
}

const a: ExplicitToString<A> = new A(); // ❌ 编译错误
const b: ExplicitToString<B> = new B(); // ✅ 编译通过

编译时+运行时结合 #

可以将编译时类型约束和你已实现的运行时检查结合，确保类型安全：

function assertExplicitToString<T>(obj: T): asserts obj is ExplicitlyHasToString<T> {
  if (typeof obj !== 'object' || obj === null || obj.toString === Object.prototype.toString) {
    throw new Error('对象未显式实现toString方法');
  }
}

const a = new A();
assertExplicitToString(a); // ❌ 运行时抛出错误
const b = new B();
assertExplicitToString(b); // ✅ 运行时通过

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