装饰者模式
我们的目标是实现更大的弹性和更好的可维护性的设计。
运行时扩展,远比编译时期的继承威力大。
对于继承存在的继承滥用问题,装饰者模式给爱用继承的人了一个全新的设计眼界。
一旦你熟悉了装饰的技巧,你将能够在不修改任何底层代码的情况下,给你的(或别人的)对象赋予新的职责。
1)首先,我们要设计的是星巴兹咖啡店的各饮品名目
起初的类设计:
当人们购买咖啡时,可以要求加入各种调料,而我们需要根据调料的不同,对售卖的咖啡进行计价。
所以我们可以这样进行处理:
无疑,这种滥用继承的设计结果使我们所不能接受的。
当其中一种调料的价格变动或者再加入一种新的调料时,我们会发现我们进行维护的成本是巨大的。
2)现在我们考虑第二种设计实现。对于上述步骤中的继承类爆炸的状态,我们可以不设计这么多类,而是利用实例变量和继承,就可以追踪这些调料。
这样我们所实现的类就比1)中少了很多。似乎这是一个可行的解决办法,但是,又似乎隐隐存在着些问题!
我们知道,虽然继承的威力强大,但是它不总是能够实现最有弹性和最好维护的设计。
为了不通过“继承”而实现代码复用,我们可以利用组合(composition)和委托(delegation),使得我们的程序可以在运行时具有继承行为的效果。
利用继承设计子类的行为,是在编译时静态决定的,而且所有的子类都会继承到相同的行为。然而,如果能够利用组合的做法扩展到对象的行为,就可以在运行时动态地进行扩展。
我们可以利用这个技巧把多个新职责,甚至是设计超类时还没有想到的职责加载对象上,而且重要的是,我们不用修改原来的代码。因为我们没有改变现有代码,那么引进bug或产证意外副作用的机会将大幅度减少。
此时,我们介绍一下新的设计原则:
我们的目标是允许类容易扩展,在不修改现有代码的情况下,就可搭配新的行为。
这样的设计具有弹性可以应对改变,可以接受新的功能来应对改变的需求。
但是在选择需要被扩展的代码部分时要小心。每个地方都采用开放—关闭原则,是一种浪费,也没有必要,还会导致代码变得复杂且难以理解。
3)让我们来看一看装饰者模式的大概概念
归纳一下:
- 装饰者和被装饰对象有相同的超类型
- 你可以用一个或者多个装饰者包装一个对象
- 既然装饰者和被装饰者有相同的超类型,所以在任何需要原始对象(被包装的)的场合,可以用装饰过的对象代替它
- 装饰者可以在所委托被装饰者的行为之前或之后,加上自己的行为,已达到特定的目的
- 对象可以在任何时候被装饰,所以可以在运行时动态地、不限量地用你喜欢的装饰者来装饰对象
4)定义装饰者模式
有没有发现什么吊诡的地方,不是说好的不用“继承”么?还以为会用“组合”代替“继承”,没想到还是得用“继承”。
在装饰者模式中,的确是如此,但是这么做的重点在于装饰者和被装饰者必须是一样的类型,也就是有共同的超类,这是相当关键的地方。在这里,我们利用继承达到“类型匹配”,而不是利用继承获得“行为”。
那么“行为”从哪里来?我们在将装饰者与组件组合时,就是在加入新的行为。所得到的新行为,并不是继承自超类,而是由组合对象得来的。
所以,“行为”来自装饰者和基础组件,或与其他装饰者之间的组合关系。而且因为使用对象组合,可以把所有饮料和调料更有弹性地加以混合与匹配。
那么在这个例子中为什么不把Beverage类设计成一个接口,而是设计成一个抽象类呢?
因为在本例子的题目中,Beverage就已经是一个“抽象类”了,通常装饰者模式是采用抽象类,但是在Java中可以使用接口。尽管如此,通常我们都努力避免修改现有的代码,所以,如果抽象类运作得好好的,还是别去修改它了,我们不妨“懒”一下。
5)具体实现本例中的代码
6)真实世界的装饰者:Java I/O
7)小结
装饰者模式可以为设计注入弹性,但是也会在设计中加入大量的小类。这个可以配合工厂模式(Factory)和生成器(Builder)模式使用,对装饰者模式进行优化改进。
OO基础:
- 抽象
- 封装
- 多态
- 继承
OO原则:
- 封装变化
- 多用组合、少用继承
- 针对接口编程,不针对实现编程
- 为交互对象之间的松耦合设计而努力
- 对扩展开放,对修改关闭
OO模式:
- 策略模式——定义算法族,分别封装起来,让它们之间可以互相替换,此模式让算法的变化独立于使用算法的客户
- 观察者模式——在对象之间定义一对多的依赖,这样一来,当一个对象改变状态,依赖它的对象都会收到通知,并自动更新
- 装饰者模式——动态地将责任附加到对象上。想要扩展功能,装饰者提供有别于继承的一种选择
要点:
- 继承属于扩展形式之一,但不见得是达到弹性设计的最佳方式
- 在我们的设计中,应该允许行为可以被扩展,而无须修改现有的代码
- 组合和委托可用于在运行时动态地加上新的行为
- 除了继承,装饰者模式也可以让我们扩展行为
- 装饰者模式意味着一群装饰者类,这些类用来包装具体的组件
- 装饰者类反映出被装饰的组件类型(事实上,他们具有相同的类型,都经过接口或继承实现)
- 装饰者可以在被装饰者的行为前面或后面加上自己的行为,甚至将被装饰者的行为整个取代掉,而达到特定的目的
- 你可以用无数个装饰者包装一个组件
- 装饰者一般对组件的客户是透明的,除非客户程序依赖于组件的具体类型
- 装饰者会导致设计中出现许多小对象,如果过度使用,会让程序变得很复杂
参考书目:《Head First 设计模式》
上一篇: 模板方法模式
下一篇: 设计模式-建造者模式