摘要： 前期绑定，在程序执行前根据编译时类型绑定，调用开销较小，如C语言只有前期绑定这种方法调用。 后期绑定，是指在运行时根据对象的类型进行绑定，又叫动态绑定或运行时绑定。实现后期绑定，需要某种机制支持，以便在运行时能判断对象的类型，调用开销比前期绑定大。 Java中的static方法和final方法（private属于final方法，详细的解释见《Java编程思想》）属于前期绑定，子类无法重写final方法，成员变量（包括静态及非静态）也属于前期绑定。除了static方法和final方法（private属于final方法）之外的其他方法属于后期绑定，运行时能判断对象的类型进行绑定。验证程序... 阅读全文

摘要： 在面向对象程序设计中，协变返回类型指的是子类中的成员函数的返回值类型不必严格等同于父类中被重写的成员函数的返回值类型，而可以是更 "狭窄" 的类型。 Java 5.0添加了对协变返回类型的支持，即子类覆盖（即重写）基类方法时，返回的类型可以是基类方法返回类型的子类。协变返回类型允许返回更为具体的类型。 示例程序如下：import java.io.ByteArrayInputStream;import java.io.InputStream;class Base{ //子类Derive将重写此方法，将返回类型设置为InputStream的子类 public InputStre 阅读全文