Java 제네릭의 공분산, 반공분산, 확장 및 수퍼 선택 방법

공분산과 반공분산을 이해하려면 먼저 다음을 소개해야 합니다.

리스코프 대체 원리에 따르면 C가 P의 하위 클래스인 경우 P는 C를 대체할 수 있습니다. 즉, P p = new C();
C는 P로부터 상속받고, C f274bcc6a41ad523ee7283339c5963ac 和Listc0f559cc8d56b43654fcbe4aa9df7b4a 不存在任何继承关系

什么是协变

如果F是协变的，当 C 3592d2c0d3e58f8105bc39ac7b94d518可以看作为ArrayListc0f559cc8d56b43654fcbe4aa9df7b4a的父类

? extend Number可以看作为一个类型范围，表示Number的某一个子类

数组默认是协变的

Number[] numbers = new Integer[3];

什么是逆变

如果F是逆变的，当 C 5d18509ffa87f09498721c15444d4b70= F(P)

Java 提供了一个super来将不变转为协变，例如：

List<? super Number> list = new ArrayList<Object>(1);  //corrent

此时的 Listda50108ad159903fabe211f1543600e8可以看作为 ArrayLista87fdacec66f0909fc0757c19f2d2b1d的父类

extends 和 super

首先，我们看看Collection.add的实现：

public interface List<E> extends Collection<E> { boolean add(E e); }

下面代码将会报错？? extends Number与Integer类型不匹配

List<? extends Number> list = new ArrayList<Integer>(); // correct
list.add(Integer.valueOf(1));  //error

首先在调用add方法时，泛型E自动变成了a2b037db85f4e1df0e812b9647ac55a8

第二行报错，也就是说? extends Number不是Integer的父类。这里要将 Lista2b037db85f4e1df0e812b9647ac55a8是ArrayListc0f559cc8d56b43654fcbe4aa9df7b4a的父类区分开。

? extends Number可以看作为一个类型范围中某一个类型，表示Number的某一个子类，但又没明确是哪个子类，可能是Float，可能是Short，也可能是Integer的子类（Integer被final修饰，不可能有子类，这里只是一种假设情况），它只确定了它的上界为 Number，并没有确定下界（有可能存在? extends Number< Integer），因此 ? extends Number不是Integer的父类

将上面代码稍做修改就正确了：

List<? super Number> list = new ArrayList<Object>(); // correct
list.add(Integer.valueOf(1));  //correct

首先因为逆变，Listda50108ad159903fabe211f1543600e8是ArrayLista87fdacec66f0909fc0757c19f2d2b1d的父类，第一行正确。

第二行： ? super Number是Integer的父类，原因是：? super Number表示Number的某一个父类，可能是Serializable也可能是 Object

공분산이란 무엇입니까?

F가 공변인 경우 C

Java는 불변을 공분산으로 변환하는 확장 기능을 제공합니다. 예를 들면 다음과 같습니다.

• public static <T> void copy(List<? super T> dest, List<? extends T> src) {
      int srcSize = src.size();
      if (srcSize > dest.size())
          throw new IndexOutOfBoundsException("Source does not fit in dest");
  
      if (srcSize < COPY_THRESHOLD ||
          (src instanceof RandomAccess && dest instanceof RandomAccess)) {
          for (int i=0; i<srcSize; i++)
              dest.set(i, src.get(i));
      } else {
          ListIterator<? super T> di=dest.listIterator();
          ListIterator<? extends T> si=src.listIterator();
          for (int i=0; i<srcSize; i++) {
              di.next();
              di.set(si.next());
          }
      }
  }

  여기에서 시간이 지나면 List09e25fb8b4f05b64e35ba82433551a6d는 ArrayListc0f559cc8d56b43654fcbe4aa9df7b4a
• ?extend Number의 상위 클래스로 볼 수 있습니다. 숫자 A 특정 하위 클래스를 나타내는 유형 범위
  배열은 기본적으로 공변입니다

private static <E> E getFirst(List<? extends E> list){
    return list.get(0);
}

private static <E> void setFirst(List<? super E> list, E firstElement){
    list.add(firstElement);
}

public static void main(String[] args) {
    List<Integer> list = new ArrayList<Integer>();
    setFirst(list, 1);
    Number number = getFirst(list);
}

• 반공변성이란 무엇입니까

F가 반공변인 경우 C = F(P)

🎜🎜🎜Java는 불변성을 공분산으로 변환하는 super를 제공합니다. 예: 🎜🎜rrreee🎜 이때 Listda50108ad159903fabe211f1543600e8는 ArrayLista87fdacec66f0909fc0757c19f2d2b1d로 볼 수 있습니다. code>의 상위 클래스 🎜🎜extends 및 super🎜🎜🎜먼저 Collection.add의 구현을 살펴보겠습니다. 🎜🎜rrreee🎜🎜다음 코드는 오류를 보고합니까? 🎜? extends Number는 Integer 유형과 일치하지 않습니다🎜rrreee🎜우선 add 메소드를 호출하면 일반 E가 자동으로 2b0867e9f92f13ecd89862bb38712ed0🎜🎜두 번째 줄은 오류를 보고합니다. 이는 ? 확장 Number가 Integer의 상위 클래스가 아님을 의미합니다. 여기서는 List Extensions Number>가 ArrayList<integer></integer>의 상위 클래스라는 것을 구별해야 합니다. 🎜🎜?extendsNumber는 Number의 특정 하위 클래스를 나타내는 유형 범위의 특정 유형으로 간주될 수 있지만 어떤 하위 클래스인지는 확실하지 않습니다. 또는 Integer의 하위 클래스입니다(Integer는 final에 의해 수정되며 하위 클래스를 가질 수 없습니다. 이는 단지 가상적인 상황일 뿐입니다). 이는 상한을 Number로 결정하고 하한을 결정하지 않습니다(? 확장 Number < Integer), 따라서 ? 확장 Number는 Integer🎜🎜🎜의 상위 클래스가 아닙니다. 위의 코드를 수정하면 정확해질 것입니다. 오류: 🎜🎜rrreee🎜우선 반전으로 인해 Listda50108ad159903fabe211f1543600e8가 ArrayLista87fdacec66f0909fc0757c19f2d2b1d의 상위 클래스입니다. code>이고 첫 번째 줄이 정확합니다. 🎜🎜두 번째 줄: <code>? super Number는 Integer의 상위 클래스입니다. 이유는: ? super Number는 다음의 특정 상위 클래스를 나타냅니다. Number는 Serialize 또는 Object일 수 있지만 어느 것이든 Number의 상위 클래스는 Integer의 상위 클래스여야 하므로 두 번째 줄도 정확합니다. .extends 또는 super를 사용해야 합니까? 🎜🎜🎜java.util.Collections(JDK1.7)의 복사 방법이 답을 제공합니다: 🎜🎜rrreee🎜🎜🎜일반 클래스에서 데이터를 가져오려면 확장을 사용하세요. 🎜🎜🎜🎜일반 클래스에 데이터를 쓰려면 super를 사용하세요. 🎜🎜🎜🎜가져오기와 쓰기를 모두 수행하려면 와일드카드가 필요하지 않습니다(즉, 확장이나 슈퍼가 사용되지 않음) 🎜🎜🎜rrreee

위 내용은 Java 제네릭의 공분산, 반공분산, 확장 및 수퍼 선택 방법의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!