suchen

Heim  >  Artikel  >  Java  >  Lassen Sie uns über die Kovarianz und Kontravarianz von Kotlin aus Java sprechen

Lassen Sie uns über die Kovarianz und Kontravarianz von Kotlin aus Java sprechen

coldplay.xixi
coldplay.xixinach vorne
2020-10-13 11:14:232022Durchsuche

Java Basic TutorialIn der heutigen Spalte werden Kovarianz und Kontravarianz in Kotlin vorgestellt.

Lassen Sie uns über die Kovarianz und Kontravarianz von Kotlin aus Java sprechen

Vorwort

Um Kovarianz und Kontravarianz in Kotlin und Java besser zu verstehen, werfen wir zunächst einen Blick auf einige Grundkenntnisse.

Normale Zuweisung

In Java lauten die üblichen Zuweisungsanweisungen wie folgt: 

A a = b;复制代码

Die Bedingungen, die die Zuweisungsanweisung erfüllen muss, sind: Die linke Seite ist entweder die übergeordnete Klasse der rechten Seite oder vom gleichen Typ wie die rechte Seite Seite. Das heißt, der Typ von A muss „größer“ sein als der Typ von B, wie zum Beispiel Object o = new String("s"); . Der Einfachheit halber wird es im Folgenden als A > Object o = new String("s"); 。为了方便起见，下文中称作 A > B。

除了上述最常见的赋值语句，还有两种其他的赋值语句：

函数参数的赋值

public void fun(A a) {}// 调用处赋值B b = new B();
fun(b);复制代码

在调用 fun(b) 方法时，会将传入的 B b 实参赋值给形参 A a，即 A a = b 的形式。同样的，必须要满足形参类型大于实参，即 A > B。

函数返回值的赋值

public A fun() {
    B b = new B();    return b;
} 
复制代码

函数返回值类型接收实际返回类型的值，实际返回类型 B b 相当于赋值给了函数返回值类型 A a，即 B b 赋值给了 A a, 即 A a = b，那么必须满足 A > B 的类型关系。

所以，无论哪种赋值，都必须满足左边类型 > 右边类型，即 A > B。

Java 中的协变与逆变

有了前面的基础知识，就可以方便地解释协变与逆变了。

如果类 A > 类 B，经过一个变化 trans 后得到的 trans(A) 与 trans(B) 依旧满足 trans(A) > trans(B)，那么称为协变。

逆变则刚好相反，如果类 A > 类 B，经过一个变化 trans 后得到的 trans(A) 与 trans(B) 满足 trans(B) > trans(A)，称为逆变。

比如大家都知道 Java 的数组是协变的，假如 A > B，那么有 A[] > B[]，所以 B[] 可以赋值给 A[]。举个例子：

Integer[] nums = new Integer[]{};
Object[] o = nums; // 可以赋值，因为数组的协变特性所以由 Object > Integer 得到 Object[] > Integer[]复制代码

但是 Java 的泛型则不满足协变，如下：

List<Integer> l = new ArrayList<>();
List<Object> o = l;// 这里会报错，不能编译复制代码

上述代码报错，就是因为，虽然 Object > Integer，但是由于泛型不满足协变，所以 List<object></object> > List<integer></integer> 是不满足的，既然不满足左边大于右边这个条件，从前言中我们知道，自然就不能将 List 赋值给 List。一般称 Java 泛型不支持型变。

Java 中泛型如何实现协变与逆变

从前面我们知道，在 Java 中泛型是不支持型变的，但是这会产生一个让人很奇怪的疑惑，也是很多讲泛型的文章中提到的：

如果 B 是 A 的子类，那么 List 就应该是 List 的子类呀！这是一个非常自然而然的想法！

但是很抱歉，由于种种原因，Java 并不支持。但是，Java 并不是完全抹杀了泛型的型变特性，Java 提供了 extends T> 和 super T> 使泛型拥有协变和逆变的特性。

extends T> 与 super T>

