面向对象设计原则概述
软件的可维护性和可复用性
知名软件大师
Robert
C.Martin
认为一个可维护性
(Maintainability)
较低的软件设计,通常由于如下
4
个原因造成:
•
过于僵硬
(Rigidity)
•
过于脆弱
(Fragility)
•
复用率低
(Immobility)
•
黏度过高
(Viscosity)
软件的可维护性和可复用性
软件工程和建模大师
Peter Coad
认为,一个好的系统设计应该具备如下三个性质:
•
可扩展性
(Extensibility)
•
灵活性
(Flexibility)
•
可插入性
(
Pluggability
)
设计原则名称 | 设计原则简介 | 重要性 |
单一职责原则 (Single Responsibility Principle, SRP) | 类的职责要单一,不能将太多的职责放在一个类中 | ★★★★☆ |
开闭原则 (Open-Closed Principle, OCP) | 软件实体对扩展是开放的,但对修改是关闭的,即在不修改一 个软件实体的基础上去扩展其功能 | ★★★★★ |
里氏代换原则 (Liskov Substitution Principle, LSP) | 在软件系统中,一个可以接受基类对象的地方必然可以接受一 个子类对象 | ★★★★☆ |
依赖倒转原则 (Dependency Inversion Principle, DIP) | 要针对抽象层编程,而不要针对具体类编程 | ★★★★★ |
接口隔离原则 (Interface Segregation Principle, ISP) | 使用多个专门的接口来取代一个统一的接口 | ★★☆☆☆ |
合成复用原则 (Composite Reuse Principle, CRP) | 在系统中应该尽量多使用组合和聚合关联关系,尽量少使用甚 至不使用继承关系 | ★★★★☆ |
迪米特法则 (Law of Demeter, LoD) | 一个软件实体对其他实体的引用越少越好,或者说如果两个类 不必彼此直接通信,那么这两个类就不应当发生直接的相互作 用,而是通过引入一个第三者发生间接交互 | ★★★☆☆ |
单一职责原则分析
一个类(或者大到模块,小到方法)承担的职责越多,它被复用的可能性越小
,而且如果一个类承担的职责过多,就相当于将这些职责耦合在一起,当其中一个职责变化时,可能会影响其他职责的运作。
类的职责主要包括两个方面:
数据职责和行为职责
,
数据职责通过其属性来体现
,而
行为职责通过其方法来体现
。
单一职责原则是实现
高内聚、低耦合
的指导方针,在很多代码重构手法中都能找到它的存在,它是最简单但又最难运用的原则,需要设计人员发现类的不同职责并将其分离,而发现类的多重职责需要设计人员具有较强的分析设计能力和相关重构经验。
里氏代换原则定义
里氏代换原则
(
Liskov
Substitution Principle, LSP)
有两种定义方式,第一种定义方式相对严格,其定义如下:
•
如果对每一个类型为
S
的对象
o1
,都有类型为
T
的对象
o2
,使得以
T
定义的所有程序
P
在所有的对象
o1
都代换成
o2
时,程序
P
的行为没有变化,那么类型
S
是类型
T
的子类型。
其英文定义为:
•
If for each object o1 of type Sthere is an object o2 of type T such that for all programs P defined in termsof T, the behavior of P is unchanged when o1 is substituted for o2 then S is asubtype of T.
第二种更容易理解的定义方式如下:
•
所有引用基类(父类)的地方必须能透明地使用其子类的对象
。
其英文定义为:
•
Functions that use pointers orreferences to base classes must be able to use objects of derived classeswithout knowing it.
里氏代换原则分析
里氏代换原则可以通俗表述为:在
软件中如果能够使用基类对象,那么一定能够使用其子类对象
。把基类都替换成它的子类,程序将不会产生任何错误和异常,反过来则不成立,如果一个软件实体使用的是一个子类的话,那么它不一定能够使用基类。
里氏代换原则是实现开闭原则的重要方式之一,由于使用基类对象的地方都可以使用子类对象,因此
在程序中尽量使用基类类型来对对象进行定义,而在运行时再确定其子类类型,用子类对象来替换父类对象
。
依赖倒转原则定义
依赖倒转原则
(Dependence Inversion Principle,DIP)
的定义如下:
•
高层模块
不应该依赖低层模块
,它们都应该
依赖抽象
。
抽象不应该依赖于细节,细节应该依赖于抽象。
其英文定义为:
•
High level modules should notdepend upon low level modules, both should depend upon abstractions.
Abstractions should not depend upondetails, details should depend upon abstractions
.
另一种表述为:
•
要
针对接口编程
,
不要针对实现编程
。
其英文定义为:
•
Program to an interface, not animplementation.
依赖倒转原则分析
简单来说,依赖倒转原则就是指:
代码要依赖于抽象的类,而不要依赖于具体的类
;
要针对接口或抽象类编程,而不是针对具体类编程
。
实现开闭原则的关键是抽象化,并且从抽象化导出具体化实现,如果说
开闭原则是面向对象设计的目标的话
,那么
依赖倒转原则就是面向对象设计的主要手段
。
依赖倒转原则的常用实现方式之一是
在代码中使用抽象类,而将具体类放在配置文件中
。
•
“
将抽象放进代码,将细节放进元数据
”
•
Put Abstractions in Code, Detailsin Metadata
(《程序员修炼之道:从小工到专家》(ThePragmatic programmer: from journeyman to master))
类之间的耦合
•
零耦合
关系
•
具体耦合
关系
•
抽象耦合
关系
依赖倒转原则要求客户端依赖于抽象耦合,
以抽象方式耦合是依赖倒转原则的关键
。
接口隔离原则定义
接口隔离原则
(Interface Segregation Principle,ISP)
的定义如下:
•
客户端
不应该依赖
那些
它不需要的接口
。
其英文定义为:
•
Clients should not be forced todepend upon interfaces that they do not use.
注意,在该定义中的接口指的是所定义的方法。
另一种定义方法如下:
•
一旦一个
接口太大
,则需要将它
分割成一些更细小的接口
,使用该接口的客户端仅需知道与之相关的方法即可。
其英文定义为:
•
Once an interface has gotten too'fat' it needs to be
splitinto smaller and more specific interfaces
so that any clients of theinterface will only know about the methods that pertain to them.
接口隔离原则分析
接口隔离原则是指使
用多个专门的接口,而不使用单一的总接口
。每一个接口应该承担一种相对独立的角色,不多不少,不干不该干的事,该干的事都要干。
•
(1)
一个接口就
只代表一个角色
,每个角色都有它特定的一个接口,此时这个原则可以叫做“角色隔离原则”。
(2)
接口
仅仅提供客户端需要的行为
,即所需的方法,客户端不需要的行为则隐藏起来,应当为客户端提供尽可能小的单独的接口,而不要提供大的总接口
使用接口隔离原则拆分接口时,首先必须满足
单一职责原则
,将一组相关的操作定义在一个接口中,且在满足高内聚的前提下,接口中的方法越少越好。
可以在进行系统设计时采用
定制服务
的方式,即
为不同的客户端提供宽窄不同的接口
,只提供用户需要的行为,而隐藏用户不需要的行为。
迪米特法则定义
迪米特法则
(Law of Demeter,
LoD
)
又称为最少知识原则
(Least Knowledge Principle, LKP)
,它有多种定义方法,其中几种典型定义如下:
Ÿ
(1)
不要和“陌生人”说话
。英文定义为:
Don't talk to strangers.
Ÿ
(2)
只与你的直接朋友通信
。英文定义为:
Talk only to your immediatefriends.
Ÿ
(3)
每一个软件单位对其他的单位都只有最少的知识,而且局限于那些与本单位密切相关的软件单位。
英文定义为:
Each unit should have onlylimited knowledge about other units: only units "closely" related tothe current unit.
迪米特法则分析
迪米特法则来自于
1987
年秋美国东北大学
(Northeastern University)
一个
名为“
Demeter”
的研究项目
。
简单地说,迪米特法则就是指
一个软件实体应当尽可能少的与其他实体发生相互作用
。这样,当一个模块修改时,就会尽量少的影响其他的模块,扩展会相对容易,这是对软件实体之间通信的限制,它要求限制软件实体之间通信的宽度和深度。
在迪米特法则中,对于一个对象,其朋友包括以下几类:
(1)
当前对象本身
(this)
;
(2)
以参数形式传入到当前对象方法中的对象;
(3)
当前对象的成员对象;
(4)
如果当前对象的成员对象是一个集合,那么集合中的元素也都是朋友;
(5)
当前对象所创建的对象。
任何一个对象,如果满足上面的条件之一,就是当前对象的“朋友”,否则就是“陌生人”。
迪米特法则可分为狭义法则和广义法则。
在狭义的迪米特法则中,如果两个类之间不必彼此直接通信
,
那么这两个类就不应当发生直接的相互作用
,如果其中的一个类需要调用另一个类的某一个方法的话,可以通过
第三者转发这个调用
。
狭义的迪米特法则:可以
降低类之间的耦合
,但是会在系统中增加大量的小方法并散落在系统的各个角落,它可以使一个系统的局部设计简化,因为每一个局部都不会和远距离的对象有直接的关联,但是也会
造成系统的不同模块之间的通信效率降低
,使得系统的不同模块之间不容易协调。
广义的迪米特法则:
指对对象之间的信息流量、流向以及信息的影响的控制
,主要是
对信息隐藏的控制
。信息的隐藏可以使各个子系统之间脱耦,从而允许它们独立地被开发、优化、使用和修改,同时可以促进软件的复用,由于每一个模块都不依赖于其他模块而存在,因此每一个模块都可以独立地在其他的地方使用。一个系统的规模越大,信息的隐藏就越重要,而信息隐藏的重要性也就越明显。
迪米特法则的主要用途在于
控制信息的过载
:
•
在类的划分上,应当尽量
创建松耦合的类
,类之间的耦合度越低,就越有利于复用,一个处在松耦合中的类一旦被修改,不会对关联的类造成太大波及;
•
在类的结构设计上,每一个类都应当
尽量降低其成员变量和成员函数的访问权限
;
•
在类的设计上,只要有可能,
一个类型应当设计成不变类
;
•
在对其他类的引用上,
一个对象对其他对象的引用应当降到最低
。
开闭原则定义
开闭原则
(Open-Closed Principle, OCP)
定义如下:
•
一个软件实体应当
对扩展开放,对修改关闭
。也就是说在设计一个模块的时候,应当使这个模块可以在不被修改的前提下被扩展,即实现在不修改源代码的情况下改变这个模块的行为。
其英文定义为:
•
Software entities should be
open for extension
, but
closed for modification.
开闭原则分析
开闭原则由
Bertrand Meyer
于
1988
年提出,它是面向对象设计中最重要的原则之一。
在开闭原则的定义中,
软件实体可以指一个软件模块、一个由多个类组成的局部结构或一个独立的类
。
抽象化
是开闭原则的关键。
开闭原则还可以通过一个更加具体的“
对可变性封装原则
”来描述,对可变性封装原则
(Principle of Encapsulation ofVariation, EVP)
要求找到系统的可变因素并将其封装起来。
合成复用原则定义
合成复用原则
(Composite Reuse Principle, CRP)
又称为组合
/
聚合复用原则
(Composition/ Aggregate ReusePrinciple, CARP)
,其定义如下:
•
尽量使用对象组合
,而
不是继承
来达到复用的目的。
其英文定义为:
•
Favor composition of objects overinheritance as a reuse mechanism.
合成复用原则分析
合成复用原则就是指在一个新的对象里通过
关联关系(包括组合关系和聚合关系)
来使用一些已有的对象,使之成为新对象的一部分;新对象
通过委派调用已有对象的方法达到复用其已有功能的目的
。简言之:要
尽量使用组合
/
聚合关系,少用继承
。
在面向对象设计中,可以通过两种基本方法在不同的环境中复用已有的设计和实现,即通过
组合
/
聚合关系
或通过
继承
。
•
继承复用:实现简单,易于扩展。破坏系统的封装性;从基类继承而来的实现是静态的,不可能在运行时发生改变,没有足够的灵活性;只能在有限的环境中使用。(
“白箱”
复用)
•
组合
/
聚合复用:耦合度相对较低,选择性地调用成员对象的操作;可以在运行时动态进行。(
“黑箱”
复用)
组合
/
聚合可以
使系统更加灵活
,类与类之间的
耦合度降低
,一个类的变化对其他类造成的影响相对较少,因此一般
首选使用组合
/
聚合来实现复用
;其次才考虑继承,在使用继承时,需要严格遵循里氏代换原则,有效使用继承会有助于对问题的理解,降低复杂度,而滥用继承反而会增加系统构建和维护的难度以及系统的复杂度,因此需要
慎重使用继承复用
。