理解Java中的协变返回类型

【理解Java中的协变返回类型】的更多相关文章

理解Java中的协变返回类型

在面向对象程序设计中,协变返回类型指的是子类中的成员函数的返回值类型不必严格等同于父类中被重写的成员函数的返回值类型,而可以是更 "狭窄" 的类型. Java 5.0添加了对协变返回类型的支持,即子类覆盖(即重写)基类方法时,返回的类型可以是基类方法返回类型的子类.协变返回类型允许返回更为具体的类型. 示例程序如下: import java.io.ByteArrayInputStream; import java.io.InputStream; class Base { //子…

c++ 类覆盖方法中的协变返回类型

c++ 类覆盖方法中的协变返回类型在C++中,只要原来的返回类型是指向类的指针或引用,新的返回类型是指向派生类的指针或引用,覆盖的方法就可以改变返回类型.这样的类型称为协变返回类型(Covariant returns type). 协变(covariant),如果它保持了子类型序关系≦.该序关系是:子类型≦基类型.逆变(contravariant),如果它逆转了子类型序关系. 参数逆变:正是因为需要符合里氏替换法则,方法中的参数类型声明时必须符合逆变(或不变),以让子类方法可以接收更大的范围的…

理解Java中的字符串类型

1.Java内置对字符串的支持: 所谓的内置支持,即不用像C语言通过char指针实现字符串类型,并且Java的字符串编码是符合Unicode编码标准,这也意味着不用像C++那样通过使用string和wstring类实现与C语言兼容和Unicode标准.Java内部通过String类实现对字符串类型的支持.这意味着:我们可以直接对字符串常量调用和String对象同样的方法: //可以再"abc"上直接调用String对象的所有方法 int length="abc".l…

Java协变返回类型

今天看到句话:“支持重写方法时返回协变类型”. 那么什么事协变类型?在网上找了找资料,大体上明白了. Java 5.0添加了对协变返回类型的支持,即子类覆盖(即重写)基类方法时,返回的类型可以是基类方法返回类型的子类.协变返回类型允许返回更为具体的类型.示例程序如下: 代码如下: import java.io.ByteArrayInputStream; import java.io.InputStream; class Base { //子类Derive将重写此方法,将返回类型设置为InputS…

Java 协变返回类型

协变返回类型表示在导出类的被覆盖方法可以返回基类方法的返回类型的某种导出类型 //: polymorphism/covarianreturn.java package object; class Grain{ public String toString() { return "Grain";//返回 } } class Wheat extends Grain{ public String toString() { return "Wheat"; //返回 } }…

Java中的协变与逆变

Java作为面向对象的典型语言,相比于C++而言,对类的继承和派生有着更简洁的设计(比如单根继承). 在继承派生的过程中,是符合Liskov替换原则(LSP)的.LSP总结起来,就一句话: 所有引用基类(父类)的地方必须能够透明地使用其子类的对象. LSP包含四层含义: ① 子类完全拥有父类的方法,且具体子类必须实现父类的抽象方法: ② 子类中可以增加自己的方法: ③ 当子类覆盖或实现父类的方法时,方法的形参要比父类方法的更加宽松: ④ 当子类覆盖或实现父类的方法时,方法的返回值要比父类方法的更…

万字长文深入理解java中的集合-附PDF下载

目录 1. 前言 2. List 2.1 fail-safe fail-fast知多少 2.1.1 Fail-fast Iterator 2.1.2 Fail-fast 的原理 2.1.3 Fail-safe Iterator 2.2 Iterator to list的三种方法 2.2.1 使用while 2.2.2 使用ForEachRemaining 2.2.3 使用stream 2.3 asList和ArrayList不得不说的故事 2.3.1 创建ArrayList 2.3.2 Unsu…