T 扩展了 Comparable

Question

我有以下课程。

class MyClass<T>

它使用以下构造函数。

MyClass(Comparator<T> comparator, Collection<? extends T> data)

它有一个在构造函数中设置的字段，如下所示：

this.data = Collections.unmodifiableCollection(data);

在 T 实现 Comparable 的特殊情况下，我不想要求传入比较器，因为我可以只使用自然排序。所以我想我应该能够使用这个构造函数：

public <T extends Comparable<T>> MyClass(Collection<T> data)

但显然存在类型不匹配：无法从 Collection转换；收藏 。我尝试过各种方法：添加更多通用参数等等，但都不起作用。我似乎无法指定一个界限：如果您有一个实现 Comparable 的类型 T，请执行简单的操作。

有什么想法吗？

谢谢。

Answer 1

不幸的是，我认为这种“if Comparable do this else do that”的逻辑在 Java 类型系统中是不可能的。

您可以将可比较和不可比较的情况拆分为单独的类并将它们隐藏在接口后面，如下所示：

interface Interface<T> {
    public void processData();
}

class MyClass<T> implements Interface<T> {
    private final Collection<? extends T> data;
    MyClass(Comparator<T> comparator, Collection<? extends T> data) {
        this.data = data;
    }
    public void processData() {
        // ...
    }
}

class MyCompClass<T extends Comparable<T>> implements Interface<T> {
    private final Collection<? extends T> data;
    MyCompClass(Collection<? extends T> data) {
        this.data = data;
    }
    public void processData() {
        // ...
    }
}

class Factory {
    static <T extends Comparable<T>> Interface<T> create(Collection<? extends T> data) {
        return new MyCompClass<T>(data);
    }
    static <T> Interface<T> create(Comparator<T> comparator, Collection<? extends T> data) {
        return new MyClass<T>(comparator, data);
    }
}

但这可能会导致大量重复的代码。另一种选择是让 MyClass 在其构造函数中需要 Comparator，并在工厂中构建该比较器：

class MyClass<T> {
    private final Collection<? extends T> data;
    MyClass(Comparator<T> comparator, Collection<? extends T> data) {
        this.data = data;
    }
    public void processData() {
        // ...
    }
}

class Factory {
    static <T extends Comparable<T>> MyClass<T> create(Collection<? extends T> data) {
        return new MyClass<T>(new Comparator<T>() {
            public int compare(T o1, T o2) {
                return o1.compareTo(o2);
            }
        }, data);
    }
    static <T> MyClass<T> create(Comparator<T> comparator, Collection<? extends T> data) {
        return new MyClass<T>(comparator, data);
    }
}

Answer 2

我同意这似乎是不可能的，因为

class MyClass<T> {

    Collection<? extends T> data;

    public MyClass(Comparator<T> comparator, Collection<? extends T> data) {
        this.data = data;
    }

    public <E extends T & Comparable<T>> MyClass(Collection<E> data) {
        this.data = data;
    }

}

编译器拒绝了

直接的解决方案

当第一个绑定是类型参数时，无法指定任何其他绑定Comparable

另请参阅 为什么我不能在具有多个边界的类型参数中使用类型实参？（特别是 Chris波维克的回答）。

至于解决方案，我同意 Chris B.

Answer 3

您可以对第一种情况使用常规构造函数，对第二种情况使用工厂方法：

class MyClass<T> {

    Collection<? extends T> data;
    Comparator<? super T> comparator;

    public MyClass(Comparator<? super T> comparator, Collection<? extends T> data) {
        this.data = data;
        this.comparator = comparator;
    }

    public static <T extends Comparable<? super T>> MyClass<T> fromComparable(Collection<T> data) {
        return new MyClass<T>(Collections.reverseOrder(Collections.reverseOrder()), data);
    }

}