一种基于泛型的桥梁模式实现方法

2014-12-23陈辉

科技视界 2014年31期

陈辉

（浙江商业职业技术学院信息技术学院，浙江杭州 310053）

0 引言

设计模式是对于某一类的软件设计问题的可重用的解决方案。[1]在软件开发中，其主要作用为：重用设计、共用词汇、方便交流、易于重构。一个模式有四个基本要素：1）模式名称，用于描述模式的问题、解决方案和效果；2）问题用于解释设计问题和问题存在的前因后果；3）解决方案描述设计的组成部分、相互关系及其各种的职责和协作方式；4）效果描述模式应用的效果和使用模式应权衡的问题。[2]设计模式主要分为创建型、结构型、行为型，桥梁模式是结构型模式之一，其意图是“将抽象化与实现脱耦，使得二者可以独立变化”。

在面向对象程序设计中，封装变化最主要的技术是多态。多态是同一实体同时具有多种形式，即同一操作作用于不同的对象，产生不同的执行结果。多态分为动多态、静多态。动多态是通过继承和虚函数来实现的，在运行期间，虚函数调用不同子类型的虚成员函数以实现不同的功能。静多态是通过泛型中模板实现的，在编译期间，接口绑定不同的功能代码。

当前，设计模式的实现技术是使用动多态，即继承与虚函数（接口与实现）。其主要的问题是，接口必须在公共基类中预先设定，动多态的绑定是入侵性的或者插入式的。针对这一问题，本文以桥梁模式为例，使用静多态给出非入侵性或非插入式的实现。

1 桥梁模式

桥梁模式是对象的结构型模式，其动机是：当一个抽象可能有多个实现时，通常用继承来协调。抽象类定义对该抽象的接口，具体的子类使用不同的方式实现。此方法不够灵活，继承机制将抽象部分与实现部分固定在一起，难以对抽象部分和实现部分独立进行修改、扩充和重用。为解决上述问题，可使用桥梁模式。

桥梁模式结构图如图1 所示，[3]其参与者分别为：Abstraction 定义抽象类的接口，维护一个执行Implementor 类型的指针；RefinedAbstraction 扩充由Abstraction 定义的接口；Implementor 定义实现类的接口，该接口与Abstraction 可以不同，Implementor 接口仅提供基本操作，而Abstraction 定义基于这些基本操作的较高层次的操作；ConcreteImplementor 实现Implementor 接口并定义其具体实现。对象协作中，Abstraction 将client 的请求转发给Implementor 对象。

2 泛型与模板

泛型是现代程序设计语言的一种特性。泛型是一种特殊的类型，其将指定类型的工作延迟到客户端代码声明并实例化类或方法的时候，泛型将类型参数化以达到代码复用的目的，从而提高软件开发工作效率。

不同的语言支持的泛型的特性不同。.NET 泛型是具有占位符（类型参数）的类、结构、接口和方法，这些占位符是类、结构、接口和方法所存储或使用的一个或多个类型的占位符。泛型集合类可以将类型参数用作其所存储的对象的类型的占位符；类型参数作为其字段的类型及其方法的参数类型出现。泛型方法可以将其类型参数用作其返回值的类型或者其某个形参的类型。Java 泛型的参数只代表类，不能代表个别对象。由于Java 泛型的类型参数之实际类型在编译时会被消除，所以无法在运行时得知其类型参数的类型。Java 编译器在编译泛型时会自动加入类型转换的编码，因此其运行速度不会因为使用泛型而加快。[3]在C++中，泛型即模板，其无法对泛型的类型参数进行约束，在编译时，每个使用的封闭泛型类型都有独立的编码产生，编译器确保其类型安全性。[4]C++模板有两种类型，函数模板与类模板。下面以C++模板为例，给出桥梁模式的实现方法。

3 泛型实现桥梁模式

基于泛型的静多态为实现设计模式提供了新方法。静多态的实现类型在编译期中确定，从而可以避免使用指针，其具备更好的类型安全性，更高的效率。下面是其实现设计。

在基于泛型的桥梁模式实现中，由于基类变成泛型，实现了非入侵性或非插入式的绑定。

同时，基于静多态的实现代码数量也减小。

4 优点与缺点

基于泛型的桥梁模式具有以下优点：1）无需通过公共基类来表达接口的共性，更便于实现内建类型的集合；2）不通过指针进行间接调用，生成的代码效率较高；3）对于提供部分接口的具体类型也可以调用；4）静多态在编译期对所有的绑定操作进行检查，具有更好的类型安全性。其缺点是：1）不能优雅地处理异类集合；2）实现代码虽小，但可执行生成代码较大；具体实现中，可根据其优缺点进行选择。