彻底理解面向对象的多态

原文链接

彻底理解面向对象的多态

一、序言
  初学C++的时候，对面向对象的多态实现机制总处于模糊的理解状态。近日研究起java，才得以对其有较清晰的认识。现将我对多态的认识写成日志，以供己供人参考。
  
二、知识准备
  在分析多态之前，有必要对一些概念巩固认识一下。
  1、变量
    变量是一个由标识符命名的数据项。它包括三个属性：类型、名称、值。此外，变量还具有一个作用范围。
  
  2、区分声明和定义
    对象（包括基本类型对象和引用对象）的声明和定义：
    对象的声明：描述对象名称和确切类型，用于指代其他地方定义的对象。一个对象可以有多个声明；
    对象的定义：确定对象的类型并分配内存，用于创建新的对象。一个对象只能有一个定义。
   
    简言之，声明重于“描述”，定义在于“确定”，即声明仅仅向编译器描述了一个变量的内存结构，但符合该内存结构的内存区域则不一定存在，而定义则生成了一块符合该内存结构的实际内存区域。这种做法类似于接口与实现分离的思想。
    
  3、理解Method-call(方法调用)绑定方式
    1)所谓“绑定(binding)”，就是建立method call和method body(方法本体)的关联。
    2)先期绑定(early binding)，又称静态绑定(static binding)，指绑定动作发生于程序执行前(由编译器和连接器完成)。
    3)后期绑定(late binding)，又称动态绑定(static binding)，或执行期绑定(run-time binding)，指绑定动作将在执行期间才根据对象型别而进行(由JVM实现)。
    
    程序语言的后期绑定机制作法因语言的不同而不同，但必得有某种“型别信息”被置于对象内。
    
  4、动态绑定工作流程如下：
   假定对象o是类C1,C2,C3,...和Cn的实例，C2是C1的子类，C3是C2的子类，...，Cn是Cn-1的子类。也就是说，C1是最通用的类，Cn是最具体的类。在java中，C1是Object类。如果o调用方法p，JVM在Cn,Cn-1,Cn-2,...C2,C1中查找方法p的实现。按照这种顺序直到找到为止。一旦找到这个实现，查找将停止并且调用第一个找到的实现。
   
  5、对象引用和对象的区别
    对象引用类似一个指针的作用，它是操作对象的变量；
    对象是有new关键字创建而得到的实体。
   
  6、对象知道自己将要如何做
    调用某个被覆盖的方法（直接覆盖）或某个使用覆盖方法的方法（间接覆盖）时，该方法的动作是对象创建(使用new)所使用类中定义的动作。这个动作并不是由指代该对象的引用类型所决定的。任何祖先类的变量都能存放某个后代类的对象，但该对象总是记得各个方法应使用哪种方法动作（哪怕使用强制类型转换！）。引用变量的类型不起作用。起作用的是创建对象时的类名。
    
  7、引用变量决定了能使用的方法，而对象决定了将使用方法的哪个定义
    new使用某个类名而创建了对象，但该对象却存储至某个祖先类的变量中；变量决定了该变量能使用什么方法，但对象创建所使用的类都决定了将使用方法的哪个定义。
    此外，这一规则的特例是：形参决定对象调用哪一种方法，而实参决定对象调用方法的哪一种定义。