在泛型声明中使用“”extends“时，可以避免Java中的参数不匹配吗？

Question

我正在尝试制作一个处理（可比）元素排序列表的函数。因此，我使用通用

public static <T extends List<? extends Comparable>> T intersect (T A, T B) {
    T C = (T) A.getClass().newInstance();
    int posA = 0;
    int posB = 0;
    while(posA<A.size()&&posB<B.size()) {
        if (A.get(posA).compareTo(B.get(posB))>0) posB++;
        else if (A.get(posA).compareTo(B.get(posB))<0) posA++;
        else if (A.get(posA).equals(B.get(posB))) {
            C.add((Comparable)(A.get(posA)));
            posA++; posB++;
        }
    }
    return C;
}

我应该如何告诉编译器A. get（posA）是有效类型？扩展可比？显然强制转换不起作用，我希望例程接受并返回任意可比对象的列表（整数、字符串、自定义对象等）




Answer 1

这是一个典型的泛型问题。

您是说您接受扩展可比的每个对象列表。

因此，如果另一个方法将列表传递给您的方法，这将是非常好的。

当然，不应该允许您在代码中将数字添加到该列表中，即使它会扩展可比！

您可以通过向方法签名中添加另一个泛型参数（而不是“？”）来修复代码中的此问题。然后可以在代码中强制转换到该参数。

Answer 2

难道您没有注意到代码中的所有不安全类型语句，其中包括多个不安全强制转换吗<你真的有很多。这通常意味着总体方法并不正确。

事实上，如果您了解泛型如何在Java中工作，事情就不会那么复杂了
这可以帮助您：

• https://docs.oracle.com/javase/tutorial/java/generics/upperBounded.html

根据您的实际代码，以下是您应该考虑的主要事项：1）不要使用原始类型，例如<代码>列表

通过遵循这些想法，您可以编写如下代码：

public static <T extends Comparable<T>> List<T> intersect (List<T> A, List<T> B) {
    List<T> list = new ArrayList<>();       
    int posA = 0;
    int posB = 0;
    while(posA<A.size()&&posB<B.size()) {
        if (A.get(posA).compareTo(B.get(posB))>0) posB++;
        else if (A.get(posA).compareTo(B.get(posB))<0) posA++;
        else if (A.get(posA).equals(B.get(posB))) {
            list.add(A.get(posA));
            posA++; posB++;
        }
    }
    return list;
}

这是我最初的方法，但这里的问题是，并非所有两个非ArrayList列表的交集都是ArrayList。

如果您为参数声明List，则在编译时不会知道List的类型。因此，您将不可避免地以不安全的强制转换结束。
例如：

@SuppressWarnings("unchecked")
public static <T extends Comparable<T>, L extends List<T>> L intersect(L A, L B)  {

    if (A.getClass() != B.getClass()) {
        throw new IllegalArgumentException("not same type between ...");
    }
    List<T> list = A.getClass()
                    .newInstance(); // uncheck

    int posA = 0;
    int posB = 0;
    while (posA < A.size() && posB < B.size()) {
        if (A.get(posA)
             .compareTo(B.get(posB)) > 0)
            posB++;
        else if (A.get(posA)
                  .compareTo(B.get(posB)) < 0)
            posA++;
        else if (A.get(posA)
                  .equals(B.get(posB))) {
            list.add(A.get(posA));
            posA++;
            posB++;
        }
    }
    return (L) list; // uncheck
}