第10讲：Decorator 装饰模式
2006.2.27 李建忠
子类复子类，子类何其多
假如我们需要为游戏中开发一种坦克，除了各种不同的型号的坦克外，我们还希望在不同场合中为其增加以下一种或多种功能：比如红外线夜视功能，比如水陆两栖功能，比如卫星定位功能等等。
如果再添加一种功能D，那么需要增加的T50子类的数量可想而知，而这只是T50这个类型，如果还有其他T70等类型，那么需要新添加的子类将不可计数。
动机（Motivation）
上述描述的问题根源在于我们“过度地使用了继承来扩展对象的功能”，由于继承为类型引入的静态特质（所谓静态特质，就是说如果想要某种功能，我们必须在编译的时候就要定义这个类，这也是强类型语言的特点。静态，就是指在编译的时候要确定的东西；动态，是指运行时确定的东西），使得这种扩展方式缺乏灵活性；并且随着子类的增多（扩展功能的增多），各种子类的组合（扩展功能的组合）会导致更多子类的膨胀（多继承）。
如何使“对象功能的扩展”能够根据需要来动态（即运行时）地实现？同时避免“扩展功能的增多”带来的子类膨胀问题？从而使得任何“功能扩展变化”所导致的影响降为最低？
意图（Intent）
动态地给一个对象增加一些额外的职责。就增加功能而言，Decorator模式比生成子类更为灵活。
——《设计模式》GoF
例说Decorator应用
以前面的例子为例
（纠正：Tank应该也是抽象类）
这里用到了C#对于接口的显示实现，它在继承的类里面是个私有的方法，但是在接口中又是公有的。
下面是Decorator模式的实现：
这里Decorator类虽然继承自Tank，但它实际上应该是接口继承，而不是类继承。
（纠正：DecoratorA还应该写自己的构造器，因为构造器不继承）
当然，如果不需要对Shot方法或者Run方法进行扩展，可以不override它。
Decorator的结构如下
客户代码
可以看到，在Decorator的构造器中，我们除了传入Tank外，同样可以传入Decorator自己作为构造器，这样装饰的功能就能够进行叠加。这也是为什么我们让Decorator抽象类继承自Tank抽象类的原因。
因此，如果现在需要加一个功能，我们只需要添加一个功能的装饰子类就可以了，不需要添加其它的子类。它好就好在拥有运行时的灵活性，可以在需要用时随意组合功能，而不需要静态地把各种功能组合写死在代码中。
结构（Structure）
Component对应于Tank抽象类或接口；ConcreteComponent是Tank的具体实体类，对应于T50、T75、T90。
我们需要注意的是Decorator和Component的关系，首先是继承关系（Is-A关系，这个Is-A关系其实是接口继承，而不是类继承），然后是Decorator里有一个Component的关系（Has-A关系）。拥有这两重关系的优势就是能够组合起来，让它可以不断地扩展，把一个个装饰串起来。
Decorator模式的几个要点
通过采用组合、而非继承的手法，Decorator模式实现了在运行时（就是在客户代码Main函数里写的代码）动态地扩展对象功能的能力，而且可以根据需要扩展多个功能。避免了单独使用继承带来的“灵活性差”和“多子类衍生问题”。
Component类在Decorator模式中充当抽象接口的角色，不应该去实现具体的行为。而且Decorator类对于Component类应该透明——换言之Component类无需知道Decorator类，Decorator类是从外部来扩展Component类的功能。
Decorator类在接口上表现为Is-A：Component的继承关系，即Decorator类继承了Component类所具有的接口。但在实现上有表现为Has-A：Component的组合关系，即Decorator类又使用了另外一个Component类。我们可以使用一个或者多个Decorator对象来“装饰”一个Component对象，且装饰后的对象仍然是一个Component对象。
Decorator模式并非解决“多子类衍生的多继承”问题，Decorator模式，应用的要点在于解决“主体类在多个方向上的扩展功能”——是为“装饰”的含义。
.NET框架中的Decorator应用
Stream是一个抽象接口，它在System.IO里面，它其实就是Component。FileStream、NetworkStream、MemoryStream都是实体类ConcreteComponent。右边的BufferedStream、CryptoStream是装饰对象，它们都是继承了Stream接口的。
BufferedStream
BufferedStream继承自Stream，又含有Stream作为属性。有一点不同的是，BufferedStream这个具体的装饰类没有抽象类，直接继承自抽象主体Stream接口，它让Decorator抽象类退化了，但这点不同并不影响Decorator模式的本质。
2010.10.3
