《设计模式》第三部分 结构型设计模式 第10章 桥接模式(A:C++实现)

381 阅读10分钟

3.1模式动机

设想如果要绘制矩形、圆形、椭圆、正方形,我们至少需要4个形状类,但是如果绘制的图形需要具有不同的颜色,如红色、绿色、蓝色等,此时至少有如下两种设计方案:

第一种设计方案是为每一种形状都提供一套各种颜色的版本。
第二种设计方案是根据实际需要对形状和颜色进行组合

对于有两个变化维度(即两个变化的原因)的系统,采用方案二来进行设计系统中类的个数更少,且系统扩展更为方便。设计方案二即是桥接模式的应用。桥接模式将继承关系转换为关联关系,从而降低了类与类之间的耦合,减少了代码编写量。

当然,这样的例子还有很多,如不同颜色和字体的文字、不同品牌和功率的汽车、不同性别和职业的男女、支持不同平台和不同文件格式的媒体播放器等。如果用桥接模式就能很好地解决这些问题。

3.2模式的定义与特点

桥接(Bridge)模式的定义如下:将抽象与实现分离,使它们可以独立变化。它是用组合关系代替继承关系来实现,从而降低了抽象和实现这两个可变维度的耦合度。

桥接模式的优点:

1.分离抽象接口及其实现部分。
2.桥接模式有时类似于多继承方案,但是多继承方案违背了类的单一职责原则(即一个类只有一个变化的原因),复用性比较差,而且多继承结构中类的个数非常庞大,桥接模式是比多继承方案更好的解决方法。
3.桥接模式提高了系统的可扩充性,在两个变化维度中任意扩展一个维度,都不需要修改原有系统。
3.实现细节对客户透明,可以对用户隐藏实现细节。

桥接模式的缺点:
1.桥接模式的引入会增加系统的理解与设计难度,由于聚合关联关系建立在抽象层,要求开发者针对抽象进行设计与编程。
2.桥接模式要求正确识别出系统中两个独立变化的维度,因此其使用范围具有一定的局限性。

3.3模式的结构与实现

理解桥接模式,重点需要理解如何将抽象化(Abstraction)与实现化(Implementation)脱耦,使得二者可以独立地变化。

抽象化:抽象化就是忽略一些信息,把不同的实体当作同样的实体对待。在面向对象中,将对象的共同性质抽取出来形成类的过程即为抽象化的过程。

实现化:针对抽象化给出的具体实现,就是实现化,抽象化与实现化是一对互逆的概念,实现化产生的对象比抽象化更具体,是对抽象化事物的进一步具体化的产物。

脱耦:脱耦就是将抽象化和实现化之间的耦合解脱开,或者说是将它们之间的强关联改换成弱关联,将两个角色之间的继承关系改为关联关系。桥接模式中的所谓脱耦,就是指在一个软件系统的抽象化和实现化之间使用关联关系(组合或者聚合关系)而不是继承关系,从而使两者可以相对独立地变化,这就是桥接模式的用意。

可以将抽象化部分与实现化部分分开,取消二者的继承关系,改用组合关系。

3.3.1模式的结构

桥接(Bridge)模式包含以下主要角色。

1.抽象化(Abstraction)角色:定义抽象类,并包含一个对实现化对象的引用。
2.扩展抽象化(Refined Abstraction)角色:是抽象化角色的子类,实现父类中的业务方法,并通过组合关系调用实现化角色中的业务方法。
3.实现化(Implementor)角色:定义实现化角色的接口,供扩展抽象化角色调用。
4.具体实现化(Concrete Implementor)角色:给出实现化角色接口的具体实现。

其结构图如图 1 所示。
在这里插入图片描述

图1 桥接模式的结构图

结合上图理解一下其定义。抽象部分指的是Abstraction或者RefinedAbstraction。实现部分指的是Implementor。以为抽象部分得实现有多种变化,为了减少耦合,所以把实现部分得变化封装起来,通过组合得方式实现。这就是定义中说得将抽象部分与它得实现部分分离。而定义中说得实现指得是抽象类和它得派生类用来实现自己得对象就是对变化封装后得类,即Implementor。

3.3.1模式的实现- C++实现

/**Includes*********************************************************************/
#include <iostream>

/**namespace********************************************************************/
using namespace std;

class Implementor
{
public:
     virtual void OperationImp() = 0;
};

class ConcreteImpementorA : public Implementor
{
public:
     void OperationImp()
     {
          cout<<"OperationImp_A"<<endl;
     }
};


class ConcreteImpementorB : public Implementor
{
public:
     void OperationImp()
     {
          cout<<"OperationImp_B"<<endl;
     }
};

class Abstraction
{
public:
     Abstraction(Implementor *pImpl) : m_pImpl(pImpl){}
     virtual void Operation() = 0;
protected:
     Implementor *m_pImpl;
};

class RedfinedAbstraction : public Abstraction
{
public:
     RedfinedAbstraction(Implementor *pImpl) : Abstraction(pImpl){}

     void Operation()
     {
          m_pImpl->OperationImp();
     }
};

int main(int argc, char* argv[])
{
    Implementor *pImplObj = new ConcreteImpementorA();
    Abstraction *pAbsObj = new RedfinedAbstraction(pImplObj);
    pAbsObj->Operation();


    pImplObj = new ConcreteImpementorB();
    pAbsObj = new RedfinedAbstraction(pImplObj);
    pAbsObj->Operation();

    delete pImplObj;
    pImplObj = NULL;
    delete pAbsObj;
    pAbsObj = NULL;

    return 0;
}

好了,现在来举个实际例子。就拿电脑来举例子吧。电脑又有微软得电脑,联想得电脑。而电脑上可以运行游戏,也可以运行记事本等软件。有两种方式可以实现电脑产品,如下:
方式一:
在这里插入图片描述