extends T> 称为上界通配符， super T> 称为下界通配符。使用上界通配符可以使泛型协变，而使用下界通配符可以使泛型逆变。

比如之前举的例子

List<Integer> l = new ArrayList<>();
List<Object> o = l;// 这里会报错，不能编译复制代码

如果使用上界通配符，

List<Integer> l = new ArrayList<>();
List<? extends Object> o = l;// 可以通过编译复制代码

这样，List extends Object> 的类型就大于 List 的类型了，也就实现了协变。这也就是所谓的“子类的泛型是泛型的子类”。

同样，下界通配符 super T> 可以实现逆变，如：

public List<? super Integer> fun(){
    List<Object> l = new ArrayList<>();    return l;
}复制代码

上述代码怎么就实现逆变了呢？首先，Object > Integer；另外，从前言我们知道，函数返回值类型必须大于实际返回值类型，在这里就是 List super Integer> > List<object></object>

Zusätzlich zu den oben genannten häufigsten Zuweisungsanweisungen gibt es zwei weitere Zuweisungsanweisungen:

Zuweisung von Funktionsparametern
public class Container<T> {    private T item;    public void set(T t) { 
        item = t;
    }    public T get() {        return item;
    }
}复制代码
🎜Beim Aufruf der fun(b)-Methode wird it will Der übergebene Aktualparameter B b wird dem formalen Parameter A a zugewiesen, also in der Form A a = b. Ebenso muss der formale Parametertyp größer als der tatsächliche Parameter sein, d. h. A > 🎜

Zuweisung des Funktionsrückgabewerts🎜
Container<Object> c = new Container<String>(); // (1)编译报错Container<? extends Object> c = new Container<String>(); // (2)编译通过c.set("sss"); // (3)编译报错Object o = c.get();// (4)编译通过复制代码
🎜Der Funktionsrückgabewerttyp empfängt den Wert des tatsächlichen Rückgabetyps. Der tatsächliche Rückgabetyp B b entspricht der Zuweisung des Funktionsrückgabewerttyps A a, also B b, wird A a zugewiesen, also A a = b, dann muss die Typbeziehung von A > erfüllt sein. 🎜🎜Egal um welche Art von Aufgabe es sich handelt, sie muss den linken Typ > erfüllen. 🎜

Kovarianz und Kontravarianz in Java🎜🎜Mit den bisherigen Grundkenntnissen lassen sich Kovarianz und Kontravarianz leicht erklären. 🎜🎜Wenn Klasse A > Klasse B, trans(A) und trans(B), die nach einer Änderung von trans erhalten werden, immer noch trans(A) > erfüllen, dann werden sie als kovariante bezeichnet . 🎜🎜Inverse Variation ist genau das Gegenteil. Die nach einer Änderung erhaltenen trans(A) und trans(B) erfüllen trans(B) > inverse Änderung. 🎜🎜Jeder weiß zum Beispiel, dass Java-Arrays kovariant sind, dann kann A[] > Zum Beispiel: 🎜
Container<String> c = new Container<Object>(); // (1)编译报错Container<? super String> c = new Container<Object>(); // (2)编译通过
 c.set("sss");// (3) 编译通过
 String s = c.get();// (4) 编译报错复制代码
🎜Aber Javas Generika erfüllen die Kovarianz nicht, wie folgt: 🎜
public class Container<T> {    private T item;    public void set(T t) { 
        item = t;
    }    public T get() {        return item;
    }
}复制代码
🎜Der obige Code meldet einen Fehler, da die Generika trotz Objekt > Ganzzahl nicht die Kovarianz erfüllen, also List > List<integer></integer> ist nicht erfüllt. Da die Bedingung, dass die linke Seite größer als die rechte Seite ist, nicht erfüllt ist, wissen wir aus dem Vorwort, dass List zum Auflisten. Es wird allgemein gesagt, dass Java-Generika keine Typvariation unterstützen. 🎜

