一个非面向对象编程的编译器产生的函数调用会引起所谓的前期绑定,这意味着:编译器将产生对一个具体函数名字的调用,而运行时将这个调用解析到将要被执行的代码的绝对地址。
在OOP中,程序直到运行时才能确定代码的地址,所以当消息发送到一个泛化对象时OOP采用了后期绑定的机制。当向对象发送消息时,被调用的代码直到运行时才能确定,编译器确保被调用方法的存在,并且对调用参数和返回值执行类型检查,但并不知道将被执行的确切代码。
在某些语言中,必须明确的声明希望某个方法具备后期绑定属性所带来的灵活性,C++是使用virtual关键字实现的,在某些语言中,方法在默认情况下不是动态绑定的,而在java中,动态绑定是默认行为,不需要额外的关键字来实现多态。
除C++之外的所以OOP语言,都是单根继承结构。这种结构有很多优点,例如java中的垃圾收集器就收益于此。
通过导出新的子类而轻松扩展设计的能力是对改动进行封装的基本方式之一。
将对象看成是服务提供者,这样在将问题从表象中抽取出来,可以考虑什么样的对象可以解决该问题,这是一种将问题分解为对象集合的合理方式;另外,将对象看成是服务提供者,有助于提高对象的内聚性,高内聚是软件设计的基本质量要求之一:这意味着一个软件构件的各个方面组合的很好。
所谓组合,就是在使用现有的类合成新的类;如果组合是动态发生的,则被称为聚合。组合经常被视为has a关系。