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

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

리스코프 대체 원리에 따르면 C가 P의 하위 클래스인 경우 P는 C를 대체할 수 있습니다. 즉, P p = new C();
C는 P로부터 상속받고, C

불변이란 무엇입니까

F가 불변이라면 C

예를 들어 Integer는 Liskov 대체 원칙에 따라 Number의 하위 클래스입니다

Number number = new Integer(1);  //correct

그러나 이렇게 작성하면 오류가 보고됩니다

List<Number> list = new ArrayList<Integer>(1);  //error

Number와 Integer는 상속 관계를 가지지만 Integer List 및 List<integer></integer>로도 볼 수 있습니다. 상속 관계가 없습니다List<number> </number>和List<integer></integer> 不存在任何继承关系

什么是协变

如果F是协变的，当 C

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

List<? extends Number> list = new ArrayList<Integer>(1);  //corrent

此时的List extends Number>可以看作为ArrayList<integer></integer>的父类

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

数组默认是协变的

Number[] numbers = new Integer[3];

什么是逆变

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

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

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

此时的 List super Number>可以看作为 ArrayList<object></object>的父类

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自动变成了 extends Number>

第二行报错，也就是说? extends Number不是Integer的父类。这里要将 List extends Number>是ArrayList<integer></integer>的父类区分开。

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

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

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

首先因为逆变，List super Number>是ArrayList<object></object>的父类，第一行正确。

第二行： ? 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());
          }
      }
  }

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

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