So implementieren Sie Kovarianz und Kontravarianz mit Generika in Java🎜🎜Von vornherein wissen wir, dass Generika in Java keine Typvariation unterstützen, aber dies führt zu einem Problem, das die Leute verwirrt . Ein sehr seltsamer Zweifel, der auch in vielen Artikeln über Generika erwähnt wird: 🎜🎜Wenn B eine Unterklasse von A ist, dann sollte List eine Unterklasse von List sein! Das ist eine sehr natürliche Idee! 🎜🎜Aber leider wird Java aus verschiedenen Gründen nicht unterstützt. Allerdings löscht Java die variablen Eigenschaften von Generika nicht vollständig aus. Java erweitert T> um Super-T> 🎜

super T> werden als obere Grenze bezeichnet; super T> Platzhalter. Verwenden Sie Platzhalter für die Obergrenze, um Generika kovariant zu machen, und Platzhalter für die Untergrenze, um Generika kontravariant zu machen. 🎜🎜Zum Beispiel im vorherigen Beispiel 🎜
// Javainterface Source<T> {
  T nextT(); // 只有生产者方法}// Javavoid demo(Source<String> strs) {
  Source<Object> objects = strs; // ！！！在 Java 中不允许，要使用上界通配符 <? extends Object>
  // ……}复制代码
🎜Wenn Sie den Platzhalter für die Obergrenze verwenden, 🎜
class Container<out T> { // (1)
    private  var item: T? = null 
        
    fun get(): T? = item
}

val c: Container<Any> = Container<String>()// （2）编译通过，因为 T 是一个 out-参数复制代码
🎜Auf diese Weise ist der Typ von List extensions Object> größer als der Typ von List, wodurch erreicht wird Kovarianz. Dies nennt man „Eine Unterklasse eines Generikums ist eine Unterklasse eines Generikums.“ 🎜🎜In ähnlicher Weise kann das untere Platzhalterzeichen eine Inversion erreichen, wie zum Beispiel: 🎜
class Container<in T> { // (1) 
    private  var item: T? = null 
     fun set(t: T) {
        item = t
    }
}val c: Container<String> = Container<Any>() // (2) 编译通过,因为 T 是一个 in-参数复制代码
🎜Wie kann der obige Code eine Inversion erreichen? Zunächst wissen wir aus dem Vorwort, dass der Rückgabewerttyp der Funktion größer sein muss als der tatsächliche Rückgabewerttyp ; List<object>, genau das Gegenteil von Object > Mit anderen Worten, nach der generischen Änderung wird die Typbeziehung zwischen Objekt und Ganzzahl umgekehrt. Dies ist Kontravarianz, und was Kontravarianz implementiert, ist der untere Grenzwert Super T>. 🎜🎜Wie aus dem Obigen hervorgeht, ist die Obergrenze in erweitert T>, was bedeutet, dass die Typen, auf die im Allgemeinen mit erweitert T> Bezug genommen wird, Unterklassen von T oder T selbst sind als ist die im Allgemeinen mit super T> bezeichnete Klasse T. 🎜<p>虽然 Java 使用通配符解决了泛型的协变与逆变的问题，但是由于很多讲到泛型的文章都晦涩难懂，曾经让我一度感慨这 tm 到底是什么玩意？直到我在 stackoverflow 上发现了通俗易懂的解释(是的，前文大部分内容都来自于 stackoverflow 中大神的解释)，才终于了然。其实只要抓住<strong>赋值语句左边类型必须大于右边类型</strong>这个关键点一切就都很好懂了。</p> <h4 data-id="heading-7">PECS</h4> <p>PECS 准则即 Producer Extends Consumer Super，生产者使用上界通配符，消费者使用下界通配符。直接看这句话可能会让人很疑惑，所以我们追本溯源来看看为什么会有这句话。</p> <p>首先，我们写一个简单的泛型类：</p><pre class="brush:js;toolbar:false;">public class Container&lt;T&gt; { private T item; public void set(T t) { item = t; } public T get() { return item; } }复制代码</pre><p>然后写出如下代码：</p><pre class="brush:js;toolbar:false;">Container&lt;Object&gt; c = new Container&lt;String&gt;(); // (1)编译报错Container&lt;? extends Object&gt; c = new Container&lt;String&gt;(); // (2)编译通过c.set(&quot;sss&quot;); // (3)编译报错Object o = c.get();// (4)编译通过复制代码</pre><p>代码 (1)，<code>Container<object> c = new Container<string>(); </string></object> 编译报错，因为泛型是不型变的，所以 Container 并不是 Container 的子类型，所以无法赋值。

