定義
裝飾器模式又名包裝(Wrapper)模式。裝飾器模式以對客戶端透明的方式拓展對象的功能,是繼承關系的一種替代方案。
裝飾器模式的結構
裝飾器模式以對客戶透明的方式動態的給一個對象附加上更多的責任。換言之,客戶端并不會覺得對象在裝飾前和裝飾后有什么不同。裝飾器模式可以在不是用創造更多子類的情況下,將對象的功能加以拓展。
裝飾器模式的類圖如下:
在裝飾器模式中的角色有:
- 抽象構件(Component)角色:給出一個抽象接口,已規范準備接收附加責任的對象。
- 具體構件(ConcreteComponent)角色:定義一個將要接收附加責任的類
- 裝飾(Decorator)角色:持有一個構件(Component)對象的實例,并定義一個與抽象構件接口一致的接口。
- 具體裝飾(ConcreteDecorator)角色:負責給構件對象“貼上”附加的責任。
示例代碼
抽象構件角色
public interface Component {
public void sampleOpreation();
}
具體構件角色:
public class ConcreteComponent implements Component {
@Override
public void sampleOpreation() {
// TODO 完成相關的業務代碼
}
}
裝飾角色
public class Decorator implements Component {
private Component component;
public Decorator(Component component) {
this.component = component;
}
@Override
public void sampleOpreation() {
//委派給構件
component.sampleOpreation();
}
}
具體裝飾角色
public class ConcreteDecoratorA extends Decorator {
public ConcreteDecoratorA(Component component) {
super(component);
}
@Override
public void sampleOpreation() {
super.sampleOpreation();
//TODO 完成相關的業務代碼
}
}
public class ConcreteDecoratorB extends Decorator {
public ConcreteDecoratorB(Component component) {
super(component);
}
@Override
public void sampleOpreation() {
super.sampleOpreation();
//TODO 完成相關的業務代碼
}
}
齊天大圣的例子
孫悟空有七十二般變化,他的沒一種變化都給他帶來一種附加的本領。他變成魚兒時,就已到水里游泳;他變成鳥兒時,就可以在天上飛行。
本例中,Component
的角色便是由大名鼎鼎的齊天大圣扮演;ConcreteComponent
的角色屬于大圣的本尊,就是猢猻本人;Decorator
的角色由大圣的七十二變扮演。而ConcreteDecorator
的角色就是魚兒、鳥兒等七十二般變化。
示例代碼
抽象構件角色“齊天大圣”接口,定義了一個move()
方法,這是所有的具體構建類和裝飾類必須實現的。
public interface TheGreatestSage {
public void move();
}
具體構件角色“大圣本尊”,猢猻類
public class Monkey implements TheGreatestSage {
@Override
public void move() {
System.out.println("Monkey move");
}
}
抽象裝飾角色“七十二變”
public class Change implements TheGreatestSage {
private TheGreatestSage sage;
public Change(TheGreatestSage sage) {
this.sage = sage;
}
@Override
public void move() {
this.sage.move();
}
}
具體裝飾角色,“魚兒”和“鳥兒”
public class Fish extends Change {
public Fish(TheGreatestSage sage) {
super(sage);
}
@Override
public void move() {
super.move();
System.out.println("Change fish move");
}
}
public class Bird extends Change {
public Bird(TheGreatestSage sage) {
super(sage);
}
@Override
public void move() {
super.move();
System.out.println("Change bird move");
}
}
客戶端類
public class Client {
public static void main(String[] args) {
TheGreatestSage sage = new Monkey();
//第一種寫法
TheGreatestSage bird = new Bird(sage);
bird.move();
//第二種寫法
TheGreatestSage fish = new Fish(new Bird(sage));
fish.move();
}
}
大圣本尊是ConcreteComponent
類,而“鳥兒”、“魚兒”是裝飾類,要裝飾的是大圣本尊,也就是猢猻類實例。
上面的例子中,系統把大圣從一直猢猻裝飾成一只鳥兒(把鳥兒的功能加到了猢猻身上),然后又把鳥兒裝飾成一條魚兒(把魚兒的功能裝飾到猢猻+鳥兒身上),從而得到最終呈現猢猻+鳥兒+魚兒的結果。
如上圖所示,大圣的變化首先將鳥兒的功能附加到猢猻身上,然后又將魚兒的功能附加到猢猻+鳥兒身上。
裝飾模式的簡化
大多數情況下,裝飾模式的實現都要比上面的示意性例子要簡單。
如果只有一個ConcreteComponent
類,那么可以考慮去掉抽象的Component
類(接口),把Decorator
作為一個ConcreteComponent
的子類。如下圖所示:
如果只有一個ConcreteDecorator
類,那么就沒有必要建立一個單獨的Decorator
類,而可以把Decorator
和ConcreteDecorator
的責任合并成一個類。甚至在只有兩個ConcreteDecorator
類的情況下,都可以這樣做,如下圖所示:
透明性的要求
裝飾模式對客戶端的透明性要求程序不要聲明給一個ConcreteComponent
類型的變量,而應當聲明一個Component
類型的變量。
用孫悟空的例子來說,必須永遠把孫悟空的所有變化都當成孫悟空來對待,而如果吧孫悟空變成的魚兒當成魚兒,而不是孫悟空,那么就被孫悟空騙了,而這是不應當發生的。下面的做法是對的。
TheGreatestSage sage = new Monkey();
TheGreatestSage bird = new Bird(sage);
而下面的做法是不對的:
Monkey sage = new Monkey();
Bird bird = new Bird(sage);
半透明的裝飾模式
然而,純粹的裝飾模式很難找到。裝飾模式的用意是在不改變接口的前提下,增強所考慮的類的性能。在增強性能的時候,往往要建立新的公開的方法。即便是在孫大圣的系統里,也需要新的方法。比如齊天大圣并沒有飛行的能力,而鳥兒有。這就意味著鳥兒應該有一個新的fly()
方法。再比如,齊天大圣并沒有游泳的能力,而魚兒有,著就意味著魚兒應該有一個新的swim()
方法。
這就導致了大多數的裝飾模式的實現都是“半透明”的,而不是完全透明的。換而言之,允許裝飾模式改變接口,增加新的方法。這意味著客戶端可以聲明ConcreteDecorator
類型的變量,從而可以調用ConcreteDecorator
類中才有的方法:
TheGreatestSage sage = new Monkey();
Bird bird = new Bird(sage);
bird.fly();
半透明的裝飾模式是介于裝飾模式和適配器模式之間的。適配器模式的用意是改變所考慮的類的接口,也可以通過改寫一個或幾個方法,或增加新的方法來增強或改變所考慮的類的功能。大多數的裝飾模式實際上是半透明的裝飾模式,這樣的裝飾模式也稱作半裝飾、半適配器模式。
裝飾模式的優點
- 裝飾模式與繼承關系的目的都是要拓展對象的功能,但是裝飾模式可以提供比繼承更多的靈活性。裝飾模式允許系統動態決定“貼上”一個需要的“裝飾”,或者“除掉”一個不需要的“裝飾”。繼承關系則不同,繼承關系是靜態的,它在系統運行前就決定了。
- 通過不同的具體裝飾類以及這些裝飾類的排列組合,設計師可以創造出更多不同行為的組合。
裝飾模式的缺點
由于使用裝飾模式,可以比使用繼承關系需要較少數目的類。使用較少的類,當然使設計比較易于進行。但是,在另外一方面,使用裝飾模式會產生比使用繼承關系所產生的更多的對象。而更多的對象會使得查找錯誤更為困難,特別是這些對象在看上去極為相似的時候。
裝飾設計模式在JAVA I/O庫中的應用
裝飾模式在Java語言中最著名的應用莫過于JAVA I/O標準庫的設計了。
?由于JAVA I/O庫需要很多性能的各種組合,如果這些性能都是用繼承的方法實現的,那么每一種組合都需要一種類,這樣就會造成大量性能重復的類出現。而如果采用裝飾模式,那么類的數目就會大大減少,性能的重復也可以減至最小。因此裝飾模式是JAVA I/O?庫的基本模式。
JAVA I/O庫的對象結構如下圖,由于JAVA I/O庫的對象眾多,因此只畫出InputStream
的部分。
根據上圖可以看出:
-
抽象構建角色(Component):由
InputStream
扮演。這是一個抽象類,為各種子類型提供統一的接口。 -
具體構件角色(ConcreteComponent):由
ByteArrayInputStream
、FileInputStream
、StringBufferInputStream
等類扮演。它們實現了抽象構件角色所規定的接口。 -
抽象裝飾角色(Decorator):由
FilterInputStream
、ObectInputStream
等類扮演。它們實現了InputStream
所規定的接口。 -
具體裝飾角色(ConcreteDecorator):由幾個類扮演,分別是
BufferedInputStream
、DataInputStream
以及兩個不常用到的類LineNumberInputStream
、PushbackInputStream
。
半透明的裝飾模式
裝飾模式和適配器模式都是“包裝模式(Wrapper Pattern)”,它們都是通過封裝其他的對象達到設計的目的的,但是它們的形態有很多區別。
理想的裝飾模式在對被裝飾的對象進行功能增強的同時,要求具體構件角色、裝飾角色的接口與抽象構件角色的接口完全一致。而適配器模式則不然,一般而言,適配器模式并不要求對源對象的功能進行增強,但是會改變源對象的接口,以便和目標接口相吻合。
裝飾模式有透明和半透明兩種,這兩種的區別就在與裝飾角色的接口與抽象構件角色的接口是否完全一致。透明的裝飾模式也就時理想的裝飾模式,要求具體構件角色、裝飾角色的接口與抽象構件角色的接口完全一致。相反,如果裝飾角色的接口與抽象構件角色的接口不一致,也就說明裝飾角色的接口比抽象構件角色的接口寬的話,裝飾角色實際上已經成為了一個適配器角色,這種裝飾模式也是可以接受的,稱為“半透明”的裝飾模式,如下圖所示:
在適配器模式里面,適配器模式的接口通常會與目標類的接口重疊,但往往并不完全相同。換句話說,適配類的接口會比被適配的目標類接口寬。
顯然,半透明的裝飾模式實際上處于適配器模式與裝飾模式之間的灰色地帶。如果裝飾模式和適配器模式合并稱為一個“包裝模式”的話,那么半透明的裝飾模式倒是可以成為這種合并后的“包裝模式“的代表。
InputStream類型中的裝飾模式
InputStream
類型中的裝飾模式是半透明的。為了說明這一點,不妨看一看裝飾模式的抽象構建角色InputStream
抽象類的源代碼。這個抽象類聲明了九個方法,并給出了其中八個的實現,另外一個是抽象方法,需要子類實現。
public abstract class InputStream implements Closeable {
public abstract int read() throws IOException;
public int read(byte b[]) throws IOException {
return read(b, 0, b.length);
}
public int read(byte b[], int off, int len) throws IOException {
//……
}
public long skip(long n) throws IOException {
//……
}
public int available() throws IOException {
//……
}
public void close() throws IOException {}
public synchronized void mark(int readlimit) {}
public synchronized void reset() throws IOException {
throw new IOException("mark/reset not supported");
}
public boolean markSupported() {
return false;
}
}
下面是作為裝飾模式的抽象裝飾角色FilterInputStream
類的源代碼??梢钥闯觯?code>FilterInputStream的接口與InputStream
的接口是完全一致的,也就是說,直到這一步,還是與裝飾模式相吻合的。
public class FilterInputStream extends InputStream {
public int read() throws IOException {
return in.read();
}
public int read(byte b[]) throws IOException {
return read(b, 0, b.length);
}
public int read(byte b[]) throws IOException {
return read(b, 0, b.length);
}
public long skip(long n) throws IOException {
return in.skip(n);
}
public int available() throws IOException {
return in.available();
}
public void close() throws IOException {
in.close();
}
public synchronized void mark(int readlimit) {
in.mark(readlimit);
}
public synchronized void reset() throws IOException {
in.reset();
}
public boolean markSupported() {
return in.markSupported();
}
}
下面是具體裝飾角色PushbackInputStream
的源代碼:
public class PushbackInputStream extends FilterInputStream {
private void ensureOpen() throws IOException {
if (in == null)
throw new IOException("Stream closed");
}
public int read() throws IOException {
//……
}
public int read(byte[] b, int off, int len) throws IOException {
//……
}
public void unread(int b) throws IOException {
//……
}
public void unread(byte[] b, int off, int len) throws IOException {
//……
}
public void unread(byte[] b) throws IOException {
unread(b, 0, b.length);
}
public int available() throws IOException {
//……
}
public long skip(long n) throws IOException {
//……
}
public boolean markSupported() {
return false;
}
public synchronized void mark(int readlimit) {
}
public synchronized void reset() throws IOException {
throw new IOException("mark/reset not supported");
}
public synchronized void close() throws IOException {
//……
}
}
通過查看源代碼,你會發現,這個裝飾類提供了額外的方法unread()
,這就意味著PushbackInputStream
是一個半透明的裝飾類。換句話說,它破壞了理想的裝飾模式的要求。如果客戶端持有一個類型為InputStream
對象的引用in
的話,那么如果in
的真實類型是PushbackInputStream
的話,只要客戶端不需要使用unread()
方法,那么客戶端一般沒有問題。但是如果客戶端必須使用這個方法,就必須進行向下類型轉換。將in
的類型轉換成為PushbackInputStream
之后才可能調用這個方法。但是,這個類型轉換意味著客戶端必須知道它拿到的引用是指向一個類型為PushbackInputStream
的對象。這就破壞了使用裝飾模式的原始用意。
現實世界與理論總歸是有一段差距的。純粹的裝飾模式在真實的系統中很難找到。一般所遇到的,都是這種半透明的裝飾模式。
示例程序
下面是使用I/O流讀取文件內容的簡單示例
import java.io.BufferedInputStream;
import java.io.DataInputStream;
import java.io.FileInputStream;
import java.io.FileNotFoundException;
import java.io.IOException;
public class InputStreamTest {
public static void main(String[] args) {
DataInputStream dis = null;
try {
dis = new DataInputStream(
new BufferedInputStream(
new FileInputStream("23.txt")
)
);
byte[] bytes = new byte[dis.available()];
dis.read(bytes);
String content = new String(bytes);
System.out.println(content);
} catch (FileNotFoundException e) {
e.printStackTrace();
} catch (IOException e) {
e.printStackTrace();
} finally {
try {
dis.close();
} catch (IOException e) {
e.printStackTrace();
}
}
}
}
觀察上面的代碼,會發現最里層是一個FileInputStream
對象,然后把它傳遞給一個BufferedInputStream
對象,經過BufferedInputStream
對象處理后,再將處理后的對象傳遞給DataInputStream
對象進行處理。這個過程,其實就是裝飾器的組裝過程,FileInputStream
對象相當于原始的被裝飾的對象,而BufferedInputStream
對象和DataInputStream
對象則相當于裝飾器。