单实例设计模式的实现

今天中午看到一个面试题，是这样的，“怎样设计一个类，使其只能有一个实例”，知道设计模式的程序员可能很快就能解决这个问题，就是Singleton模式。这里我说说Singleton模式吧！

 

   单实例设可能是使用最广泛的设计模式。其思想意图是保证一个类只有一个实例，并且提供类对象的全程访问。单实例对象应用的范围很广：如GUI应用必须是单鼠标，MODEM的联接需要一条且只需要一条电话线，操作系统只能有一个窗口管理器，一台PC连一个键盘。本文将讨论如何用C++实现单实例模式，并解释如何优化单线程应用的设计。

设计方案

    使用全程对象能够保证方便地访问实例，但是不能保证只声明一个对象-也就是说除了一个全程实例外，仍然能创建相同类的本地实例。单实例模式通过类本身来管理其唯一实例，这种特性提供了问题的解决办法。唯一的实例是类的一个普通对象，但设计这个类时，让它只能创建一个实例并提供对此实例的全程访问。唯一实例类Singleton在静态成员函数中隐藏创建实例的操作。习惯上把这个成员函数叫做Instance()，它的返回值是唯一实例的指针。Singleton的定义如下：

class Singleton 
{
public:
static Singleton* Instance();
protected:
Singleton();
Singleton(const Singleton&);
Singleton& operator= (const Singleton&);
private:
static Singleton* pinstance;
};

   你还可以创建诸如Mouse，FileManager，Scheduler等为名字的类并声明相应的成员。为了保证用户不能创建类的本地实例，Singleton的构造器是赋值操作符，构造函数的副本被声明为protected。类中还声明了一个私有的静态实例指针。当第一次调用静态函数Instance()时，它创建唯一实例，将实例地址赋值给pinstance，然后返回这个地址。在每次并发调用中，Instance()也将只返回这个地址。

下面是类的实现：

Singleton* Singleton::pinstance = 0;// 初始化指针
Singleton* Singleton::Instance () 
{
if (pinstance == 0) // 是第一次调用吗?
{ 
pinstance = new Singleton; // 创建唯一实例
}
return pinstance; // 唯一实例的地址
}
Singleton::Singleton() 
{ 
//... 实现必要的实例初始化
}

    用户访问唯一实例的方法只有Instance()成员函数。如果不通过这个函数，任何创建实例的尝试都将失败，因为类的构造函数是被保护的。Instance()使用懒惰初始化，也就是说它返回的值是当这个函数被首次访问时被创建的。这是一种防弹设计-所有Instance()之后的调用都返回相同实例的指针：

Singleton *p1 = Singleton::Instance();
Singleton *p2 = p1->Instance();
Singleton & ref = * Singleton::Instance();

   虽然本文的例子针对的是单实例，但对Instance()稍加修改，这个设计模板便可适用于可变多实例情况。如一个类允许最多五个实例。

优化Singleton类，使之适用于单线程应用

   Singleton使用操作符new为唯一实例分配存储空间。因为new操作符是线程安全的，在多线程应用中你可以使用此设计模板。但是有一个缺陷：就是在应用程序终止之前必须手工用delete摧毁实例。否则，不仅导致内存溢出，还要造成不可预测的行为，因为Singleton的析构函数将根本不会被调用。而通过使用本地静态实例代替动态实例，单线程应用可以很容易避免这个问题。以下是与上面的Instance()稍有不同的实现，这个实现专门用于单线程应用：

Singleton* Singleton::Instance () 
{
static Singleton inst;
return &inst;
}

   本地静态对象实例inst是第一次调用Instance()时被构造，一直保持活动状态直到应用程序终止。指针pinstance变得多余并可以从类定义中删除掉。与动态分配对象不同，静态对象当应用程序终止时被自动销毁掉，所以就不必再手动销毁实例了。