代码 (2)，加了上界通配符以后，支持泛型协变，Container 就成了 Container extends Object> 的子类型，所以编译通过，可以赋值。

既然代码 (2) 通过编译，那代码 (3) 为什么会报错呢？因为代码 (3) 尝试把 String 类型赋值给 extends Object> 类型。显然，编译器只知道 extends Object>  是 Obejct 的某一个子类型，但是具体是哪一个并不知道，也许并不是 String 类型，所以不能直接将 String 类型赋值给它。

从上面可以看出，对于使用了 extends T> 的类型，是不能写入元素的，不然就会像代码 (3) 处一样编译报错。

但是可以读取元素，比如代码 (4) 。并且该类型只能读取元素，这就是所谓的“生产者”，即只能从中读取元素的就是生产者，生产者就使用 extends T> 通配符。

消费者同理，代码如下：

Container<String> c = new Container<Object>(); // (1)编译报错Container<? super String> c = new Container<Object>(); // (2)编译通过
 c.set("sss");// (3) 编译通过
 String s = c.get();// (4) 编译报错复制代码

代码 (1) 编译报错，因为泛型不支持逆变。而且就算不懂泛型，这个代码的形式一眼看起来也是错的。

代码 (2) 编译通过，因为加了 super T> 通配符后，泛型逆变。

代码 (3) 编译通过，它把 String 类型赋值给 super String>， super String> 泛指 String 的父类或 String，所以这是可以通过编译的。

代码 (4) 编译报错，因为它尝试把 super String> 赋值给 String，而 super String> 大于 String，所以不能赋值。事实上，编译器完全不知道该用什么类型去接受 c.get() 的返回值，因为在编译器眼里 super String> 是一个泛指的类型，所有 String 的父类和 String 本身都有可能。

同样从上面代码可以看出，对于使用了 super T> 的类型，是不能读取元素的，不然就会像代码 (4) 处一样编译报错。但是可以写入元素，比如代码 (3)。该类型只能写入元素，这就是所谓的“消费者”，即只能写入元素的就是消费者，消费者就使用 super T> 通配符。

综上，这就是 PECS 原则。

kotlin 中的协变与逆变

kotlin 抛弃了 Java 中的通配符，转而使用了声明处型变与类型投影。

声明处型变

首先让我们回头看看 Container 的定义：

public class Container<T> {    private T item;    public void set(T t) { 
        item = t;
    }    public T get() {        return item;
    }
}复制代码

在某些情况下，我们只会使用 Container extends T> 或者 Container super T> ，意味着我们只使用 Container 作为生产者或者 Container 作为消费者。

既然如此，那我们为什么要在定义 Container 这个类的时候要把 get 和 set 都定义好呢？试想一下，如果一个类只有消费者的作用，那定义 get 方法完全是多余的。

反过来说，如果一个泛型类只有生产者方法，比如下面这个例子（来自 kotlin 官方文档）:

// Javainterface Source<T> {
  T nextT(); // 只有生产者方法}// Javavoid demo(Source<String> strs) {
  Source<Object> objects = strs; // ！！！在 Java 中不允许，要使用上界通配符 <? extends Object>
  // ……}复制代码

在 Source<object> </object> 类型的变量中存储 Source<string> </string> 实例的引用是极为安全的——因为没有消费者-方法可以调用。然而 Java 依然不让我们直接赋值，需要使用上界通配符。

