多态的一些理解

Thinking in Java这本书确实比较深，第一次看多态问题的时候走马灯似地翻了过去，还很不耐烦，结果很多问题没弄明白。这次多了些理解。

多态机制建立在“向上转型”机制的基础上。这个机制允许我们用基类的引用指向new出来的子类对象。而多态的核心就是在一个对象调用函数的场合进行动态绑定，以决定是调用基类函数还是某个子类函数。凡是非static、非final、非private的函数都是可以被覆盖的，也就是它们使用了动态绑定机制。static函数是因为他是“类”的静态函数，调用的时候形式为Class.staticFunction()，或者在本类里调用缺省Class，但还是指定类的函数。这显然没有用到“向上转型”机制：调用函数的不是对象，而是静态的类了。

需要知道的是static函数可以被重载，也可以被继承，但不存在覆盖。子类和基类相同签名的静态函数是不同的。这也解释了static函数不能使用动态绑定机制。

final函数就是不能被覆盖，目的就是关闭动态绑定。

private函数属于final函数，因为它不是类的接口。

另外书中对构造器的讨论得出的一个重要结论是：不要在构造器中调用可以被覆盖的方法。这将导致动态绑定的发生，导致不可预料的错误。

运行程序时，加载构造顺序为：首先试图访问main方法，于是找到main所在类的.class文件。在对它加载的过程中，如果编译器发现该类存在父类则对父类进行加载，按继承链向上全部加载完。接着，根基类的static字段初始化，然后是下一个类，依此类推。这样所有的static字段就初始化完毕。紧接着，就开始创建最下方的子类对象了。首先对象所有字段中的基本类型字段都会被设为缺省值，引用为null，然后调用基类构造器，再然后初始化实例变量（如pprivate int k = 0;)此类，最后调用子类构造器。