写在最前
1.对象的5个基本特性
- 万物皆对象
- 程序是对象的集合,他们通过发送消息来告知彼此要做的事情。
- 每个对象中可以包含别的对象
- 每个对象背后都有一个类型Class
- 某一特定类型的所有对象都可以接收相同的消息
2.关于多态,前后期绑定的思考
思考一个问题
在编程的时候,处理一个层次结构时,高手们常常会把对象当做其父类来处理,而不是去具体处理某个子类。这样写的代码才具有泛化能力,不依赖特定类型。
举个例子: 比如说编写关于形状的操作的时候,如果我编写一个针对三角形操作的代码,那么现在来了一个需求,需要增加一个新的类型四边形,那么我的三角形代码就不具有泛化能力。然而如果我者的代码是针对几何形状的,那么就不会受新添加的类型影响了,方便扩展。
但是如果我们试图将具体类型的对象,当做基类操作时,会存在一个问题:
就像:我想把三角形对象,当做几何形来使用
如果这个三角形对象,使用父类的方法,来描述自己的特性(比如说三条边)
那么编译器是没办法在编译时知道应该具体执行哪一段代码的!(父类都是泛化的概念,没有三角形具体有三条边的概念)
那么编译器该怎么办呢?
答!编译器不会产生“传统意义上的”函数调用。
因为一个非面向对象编程的编译器会在编译的时候做 前期绑定,也就是在编译的时候,就知道执行什么语句了。(编译器会产生一个对具体函数名字的调用,然后再运行的时候,解析到代码的绝对位置,并进行调用)
而在OOP面向对象编程中,程序直到运行的时候,才能够确定代码的地址,所以必须采用后期绑定。
什么是后期绑定:
编译器在编译的时候,当方法调用的时候,被调用的代码直到运行的时候才能确定下来,编译的时候是确定不了的。而编译器在编译的时候能确保的是:(1)被调用的方法是否存在;(2)检查方法的参数和返回值是否合法。(连这个都提供不了保证的称为弱类型语言。)
通过代码解释一下:
基类Human
public class Human {
String name;
public void say(){
System.out.println("human");
}
}
子类Chinese
public class Chinese extends Human{
@Override
public void say() {
System.out.println("chinese");
}
}
Main方法
- 在编译器编译的时候,只能保证的是方法的参数是对的,以及返回值。
- 但是他不知道执行的具体是父类的say方法还是子类的say方法。
public static void main(String[] args) {
Human man = new Chinese();
human.say();
}
Java如何实现后期绑定
- Java使用了一段特殊的代码来替代绝对地址调用。这段代码使用的是对象中存储的信息,来计算方法体的绝对地址。
- 这样根据这一小段代码的内容,每个对象都可以具有不同的行为表现。
- 这样通过上面的方式进行调用时,该对象就能感知到,自己该执行具体谁的方法。
【这里对多态先预热一下,第八章详细讲…】