但是这是毫无意义的，使用通配符只是把类型变得更复杂，并没有带来额外的价值，因为能调用的方法还是只有生产者方法。但 Java 编译器只认死理。

所以，如果我们能在使用之前确定一个类是生产者还是消费者，那在定义类的时候直接声明它的角色岂不美哉？

这就是 kotlin 的声明处型变，直接在类声明的时候，定义它的型变行为。

比如：

class Container<out T> { // (1)
    private  var item: T? = null 
        
    fun get(): T? = item
}

val c: Container<Any> = Container<String>()// （2）编译通过，因为 T 是一个 out-参数复制代码

(1) 处直接使用 指定 T 类型只能出现在生产者的位置上。虽然多了一些限制，但是，在 kotlin 编译器在知道了 T 的角色以后，就可以像 (2) 处一样将 Container 直接赋值给 Container，好像泛型直接可以协变了一样，而不需要再使用 Java 当中的通配符 extends String>。

同样的，对于消费者来说，

class Container<in T> { // (1) 
    private  var item: T? = null 
     fun set(t: T) {
        item = t
    }
}val c: Container<String> = Container<Any>() // (2) 编译通过,因为 T 是一个 in-参数复制代码

代码 (1) 处使用 指定 T 类型只能出现在消费者的位置上。代码 (2) 可以编译通过， Any > String，但是 Container 可以被 Container 赋值，意味着 Container 大于 Container ，即它看上去就像 T 直接实现了泛型逆变，而不需要借助 super String> 通配符来实现逆变。如果是 Java 代码，则需要写成 Container super String> c = new Container<object>(); </object>。

这就是声明处型变，在类声明的时候使用 out 和 in 关键字，在使用时可以直接写出泛型型变的代码。

而 Java 在使用时必须借助通配符才能实现泛型型变，这是使用处型变。

类型投影

有时一个类既可以作生产者又可以作消费者，这种情况下，我们不能直接在 T 前面加 in 或者 out 关键字。比如：

class Container<T> {    private  var item: T? = null
    
    fun set(t: T？) {
        item = t
    }    fun get(): T? = item
}复制代码

考虑这个函数：

fun copy(from: Container<Any>, to: Container<Any>) {
    to.set(from.get())
}复制代码

当我们实际使用该函数时：

val from = Container<int>()val to = Container<any>()
copy(from, to) // 报错，from 是 Container<int> 类型，而 to 是 Container<any> 类型复制代码</any></int></any></int>

Lassen Sie uns über die Kovarianz und Kontravarianz von Kotlin aus Java sprechen

这样使用的话，编译器报错，因为我们把两个不一样的类型做了赋值。用 kotlin 官方文档的话说，copy 函数在”干坏事“， 它尝试写一个 Any 类型的值给 from， 而我们用 Int 类型来接收这个值，如果编译器不报错，那么运行时将会抛出一个 ClassCastException 异常。

所以应该怎么办？直接防止 from 被写入就可以了！

将 copy 函数改为如下所示：

fun copy(from: Container<out Any>, to: Container<Any>) { // 给 from 的类型加了 out
    to.set(from.get())
}val from = Container<Int>()val to = Container<Any>()
copy(from, to) // 不会再报错了复制代码

这就是类型投影：from 是一个类受限制的（投影的）Container 类，我们只能把它当作生产者来使用，它只能调用 get() 方法。

同理，如果 from 的泛型是用 in 来修饰的话，则 from 只能被当作消费者使用，它只能调用 set() 方法，上述代码就会报错：

fun copy(from: Container<in Any>, to: Container<Any>) { // 给 from 的类型加了 in
    to.set(from.get())
}val from = Container<Int>()val to = Container<Any>()
copy(from, to) //  报错复制代码

Lassen Sie uns über die Kovarianz und Kontravarianz von Kotlin aus Java sprechen