图2

这种方式耦合性太高,比如像添加一种软件,需要添加微软电脑的软件和联想电脑的软件。同样的像添加一种电脑,也要添加相应的软件。如果要修改一种软件,则要修改很多软件。
方式二:那就是电脑是电脑,软件是软件两者分离。如下图:

在这里插入图片描述

图3

很明显方式二耦合性底,容易维护和扩展。这里电脑就相当于抽线,而软件则相当于实现。总的来说就是桥接模式主要是实现系统可能有多个角度分类,每一种分类都有可能变化。那么就把这种多角度分离出来让它们独立变化,减少它们之间的耦合。

以电脑和软件为例其示例代码如下:

/**Includes*********************************************************************/
#include <iostream>

/**namespace********************************************************************/
using namespace std;

class Software
{
public:
	virtual void run() = 0;
};

class SoftwareGame : public Software
{
public:
	void run()
	{
		cout << "Game Software" << endl;
	}
};

class SoftwareNote : public Software
{
public:
	void run()
	{
        cout << "Note Software" << endl;
	}
};

class Computer
{
protected:
	Software * m_software;
public:
	Computer() : m_software(nullptr){}
	virtual ~Computer()
	{
		if (nullptr == m_software)
			delete m_software;
	}
	virtual void run() = 0;
	void setSoftware(Software *p)
	{
		m_software = p;
	}
};

class ComputerLenovo : public Computer
{
public:
	void run()
	{
		cout << "ComputerLenovo is running ";
		m_software->run();
	}
};

class ComputerMirco : public Computer
{
public:
	void run()
	{
		cout << "ComputerMirco is running ";
		m_software->run();
	}
};

int main(int argc, char* argv[])
{
    // 桥接模式
	Computer *p = new ComputerLenovo();
	p->setSoftware(new SoftwareGame());
	p->run();
	delete p;

	p = new ComputerMirco();
	p->setSoftware(new SoftwareNote());
	p->run();
	delete p;

    return 0;
}

3.4模式的应用场景

在以下情况下可以使用桥接模式:
1.如果一个系统需要在构件的抽象化角色和具体化角色之间增加更多的灵活性,避免在两个层次之间建立静态的继承联系,通过桥接模式可以使它们在抽象层建立一个关联关系。
2.抽象化角色和实现化角色可以以继承的方式独立扩展而互不影响,在程序运行时可以动态将一个抽象化子类的对象和一个实现化子类的对象进行组合,即系统需要对抽象化角色和实现化角色进行动态耦合。
3.一个类存在两个独立变化的维度,且这两个维度都需要进行扩展。
4.虽然在系统中使用继承是没有问题的,但是由于抽象化角色和具体化角色需要独立变化,设计要求需要独立管理这两者。
5.对于那些不希望使用继承或因为多层次继承导致系统类的个数急剧增加的系统,桥接模式尤为适用。
一个Java桌面软件总是带有所在操作系统的视感(LookAndFeel),如果一个Java软件是在Unix系统上开发的,那么开发人员看到的是Motif用户界面的视感;在Windows上面使用这个系统的用户看到的是Windows用户界面的视感;而一个在Macintosh上面使用的用户看到的则是Macintosh用户界面的视感,Java语言是通过所谓的Peer架构做到这一点的。Java为AWT中的每一个GUI构件都提供了一个Peer构件,在AWT中的Peer架构就使用了桥接模式

3.5模式的扩展

适配器模式与桥接模式的联用:
桥接模式和适配器模式用于设计的不同阶段,桥接模式用于系统的初步设计,对于存在两个独立变化维度的类可以将其分为抽象化和实现化两个角色,使它们可以分别进行变化;而在初步设计完成之后,当发现系统与已有类无法协同工作时,可以采用适配器模式。但有时候在设计初期也需要考虑适配器模式,特别是那些涉及到大量第三方应用接口的情况。

3.6总结

桥接模式将抽象部分与它的实现部分分离,使它们都可以独立地变化。它是一种对象结构型模式,又称为柄体(Handle and Body)模式或接口(Interface)模式。

桥接模式包含如下四个角色:抽象类中定义了一个实现类接口类型的对象并可以维护该对象;扩充抽象类扩充由抽象类定义的接口,它实现了在抽象类中定义的抽象业务方法,在扩充抽象类中可以调用在实现类接口中定义的业务方法;实现类接口定义了实现类的接口,实现类接口仅提供基本操作,而抽象类定义的接口可能会做更多更复杂的操作;具体实现类实现了实现类接口并且具体实现它,在不同的具体实现类中提供基本操作的不同实现,在程序运行时,具体实现类对象将替换其父类对象,提供给客户端具体的业务操作方法。

在桥接模式中,抽象化(Abstraction)与实现化(Implementation)脱耦,它们可以沿着各自的维度独立变化。

桥接模式的主要优点是分离抽象接口及其实现部分,是比多继承方案更好的解决方法,桥接模式还提高了系统的可扩充性,在两个变化维度中任意扩展一个维度,都不需要修改原有系统,实现细节对客户透明,可以对用户隐藏实现细节;其主要缺点是增加系统的理解与设计难度,且识别出系统中两个独立变化的维度并不是一件容易的事情。

桥接模式适用情况包括:需要在构件的抽象化角色和具体化角色之间增加更多的灵活性,避免在两个层次之间建立静态的继承联系;抽象化角色和实现化角色可以以继承的方式独立扩展而互不影响;一个类存在两个独立变化的维度,且这两个维度都需要进行扩展;设计要求需要独立管理抽象化角色和具体化角色;不希望使用继承或因为多层次继承导致系统类的个数急剧增加的系统。