一、背景
面向对象技术可以很好地解决一些灵活性或可扩展性问题,但在很多情况下需要在系统中增加大量相似对象的个数,从而导致运行代价过高,带来性能下降等问题。解决这种由于大量相似对象造成的运行性能差的问题,最好的方法就是运用共享技术支持支持对象的复用,从而节约内存空间,提高系统性能。
二、模式定义
运用共享技术有效地支持大量细粒度对象的复用,享元模式的核心就是复用。系统只使用少量的对象,而这些对象都很相似,状态变化很小,可以实现对象的多次复用。由于享元模式要求能够共享的对象必须是细粒度对象,因此它又称为轻量级模式,它是一种对象结构型模式。
模式解析
- 享元模式的核心是复用已经存在的对象,减少了new的次数。
- 支持大量细粒度对象的复用,从而节约内存空间,提高系统性能,细粒度对象指的是“相似度高、状态变化小”。
- 复用的对象有粒度之分,分为两种:
(1) 一种是复用整个享元对象,比如线程池、java字符串等,最终减少了对象创建和销毁的次数。
(2)一种是将享元对象拆分为不变的内部状态和可变的外部状态,从而最大限度的复用其内部状态,极大地减少了 享元对象的个数。
内部状态和外部状态
- 内部状态存储于对象内部。
- 内部状态可以被一些对象共享。
- 内部状态独立于具体的场景,通常不会改变。
- 外部状态取决于具体的场景,并根据场景而变化,外部状态不能被共享。
三、模式角色和UML类图
抽象享元类(Flyweight): 通常是接口或抽象类,抽象享元类中声明了具体享元类公共方法,这些方法可以向外界提供享元对象的内部数据(内部状态),同时也可以通过这些方法来设置外部数据(外部状态),
具体享元类(ConcreteFlyweight): 继承抽象享元类,在具体享元类中为内部状态提供存储空间。通常可以结合单例模式来设计具体享元类,为每一个具体享元类提供唯一的享元对象。
非共享具体享元类(UnsharedConcreteFlyweight):并不是所有的具体享元类都需要被共享,不能被共享的子类可以设计为非共享具体享元类,当需要一个非共享具体享元类的对象时可以直接通过实例化创建。
享元工厂类(FlyweightFactory):创建并管理享元对象,将各种具体享元类存储到一个享元池中,享元池一般为“键值对”集合,可以结合工厂模式进行设计。当用户请求一个具体享元对象时,享元池中如果保存的有就直接返回给用户,如果没有就创建该享元对象返回给用户并存储到享元池中。
从UML图中可以看出,享元模式中有一个类似工厂模式的对象构造工厂FlyweightFactory,当客户程序员(Client)需要一个对象时候就会向 FlyweightFactory 发出请求对象的消息 getFlyweight()消息,FlyweightFactory 拥有一个管理、存储对象的"仓库"(或者叫对象池,vector/stack/list 实现),getFlyweight()消息会遍历对象池中的对象,如果已经存在则直接返回给 Client,否则创建一个新的对象返回给 Client。当然可能也有不想被共享的对象(例如结构图中的UnshareConcreteFlyweight),但不在本模式的讲解范围,故在实现中不给出。
代码示例
对Java语言有些许了解的人都应该知道,Java中的字符串String类型就是使用了享元模式。String对象是final类型,对象一旦创建就不可改变。在JAVA中字符串常量都是存在常量池中的,JAVA会确保一个字符串常量在常量池中只有一个拷贝。String a=“abc”,其中"abc"就是一个字符串常量。这里来模拟实现一个类似的机制,如下:
#include<iostream>
#include<string>
#include<map>
using namespace std;
/* 抽象享元类 */
class Flyweight {
public:
virtual void operation() = 0;
};
/* 具体享元类 */
class ConcreteFlyweight:public Flyweight {
private:
string str;
public:
ConcreteFlyweight(string str) {
this->str = str;
}
void operation() {
cout << "Concrete---Flyweight : " << str << endl;
}
};
/* 享元工厂类 */
class FlyweightFactory {
private:
map<string, Flyweight*> flyweights;
public:
FlyweightFactory(){}
Flyweight* getFlyWeight(string obj) {
Flyweight *flyweight = NULL;
if (flyweights.count(obj) == 0) { //资源池中无对象的时候才创建对象,有的话就直接返回
flyweight = new ConcreteFlyweight(obj);
flyweights.insert(pair<string, Flyweight*>(obj, flyweight));
}
return flyweights[obj];
}
int getFlyweightSize() {
return flyweights.size();
}
};
int main() {
FlyweightFactory *factory = new FlyweightFactory();
Flyweight *fly1 = factory->getFlyWeight("Google");
Flyweight *fly2 = factory->getFlyWeight("Qutr");
Flyweight *fly3 = factory->getFlyWeight("Google");
Flyweight *fly4 = factory->getFlyWeight("Google");
Flyweight *fly5 = factory->getFlyWeight("Google");
Flyweight *fly6 = factory->getFlyWeight("Google");
fly1->operation();
fly2->operation();
fly3->operation();
fly4->operation();
fly5->operation();
fly6->operation();
cout << "objSize = "<< factory->getFlyweightSize() << endl;
return 0;
}
四、模式总结
适用场景
- 一个系统有大量相同或者相似的对象,由于这类对象的大量使用,造成内存的大量耗费。
- 对象的大部分状态都可以外部化,可以将这些外部状态传入对象中。
- 使用享元模式需要维护一个存储享元对象的享元池,而这需要耗费资源,因此,应当在多次重复使用享元对象时才值得使用享元模式。
例如:享元模式在编辑器软件中大量使用,如在一个文档中多次出现相同的图片,则只需要创建一个图片对象,通过在应用程序中设置该图片出现的位置,可以实现该图片在不同地方多次重复显示。
优点
- 享元模式的优点在于它可以极大减少内存中对象的数量,使得相同对象或相似对象在内存中只保存一份。
缺点
- 享元模式使得系统更加复杂,需要分离出内部状态和外部状态,这使得程序的逻辑复杂化。
- 为了使对象可以共享,享元模式需要将享元对象的状态外部化,而读取外部状态使得运行时间变长。