如何在TypeScript中实现带不同类型参数的泛型方法重载？

首先需要修正一个关键错误：Java风格的Comparable<T>接口中，compareTo方法的返回值应该是数字（对应Java的int，负数表示小于、0表示等于、正数表示大于），而非布尔值，否则无法正确执行大小比较逻辑。

接下来调整方法重载的实现，确保类型安全：

namespace java {
  export namespace lang {
    export class Object {}

    // 修正Comparable的返回值类型
    export interface Comparable<T> {
      compareTo: (other: T) => number;
    }
  }

  export namespace util {
    export interface Collection<T> {
      [Symbol.iterator](): IterableIterator<T>;
    }
    export interface Comparator<T> {
      compare: (a: T, b: T) => number;
    }
  }
}

class Collections {
    // 重载1：集合元素自身实现Comparable接口
    public static max<T extends java.lang.Object & java.lang.Comparable<T>>(
        coll: java.util.Collection<T>): T | null;
    // 重载2：传入自定义比较器
    public static max<T>(coll: java.util.Collection<T>, comp: java.util.Comparator<T>): T | null;
    // 实现签名：兼容两个重载的逻辑
    public static max<T>(coll: java.util.Collection<T>, comp?: java.util.Comparator<T>): T | null {
        let result: T | null = null;

        for (const current of coll) {
            if (result === null) {
                result = current;
                continue;
            }

            const comparison = comp 
                ? comp.compare(result, current) 
                : (result as java.lang.Comparable<T>).compareTo(current);
            
            if (comparison < 0) {
                result = current;
            }
        }

        return result;
    }
}

关键调整点 #

1. 修正Comparable接口：将compareTo返回值改为number，符合Java风格的比较逻辑，确保后续comparison < 0的判断有效。
2. 类型安全处理：在无比较器的分支中，使用类型断言(result as java.lang.Comparable<T>)——因为第一个重载已经约束了此时的T必然实现Comparable<T>，所以这个断言是安全的，不会触发类型错误。
3. 重载与实现的兼容性：实现签名的泛型T未加额外约束，但两个重载分别对T做了针对性限制，TypeScript会根据调用时的参数自动匹配正确的重载，保证调用时的类型检查有效。

如果想避免类型断言，也可以添加类型守卫函数增强安全性：

// 类型守卫：判断对象是否实现Comparable接口
function isComparable<T>(obj: T): obj is T & java.lang.Comparable<T> {
    return typeof (obj as any).compareTo === 'function';
}

// 修改实现中的比较逻辑
const comparison = comp 
    ? comp.compare(result, current) 
    : isComparable(result) 
        ? result.compareTo(current) 
        : throw new Error("元素必须实现Comparable接口（无比较器时）");

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