如何在 Typescript 中实现具有不同类型参数的泛型方法重载？

Question

对于库函数，我需要使用具有不同类型参数的方法重载，但我不知道如何实现。 我的尝试可能使用了错误的实现签名：

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

    export interface Comparable<T> {
      compareTo: (other: T) => boolean;
    }
  }

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

class Collections {
    public static max<T1 extends java.lang.Object & java.lang.Comparable<T1>>(
        coll: java.util.Collection<T1>): T1 | null;
    public static max<T2>(coll: java.util.Collection<T2>, comp: java.util.Comparator<T2>): T2 | 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?.compareTo(current);
            if (comparison < 0) {
                result = current;
            }
        }

        return result;
    }
}

这也是一个游乐场示例。 在这种情况下正确的做法是什么？

Answer 1

这是一个可能的解决方案，当我停止尝试使用两种类型参数的替代方案时发现的：

    public static max<T1 extends java.lang.Object & java.lang.Comparable<T1>>(
        coll: java.util.Collection<T1>): T1 | null;
    public static max<T2>(coll: java.util.Collection<T2>, comp: java.util.Comparator<T2>): T2 | null;
    public static max<T1 extends java.lang.Object & java.lang.Comparable<T1>, T2>(
        coll: java.util.Collection<T1> | java.util.Collection<T2>, comp?: java.util.Comparator<T2>): T1 | T2 | null {
        if (comp) {
            let result: T2 | null = null;

            for (const current of coll as java.util.Collection<T2>) {
                if (result === null) {
                    result = current;
                    continue;
                }

                const comparison = comp.compare(result, current);
                if (comparison < 0) {
                    result = current;
                }
            }

            return result;
        } else {
            let result: T1 | null = null;

            for (const current of coll as java.util.Collection<T1>) {
                if (result === null) {
                    result = current;
                    continue;
                }

                const comparison = result.compareTo(current);
                if (comparison < 0) {
                    result = current;
                }
            }

            return result;
        }
    }