创建型模式的最后一个内容是单例模式(singleton)
我相信很多人对单例模式都很熟悉,因为这个模式非常普遍。这里我也简单介绍一下。
意图
保证一个类仅有一个实例,并提供一个访问它的全局访问点。
结构图
单例模式的关键在于2点:
1. 构造函数是私有的,也就是说除了这个单例类本身其他人是不可以创建单例类对象的;
2. 有一个公有的静态函数(上图中的GetInst()函数),这个函数会且只会创建一个单例类的对象。
回想前面的抽象工厂模式,我们把CSnowSunFactory做成了一个单例类,如下:
class CSnowSunFactory: public CFactory
{
public:
virtual CComponent* MakeBackground()
{
return new CSnowBackground();
}
virtual CComponent* MakeGround()
{
return new CSnowGround();
}
virtual CWeather* MakeWeather()
{
return new CSunWeather();
}
static CSnowSunFactory& GetInst()
{
static CSnowSunFactory factory;
return factory;
}
private:
CSnowSunFactory(){}
};
从上面的代码里面我们可以看到构造函数是private的,public里面有一个静态函数static CSnowSunFactory& GetInst()。
那么怎么调用呢,很简单:
CSnowSunFactory& factory = CSnowSunFactory::GetInst();
就这么一行就可以获得单例类的对象,然后就可以使用它了。
下面我讲一下单例模式最最关键的函数,GetInst()(当然这个函数名字可以随自己喜欢,怎么命名都行,通常大家都喜欢用类似于GetInst()这种)。
一般来说有2种实现GetInst()函数的方式:
1. 使用静态变量
2. 在GetInst()里面动态分配内存来创建一个单例类对象。
上面的代码用的是静态变量的方式。
下面再看看第二种方式是怎么实现的。看代码:
class CSnowSunFactory: public CFactory
{
public:
virtual CComponent* MakeBackground()
{
return new CSnowBackground();
}
virtual CComponent* MakeGround()
{
return new CSnowGround();
}
virtual CWeather* MakeWeather()
{
return new CSunWeather();
}
static CSnowSunFactory* GetInst()
{
if (_factory == 0)
{
_factory = new CSnowSunFactory();
}
return _factory;
}
private:
static CSnowSunFactory* _factory;
CSnowSunFactory()
{
}
};
CSnowSunFactory* CSnowSunFactory::_factory = 0;
区别就是第二种方式有个一个静态数据成员,然后在GetInst()里面会动态创建一个单例类对象,并且把地址赋值给数据成员。
这2种方式都有人用。
最后我们强调一下使用单例模式的2个注意点:
1. 考虑当前调用者是多线程程序,GetInst()会不会并发。我们看看GetInst()里面的代码,上面2种方式的代码都不是原子操作,那么并发了会发生异常的。那么解决这个问题的一个简单的办法就是保证第一次调用GetInst()是不会并发的。比如我们可以在main()函数或者DllMain()里面先调用一把GetInst(),也就是在不会并发的时候先把单例对象给创建出来。这样以后调用GetInst()的时候,无论是不是并发,都不会再创建单例对象了。
2. 单例对象什么时候释放呢?哈哈,这个问题对于C#或者JAVA根本就无需考虑,因为C#和JAVA无需程序员去释放内存。那么对于C++,什么时候释放呢?对于第一种方式,因为是个静态变量,所以也无需释放。对于第二种方式,我相信很多人都没有考虑过这个问题。那么什么时候释放呢?当然第一个能想到的就是程序退出前,比方说main()函数的最后。但是这里有个问题,比方说,我们在程序的main()函数的最后一行来释放单例模式,这个是挺危险的。假如某些变量的析构函数里面用到了单例对象,而这个对象的析构函数是在释放单例对象的代码的后面才被调用, 那么这个时候析构函数里面就不能得到单例对象(因为已经被释放了),从而会产生一些异常。对于这个问题,其实没有一个好的解决办法。通常的做法就是不去主动释放单例对象,这个无非也就是一些内存泄漏,但是程序都已经退出了,这些内存泄漏也不会引起什么问题,所以,就不要考虑它了。泄漏就泄漏吧。那么再考虑第一种方式,这个静态单例对象什么时候会被释放呢,这个取决于系统。那么会不会发生,静态单例对象被释放了,但是还有其他代码在调用这个单例对象呢?对于特殊的代码,理论上是有,不过我相信绝大多数情况都不会碰到这个问题。
以上2点是我们在使用单例模式的时候需要注意的。但是我相信这2个问题绝大多数情况都不会引起什么问题。我们只需要注意这2点就可以了。