Java构造函数中的泛型？

Question

考虑这个假设的课程（我在一个在线视频中找到）：

public class Contrived<T extends Number> extends ArrayList<T> {
      List <? extends T> values;
      ......
    }

这里Contrived 可以接受的类型变量是Number 或Number 的某个子类型。但是类本身继承自ArrayList，所以无论类得到什么类型，都将决定ArrayList的类型。

现在有一个名为values 的字段，即List<? extends T values>。那么这意味着什么？ list 是否可以容纳扩展 T 的任何内容（进而扩展 Number）。

通过PECS (producer extends, consumer super) 规则，我可以只使用这个List 读取元素而不添加到list。

如果我需要传递list of doubles or some type T，constructor 会是什么样子？

Answer 1

您可以有一个采用List<T> 或List<? extends T> 的构造函数。继续设计类：

class B extends Number{
   public double doubleValue() { return 0; }
   public float floatValue() { return 0; }
   public long longValue() { return 0; }
   public int intValue() { return 0; }
}
class C extends B{}

我向Contrived 类添加了一个人为的合法构造函数，采用List<? extends T>：

public Contrived(List<? extends T> values)
{
   this.values = values;
}

这允许我编写一个main 方法，如下所示：

public static void main(String[] args)
{
   List<C> bList = Arrays.asList(new C(), new C(), new C());
   Contrived<B> ci = new Contrived<B>(bList);
}

我可以将List<C> 传递给Contrived<B> 的构造函数。

对Contrived 合法的人为构造函数的另一种设计可能是采用List<T>：

public Contrived(List<T> values)
{
   this.values = values;
}

这样的构造函数不允许将List<C> 用于Contrived<B>，因为现在类型必须匹配，如以下两个Contrived 示例：

public static void main(String[] args)
{
   List<C> cList = Arrays.asList(new C(), new C(), new C());
   Contrived<C> ci = new Contrived<C>(cList);  // must match now
}

和

public static void main(String[] args)
{
   List<B> bList = Arrays.asList(new B(), new B(), new B());
   Contrived<B> ci = new Contrived<B>(bList);  // must match now
}