使约束函数成为类型类实例

// 定义一个类型类 Eq
interface Eq<T> {
  equals(a: T, b: T): boolean;
}

// 实现 Eq 类型类的 String 实例
class StringEq implements Eq<string> {
  equals(a: string, b: string): boolean {
    return a === b;
  }
}

// 实现 Eq 类型类的 Number 实例
class NumberEq implements Eq<number> {
  equals(a: number, b: number): boolean {
    return a === b;
  }
}

// 定义一个约束函数，接受 Eq 类型类的实例
function areEqual<T>(a: T, b: T, eq: Eq<T>): boolean {
  return eq.equals(a, b);
}

// 使用示例
const stringEq = new StringEq();
const numberEq = new NumberEq();

console.log(areEqual("hello", "hello", stringEq)); // true
console.log(areEqual(10, 10, numberEq)); // true
console.log(areEqual("hello", "world", stringEq)); // false
console.log(areEqual(10, 20, numberEq)); // false