什么是co-variant？

我在学习Jackson的时候，发现了一段注释：

这里面：type was co-variant until Jackson 2.7，co-variant是什么意思呢？

 

表象上来看：GeneratorBase extends JsonGenerator，

在2.8之前，getOutputContext()返回的是JsonWriteContext，

2.8之后，getOutputContext()返回的是JsonStreamContext，

而JsonWriteContext extends JsonStreamContext。

 

这里体现了Java特性的一个变化：

从Java 1.5开始，子类覆盖（重写）父类的方法，子类方法的返回值类型，可以是父类方法返回值类型的子类。

这种返回值类型就叫做：co-variant。或者covariant？

 

我们知道，在Java里面，方法签名是由方法的名字与方法的参数列表构成的。
方法签名的概念，对于重载和覆盖（重写）的理解很重要。

同一个类里面，方法的名字一样，方法的参数列表不一样，就是重载。
方法的参数列表不一样，可以是参数个数、参数类型不一样。
所以重载和返回值、异常类型都没有关系。

 

再回到co-variant。

为什么要有这样的特性呢？因为覆盖（重写）必须方法签名一样，如果覆盖（重写）的时候，返回值不一样，那是不是违反原则了呢？

这个特性的好处和实现原理，这两篇文章都有一些说明。

https://www.geeksforgeeks.org/covariant-return-types-java/
https://www.javatpoint.com/covariant-return-type

这两篇文章提到：

第一、这个特性体现了里氏替换原则；

第二、这个特性有3个好处；

要怎么去理解这个好处呢？

就是因为Jackson版本升级返回类型有变化，所以我遇到了冲突，报错：NoSuchMethodError。

第三、这个特性的实现原理。

Java doesn't allow the return type based overloading but JVM always allows return type based overloading. JVM uses full signature of a method for lookup/resolution. Full signature means it includes return type in addition to argument types. i.e., a class can have two or more methods differing only by return type. javac uses this fact to implement covariant return types.

转载于:https://my.oschina.net/wangweidang/blog/2990705