java - 使用泛型方法检查对象是否在数组中

Question

在 Herbert Schildt 的“Java 完整引用”(第 10 版)中，关于泛型的第 14 章中有以下泛型方法示例，用于检查对象是否在数组中:

class GenMethDemo {

    static <T extends Comparable<T>, V extends T> boolean isIn(T x, V[] y) {
        . . .
    }

    . . .
}

我不明白这里为什么要用V extends T。

为什么我们允许数组的类型是我们检查成员资格的对象的子类？不应该反过来吗？

Answer 1

在这种情况下，V 需要是 T 的子类，因为您要在 V[] 上调用 Comparable 方法。如果您允许 V 成为 T 的父类(super class)型(例如 Object[])，则不能调用 compareTo，因为这些方法不是实现。