在面向对象程序设计过程中,有时会面临要创建大量相同或相似对象实例的问题。创建那么多的对象将会耗费很多的系统资源,它是系统性能提高的一个瓶颈。
例如,围棋和五子棋中的黑白棋子,图像中的坐标点或颜色,局域网中的路由器、交换机和集线器,教室里的桌子和凳子等。这些对象有很多相似的地方,如果能把它们相同的部分提取出来共享,则能节省大量的系统资源,这就是享元模式的产生背景。
一、定义与特点
享元(Flyweight)模式的定义:运用共享技术来有效地支持大量细粒度对象的复用。它通过共享已经存在的对象来大幅度减少需要创建的对象数量、避免大量相似类的开销,从而提高系统资源的利用率。
享元模式的主要优点是:相同对象只要保存一份,这降低了系统中对象的数量,从而降低了系统中细粒度对象给内存带来的压力。
其主要缺点是:
-
为了使对象可以共享,需要将一些不能共享的状态外部化,这将增加程序的复杂性。
-
读取享元模式的外部状态会使得运行时间稍微变长。
二、结构与实现
享元模式的定义提出了两个要求,细粒度和共享对象。因为要求细粒度,所以不可避免地会使对象数量多且性质相近,此时我们就将这些对象的信息分为两个部分:内部状态和外部状态。
- 内部状态指对象共享出来的信息,存储在享元信息内部,并且不回随环境的改变而改变;
- 外部状态指对象得以依赖的一个标记,随环境的改变而改变,不可共享。
比如,连接池中的连接对象,保存在连接对象中的用户名、密码、连接URL等信息,在创建对象的时候就设置好了,不会随环境的改变而改变,这些为内部状态。而当每个连接要被回收利用时,我们需要将它标记为可用状态,这些为外部状态。
享元模式的本质是缓存共享对象,降低内存消耗。
模式的结构
享元模式的主要角色有如下。
-
抽象享元角色(Flyweight):是所有的具体享元类的基类,为具体享元规范需要实现的公共接口,非享元的外部状态以参数的形式通过方法传入。
-
具体享元(Concrete Flyweight)角色:实现抽象享元角色中所规定的接口。
-
非享元(Unsharable Flyweight)角色:是不可以共享的外部状态,它以参数的形式注入具体享元的相关方法中。
-
享元工厂(Flyweight Factory)角色:负责创建和管理享元角色。当客户对象请求一个享元对象时,享元工厂检査系统中是否存在符合要求的享元对象,如果存在则提供给客户;如果不存在的话,则创建一个新的享元对象。
下图是享元模式的结构图,其中:
- UnsharedConcreteFlyweight 是非享元角色,里面包含了非共享的外部状态信息 info;
- Flyweight 是抽象享元角色,里面包含了享元方法 operation(UnsharedConcreteFlyweight state),非享元的外部状态以参数的形式通过该方法传入;
- ConcreteFlyweight 是具体享元角色,包含了关键字 key,它实现了抽象享元接口;
- FlyweightFactory 是享元工厂角色,它是关键字 key 来管理具体享元;
- 客户角色通过享元工厂获取具体享元,并访问具体享元的相关方法。
享元模式的实现代码如下:
#include <iostream>
#include <string>
#include <vector>
using namespace std;
// 非享元角色
class UnsharedConcreteFlyweight {
public:
UnsharedConcreteFlyweight(string info) {
this->info = info;
}
string getInfo() {
return info;
}
void setInfo(string info) {
this->info = info;
}
private:
string info;
};
// 抽象享元角色
class Flyweight{
public:
virtual void operation(UnsharedConcreteFlyweight *outState) {}
virtual string getIntrinsicState() {}
};
// 具体享元角色
class ConcreteFlyweight: public Flyweight {
public:
ConcreteFlyweight(string key) {
this->key = key;
cout << "具体享元" + key + "被创建!" << endl;
}
void operation(UnsharedConcreteFlyweight *outState) {
cout << "具体享元" + key + "被调用,";
cout << "非享元信息是:" + outState->getInfo() << endl;
}
string getIntrinsicState() {
return key;
}
protected:
string key;
};
// 享元工厂角色
class FlyweightFactory{
public:
FlyweightFactory() {}
Flyweight* GetFlyweight(const string& key) {
vector<Flyweight*>::iterator it = _fly.begin();
for (; it != _fly.end(); it++) {
// 找到了,就一起用,^_^
if ((*it)->getIntrinsicState() == key){
cout << "具体享元" + key + "已经存在,被成功获取!" << endl;
return *it;
}
}
Flyweight* fn = new ConcreteFlyweight(key);
_fly.push_back(fn);
// 返回具体享元
return fn;
}
private:
vector<Flyweight*> _fly;
};
int main()
{
// 客户端调用
FlyweightFactory *factory = new FlyweightFactory();
Flyweight *f01 = factory->GetFlyweight("a");
Flyweight *f02 = factory->GetFlyweight("a");
Flyweight *f03 = factory->GetFlyweight("a");
Flyweight *f11 = factory->GetFlyweight("b");
Flyweight *f12 = factory->GetFlyweight("b");
f01->operation(new UnsharedConcreteFlyweight("第1次调用a。"));
f02->operation(new UnsharedConcreteFlyweight("第2次调用a。"));
f03->operation(new UnsharedConcreteFlyweight("第3次调用a。"));
f11->operation(new UnsharedConcreteFlyweight("第1次调用b。"));
f12->operation(new UnsharedConcreteFlyweight("第2次调用b。"));
return 0;
}
程序运行结果如下:
具体享元a被创建!
具体享元a已经存在,被成功获取!
具体享元a已经存在,被成功获取!
具体享元b被创建!
具体享元b已经存在,被成功获取!
具体享元a被调用,非享元信息是:第1次调用a。
具体享元a被调用,非享元信息是:第2次调用a。
具体享元a被调用,非享元信息是:第3次调用a。
具体享元b被调用,非享元信息是:第1次调用b。
具体享元b被调用,非享元信息是:第2次调用b。
代码说明:享元模式在实现过程中主要是要为共享对象提供一个存放的"仓库"(对象池),这里是通过 C++ STL 中 Vector 容器。
另外应该注意的就是对对象"仓库"(对象池)的管理策略(查找、插入等),这里是通过直接的顺序遍历实现的,当然我们可以使用其他更加有效的索引策略,例如 Hash 表的管理策略,当然这些细节已经不是享元模式本身要处理的了。
三、应用实例
五子棋同围棋一样,包含多个“黑”或“白”颜色的棋子,所以用享元模式比较好。
- 棋子(ChessPieces)类是抽象享元角色,它包含了一个落子的 DownPieces(Graphics g, Point pt) 方法;
- 白子(WhitePieces)和黑子(BlackPieces)类是具体享元角色,它实现了落子方法;
- Point 是非享元角色,它指定了落子的位置;
- WeiqiFactory 是享元工厂角色,它通过 ArrayList 来管理棋子,并且提供了获取白子或者黑子的 getChessPieces(String type) 方法;
- 客户类(Chessboard)利用 Graphics 组件在框架窗体中绘制一个棋盘,并实现 mouseClicked(MouseEvent e) 事件处理方法,该方法根据用户的选择从享元工厂中获取白子或者黑子并落在棋盘上。
下图所示是其结构图:
程序代码如下:
#include <iostream>
#include <string>
#include <vector>
#include <QPoint>
using namespace std;
// 非享元角色:棋子所下的位置坐标
class Point {
public:
Point(int x, int y) {
this->x = x;
this->y = y;
}
int getX() {
return this->x;
}
int getY() {
return this->y;
}
private:
int x;
int y;
};
// 抽象享元角色:棋子
class ChessPieces {
public:
virtual void downPieces(Point pt) {} // 下子
protected:
string color;
};
// 具体享元角色:白子
class WhitePieces: public ChessPieces {
public:
void downPieces(Point pt) {
color = "white";
cout << "DownPieces: " << color << " " << pt.getX() << "," << pt.getY() << endl;
}
};
// 具体享元角色:黑子
class BlackPieces: public ChessPieces {
public:
void downPieces(Point pt) {
color = "black";
cout << "DownPieces: " << color << " " << pt.getX() << "," << pt.getY() << endl;
}
};
// 享元工厂角色
class FlyweightFactory{
public:
FlyweightFactory() {
ChessPieces *w = new WhitePieces();
vecFly.push_back(w);
ChessPieces *b = new BlackPieces();
vecFly.push_back(b);
}
// 返回抽象享元角色:棋子
ChessPieces* getChessPieces(const string& type) {
if (type == "w") {
return vecFly.at(0);
}
else if (type == "b") {
return vecFly.at(1);
} else {
return nullptr;
}
}
private:
vector<ChessPieces*> vecFly;
};
int main()
{
// 客户端调用
FlyweightFactory *factory = new FlyweightFactory();
ChessPieces *b1 = factory->getChessPieces("b");
ChessPieces *b2 = factory->getChessPieces("b");
ChessPieces *w1 = factory->getChessPieces("w");
ChessPieces *w2 = factory->getChessPieces("w");
b1->downPieces(Point(10, 20));
b2->downPieces(Point(30, 40));
w1->downPieces(Point(50, 60));
w2->downPieces(Point(70, 80));
return 0;
}
输出如下:
DownPieces: black 10,20
DownPieces: black 30,40
DownPieces: white 50,60
DownPieces: white 70,80
四、应用场景
当系统中多处需要同一组信息时,可以把这些信息封装到一个对象中,然后对该对象进行缓存,这样,一个对象就可以提供给多出需要使用的地方,避免大量同一对象的多次创建,降低大量内存空间的消耗。
享元模式其实是工厂方法模式的一个改进机制,享元模式同样要求创建一个或一组对象,并且就是通过工厂方法模式生成对象的,只不过享元模式为工厂方法模式增加了缓存这一功能。
前面分析了享元模式的结构与特点,下面分析它适用的应用场景。享元模式是通过减少内存中对象的数量来节省内存空间的,所以以下几种情形适合采用享元模式。
- 系统中存在大量相同或相似的对象,这些对象耗费大量的内存资源。
- 大部分的对象可以按照内部状态进行分组,且可将不同部分外部化,这样每一个组只需保存一个内部状态。
- 由于享元模式需要额外维护一个保存享元的数据结构,所以应当在有足够多的享元实例时才值得使用享元模式。
五、扩展
在前面介绍的享元模式中,其结构图通常包含可以共享的部分和不可以共享的部分。在实际使用过程中,有时候会稍加改变,即存在两种特殊的享元模式:单纯享元模式和复合享元模式,下面分别对它们进行简单介绍:
- 单纯享元模式,这种享元模式中的所有的具体享元类都是可以共享的,不存在非共享的具体享元类。
- 复合享元模式,这种享元模式中的有些享元对象是由一些单纯享元对象组合而成的,它们就是复合享元对象。虽然复合享元对象本身不能共享,但它们可以分解成单纯享元对象再被共享。
参考: