【codejava】第八版:第五章 继承[001] [20180108]

5.1 类，超类和子类

5.1.3 动态绑定

    弄清调用对象方法的执行过程十分重要。下面是调用过程的详细描述：

    1）编译器查看对象的声明类型和方法名。假设调用x.f(param),且隐式参数x声明为C类的对象。需要注意的是：有可能存在多个名字为f，但参数类型不一样的方法。例如，可能存在方法f(int)和方法f(String)。编译器将会一一列举所有C类中名为f的方法和其超类中访问属性为public且名为f的方法。

    至此，编译器已获得所有可能被调用的候选方法。

    2）接下来，编译器将查看调用方法时提供的参数类型。如果在所有名为f的方法中存在一个与提供的参数类型完全匹配，就选这个方法。这个过程被称为重载解析(overloading resolution)。例如，对于调用x.f("hello")来说，编译器将会挑选f(String)，而不是f(int)。由于允许类型转换(int可以转换成double，Manager可以转换成Employee，etc)，所以这个过程可能很复杂。如果编译器没有找到与参数类型匹配的方法，或者发现经过类型转换后有多个方法与之匹配，就会报告一个错误。

    至此，编译器已获得需要调用的方法名字和参数类型。

√注释： 前面曾经说过，方法的名字和参数列表称为方法的签名。例如，f(int)和f(String)是两个具有相同名字，不同签名的方法。如果在子类中定义了一个与超类签名相同的方法，那么子类中的这个方法就覆盖了超类中的这个相同签名的方法。

 不过，返回类型不是签名的一部分，因此，在覆盖方法时，一定要保证返回类型的兼容性。在Java SE5.0以前的版本中，要求返回类型必须是一样的。现在允许子类将覆盖方法的返回类型定义为元类型的子类型。例如，假设Empployee类有

     public Employee getBuddy(){....}

在后面的子类Manager中，可以按照如下所示的当时覆盖这个方法

     public Manager getBuddy(){.....}

我们说，这两个getBuddy方法具有可协变的返回类型。

 3）如果是private方法，static方法，final方法(有关final修饰符的含义将在下一节讲述)或者构造器，那么编译器就可以准确地知道应该调用哪个方法，我们将这种调用方法称为静态绑定(static binding)。与此对应的是，调用的方法依赖于隐式参数的实际类型，并且在运行时实现动态绑定。在我们列举的示例中，编译器采用动态绑定的方式生成一条调用f(String)的指令。

4）当程序运行，并且采用动态绑定调用方法时，虚拟机一定调用与x所引用对象的实际类型最合适的那个类的方法。假设x的实际类型是D，它是C的子类，如果D类定义了方法f(String)，就直接调用它；否则，将在D类的超类中寻找f(String)，以此类推。

       每次调用方法都要进行搜索，时间开销相当大。因此，虚拟机预先为每个类创建一个发放表(method table)，其中列出了所有方法的签名和实际调用的方法。这样一来，在真正调用方法的时候，虚拟机仅查找了这个表就行了。在前面的例子中，虚拟机搜索D类的方法表，以便寻找调用f(String)相匹配的方法。这个方法既有可能是D.f(String),也有可能是X.f(String),这里X是D的超类。这里需要提醒一点，如果调用super.f(param),编译器将对隐式参数超类的方法表进行搜索。

     现在，查看一下例子5-1中调用e.getSalary()的详细过程。e声明为Employee类型。Empolyee类只有一个名叫getSalary的方法，这个方法没有参数。因此，在这里不比担心重载解析的问题。

      由于getSalary不是private方法，static方法或final方法，所以将采用动态绑定。虚拟机为Employee和Manager两个类生成方法表。在Employee的方法表中，列出了这个类定义的所有方法：

    Emploree :
      getName()   - > Emploree.getName()
      getSalary()   - > Emploree.getSalary()
      getHireDAy()   - > Emploree.getHireDay()
      raiseSalary(double e)   - > Emploree.raiseSalary(double)

     实际上，上面的方法并不完整，稍后会看到Emploree类有一个超类Object， Emploree从这个超类中还继承了许多方法，在此，我们略去了这些方法的。

     Emploree方法表稍微有些不同。其中有三个方法是继承而来的，一个方法是重新定义的，还有一个方法是新增加的。

        Manager :
      getName()  - > Emploree.getName()
          getSalary()  - > Manager.getSalary()
      getHireDAy()  - > Emploree.getHireDay()
      raiseSalary(double e)  - > Emploree.raiseSalary(double)
         setBonus(double)  - > Manager.setBonus(double)

在运行的时候，调用e.getSalary()的解析过程为：

1）首先，虚拟机提取e的实际类型的方法表，即可能是Employee，Manager的方法表，也可能是 Employee类的其他子类的方法表。

2）接下来，虚拟机搜索定义getSalary签名的类。此时，虚拟机已经知道应该调用哪个方法。

3）最后，虚拟机调用方法。

动态绑定有一个非常重要的特性：无需对现存的代码进行修改，就可以对程序进行扩展。假设增加一个新类的Executive，并且变量e有可能引用这个类的对象，我们不需要对包含调用e.getSalary()的代码进行重新编译。如果e恰好引用一个Executive类的对象，就会自动地调用 Executive.getSalary()方法。

×警告：在覆盖一个方法的时候，子类方法不能低于超类方法的可见性。特别是，如果超类方法是 public ，子类方法一定要声明为
public 。经常会发生这类错误：在声明子类方法的时候，遗漏了
public 修饰符。此时，编译器将会把它解释为试图降低访问权限。

5.2 Object 所有类的超类

5.2.3 HashCode()

     散列码是由对象导出的一个整型值 散列码是没有规律的

     hashCode方法应该返回一个整型数值（也可以是负数）

      如果重新定义equals方法 就必须重新定义hashCode方法  以便用户可以将对象插入到散列表中 ，equals与hashCode的定义必须一致 如果x.equals(y)返回true 那么x.hashCode()和y.hashCode()就必须具有相同的值

 

5.2.4 toString()

5.7 反射

能够分析类能力的程序称为反射(reflective) 可以用反射机制

    .在运行中分析类的能力

    .在运行中查看对象

    .实现数组的操作代码

    .利用Method对象 这个对象很像C++中的函数指针

 

5.7.1 Class类

    在程序运行期间 java运行系统始终为所有的对象维护一个被称为运行时的类型标识 这个信息保存着每个对象所属的类足迹 虚拟机利用运行时信息选择相应的方法执行

public static  void main(String[] args) throws ClassNotFoundException, InstantiationException, IllegalAccessException {

        String className = "com.lee.core.demo.isZiMu";

        Class cl = Class.forName(className);

         System.out.println(((isZiMu)cl.newInstance()).getUsername());//newInstance()方法调用默认的类构造器 如果没有则抛异常

       }

5.7.3 利用反射分析类的能力

    java.lang.reflect包中有三个类Filed, Method, Constructor分别描述类的域 方法和构造器 这三个类都有一个getName用于返回项目的名称 getFileds(),getMethods(),getConstructors()将分别返回类提供的public域 方法和构造器数组, 其中包括超类的共有成员 .

5.7.4在运行时使用反射分析对象