其实从上面可以看到，类型投影和 Java 的通配符很相似，也是一种使用时型变。

为什么要这么设计？

为什么 Java 的数组是默认型变的，而泛型默认不型变呢？其实 kolin 的泛型默认也是不型变的，只是使用 out 和 in 关键字让它看起来像泛型型变。

为什么这么设计呢？为什么不默认泛型可型变呢？

在 stackoverflow 上找到了答案，参考：stackoverflow.com/questions/1…

Java 和 C# 早期都是没有泛型特性的。

但是为了支持程序的多态性，于是将数组设计成了协变的。因为数组的很多方法应该可以适用于所有类型元素的数组。

比如下面两个方法：

boolean equalArrays (Object[] a1, Object[] a2);void shuffleArray(Object[] a);复制代码

第一个是比较数组是否相等；第二个是打乱数组顺序。

语言的设计者们希望这些方法对于任何类型元素的数组都可以调用，比如我可以调用 shuffleArray(String[] s) 来把字符串数组的顺序打乱。

出于这样的考虑，在 Java 和 C# 中，数组设计成了协变的。

然而，对于泛型来说，却有以下问题：

// Illegal code - because otherwise life would be BadList<dog> dogs = new List<dog>();
List<animal> animals = dogs; // Awooga awoogaanimals.add(new Cat());// (1)Dog dog = dogs.get(0); //(2) This should be safe, right?复制代码</animal></dog></dog>

如果上述代码可以通过编译，即 List 可以赋值给 List，List 是协变的。接下来往 List 中 add 一个 Cat()，如代码 (1) 处。这样就有可能造成代码 (2) 处的接收者 Dog dog 和 dogs.get(0) 的类型不匹配的问题。会引发运行时的异常。所以 Java 在编译期就要阻止这种行为，把泛型设计为默认不型变的。

Zusammenfassung

1. Java-Generika sind standardmäßig nicht veränderbar, daher ist List keine Unterklasse von List. Wenn Sie eine generische Typvariation implementieren möchten, benötigen Sie erweitert T> und super T> Die Verwendung des Platzhalters erweitert T> bedeutet, dass die Klasse ein Produzent ist und nur Methoden wie get(): T aufrufen kann. Die Verwendung des Platzhalters super T> bedeutet, dass die Klasse ein Verbraucher ist und nur Methoden wie set(T t) und add(T t) aufrufen kann.

2. Kotlin-Generika sind standardmäßig nicht variabel. Die Verwendung der Schlüsselwörter out und in zur Änderung des Typs bei der Klassendeklaration kann jedoch den Effekt einer direkten Typänderung am Verwendungsort erzielen. Dadurch wird die Klasse jedoch darauf beschränkt, bei der Deklaration entweder ein Produzent oder ein Verbraucher zu sein.

Durch die Verwendung der Typprojektion kann vermieden werden, dass die Klasse bei der Deklaration eingeschränkt wird. Bei der Verwendung müssen Sie jedoch die Schlüsselwörter out und in verwenden, um anzugeben, ob die Klasse in diesem Moment die Rolle eines Verbrauchers oder eines Produzenten hat. Typprojektion ist auch eine Methode zur Verwendung von Typänderungen.

Verwandte kostenlose Lernempfehlungen: Java-Grundlagen-Tutorial

Das obige ist der detaillierte Inhalt vonLassen Sie uns über die Kovarianz und Kontravarianz von Kotlin aus Java sprechen. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!

Java kotlin String Integer Object 多态 父类 子类 字符串 int 值类型 泛型 形参 实参 copy
Stellungnahme：
Dieser Artikel ist reproduziert unter:juejin.im. Bei Verstößen wenden Sie sich bitte an admin@php.cn löschen
Vorheriger Artikel：Java-Systemdesign mit hoher Parallelität – CacheNächster Artikel：Java-Systemdesign mit hoher Parallelität – Cache

In Verbindung stehende Artikel

Mehr sehen