Java学习笔记之多态变量和向上造型

    类定义了类型,DVD类所创建的对象的类型就是DVD。类可以有子类,所以由那些类定义的类型可以有子类型。在DoME的例子中,DVD类型就是Item类型的子类型。

  public   class  CD  extends  Item

          CD继承与Item

子类型类似于类的层次,类型也构成了类型层次。子类所定义的类型是其超类的类型的子类型。

当把一个对象赋值给一个变量时,对象的类型必须与变量的类型相匹配,如:

    Car myCar = new Car();          

是一个有效的赋值,因为Car类型的对象被赋值给声明为保存Car类型对象的变量。但是由于引入 了继承,这里的类型规则就得叙述得更完整些:

    一个变量可以保存其所声明的类型或该类型的任何子类型。

对象变量可以保存其声明的类型的对象,或该类型的任何子类型的对象。

Java中保存对象类型的变量是多态变量。“多态”这个术语(字面意思是许多形态)是指一个变量可以保存不同类型(即其声明的类型或任何子类型)的对象。

    

                   子类和子类型

    类定义了类型

    子类定义了子类型

    子类的对象可以被当做父类的对象来使用

       1、   赋值给父类的变量

        2、传递给需要父类对象的函数

        3、放进存放父类对象的容器里

                      子类型和赋值

子类的对象可以赋值给父类的变量

                        多态变量

java的对象变量是多态的，他们能保存不止一种类型的对象

他们可以保存的是声明类型的对象，或声明类型的子类的对象

当把子类的对象赋给父类的变量的时候，就发生了向上造型。

向上造型

造型：把一个类型的对象赋给另一个类型的对象

                   函数调用的绑定

当通过对象变量调用函数的时候，调用那个函数这件事情叫做绑定

静态绑定：根据变量的声明类型来决定

动态绑定：根据变量的动态类型来决定

在成员函数中调用其他成员函数也是通过this这个对象变量来调用的

覆盖override

子类和父类中存在名称和参数表完全相同的函数，这一对函数构成覆盖关系

通过父类的变量调用存在覆盖