# Java:通配符 '?'

有限制条件通配符的读操作各有不同

• 泛型为 ‘? extendex A’ 的读操作

  class Father{}
  class Son extends Father{}
  List<? extends Father> s = new List<>();
  List<Father> f = null;
  f = s;
  

  上述例子就是说明 泛型为 ‘? extendex A’ 的类 应该被 泛型为此类父类的类 接收

• 泛型为 ‘? super A’ 的读操作

  class Father{}
  class Son extends Father{}
  List<? super Son> s = new List<>();
  List<Father> f = null;
  f = s;
  

  上述例子就是说明 泛型为 ‘? super A’ 的类 至少要被 泛型为此类的父类 接收

有限制条件通配符的写操作各有不同

写操作是一个上向下兼容的操作。只能写入小，不能写入大的。

限制条件通配符的写操作：限制条件通配符的作用实在 X 轴上找到一个点，点的左边能写入点的右边。

• 泛型为 ‘? extendex A’ 的写操作

  class Father{}
  class Son extends Father{}
  List<? extends Father> f = new List<>();
  f.add(new Son());	// 提示报错
  

  这里的上界通配符表示为 Father 类或任何比 Father 小的类，为了不出现写操作混乱，例如写入一级子类但 ‘? extendex A’ 表示的是二级子类。在进行写操作的时候，我们可以把 ‘? extendex A’ 近似看作是一个无限小的一个点，任何类都不能对它进行写操作。

  形象解释：上界通配符在 x 轴上出现了一个左开右闭区域。此区域内无论怎么样都找不到最小的左边来写入。所以上界通配符没有写操作。

• 泛型为 ‘? super A’ 的写操作

  class Father{}
  class Son extends Father{}
  List<? super Father> f = new List<>();
  f.add(new Father());
  f.add(new Son());	// 全部成功
  

  这里的下界通配符表示为 Father 类或任何比 Father 大的类。在进行写操作的时候，我们可以把 ‘? super A’ 这个下界通配符看作在 x 轴上出现一个左闭右开的区域。只要是比此区域小的类都可以进行写操作。即只要是 Father 类或任何 Father 类的子类都可以对此下界通配符修饰的集合进行写操作。