题目:设计一个类,我们只能生成该类的一个实例。
分析:只能生成一个实例的类是实现了Singleton模式的类型。
由于设计模式在面向对象程序设计中起着举足轻重的作用,在面试过程中很多公司都喜欢问一些与设计模式相关的问题。在常用的模式中,Singleton是唯一一个能够用短短几十行代码完整实现的模式。因此,写一个Singleton的类型是一个很常见的面试题。
事实上,要让一个类型是能创建一个实例不是一件很难的事情。我们可以把该类型的构造函数设为private,这样该类型的用户就不能创建该类型的实例了。然后我们在给类型中创建一个静态实例。当用户需要该类型的实例时,我们就返回这个实例。基于这个思路,我们可以用C#写出如下代码:
// We can only get an instance of the class Singleton1. The instance
// is created when class Singleton1 is referenced at the first time
public sealed class Singleton1
{
private Singleton1()
{
}
private static Singleton1 instance = new Singleton1();
public static Singleton1 Instance
{
get
{
return instance;
}
}
}
由于类Singleton1 的实例是一个静态变量,因此它会在该类型的第一次引用的时候被创建,而不是第一次在调用Singleton1.get_Instance的时候被创建。如果我们此时并不需要该实例,那么我们就过早地初始化该实例,无论在内存空间还是CPU时间上都是一种浪费。
我们可以把上面的代码稍作改动,就能实现在第一次调用Singleton_getInstance时候才会创建类型的唯一实例:
// We can only get an instance of the class Singleton2.
// The instance is created when we need it explicitly.
public sealed class Singleton2
{
private Singleton2()
{
}
private static Singleton2 instance = null;
public static Singleton2 Instance
{
get
{
if (instance == null)
instance = new Singleton2();
return instance;
}
}
}
我们在单线程环境下只能得到类型Singleton2的一个实例,但在多线程环境下情况就可能不同了。设想如果两个线程同时运行到语句if (instance == null),而此时该实例的确没有创建,那么两个线程都会创建一个实例。此时,类型Singleton2就不在满足模式Singleton的要求了。
为了保证在多线程环境下我们还是只能得到类型的一个实例,我们应该在判断实例是否已经创建,以及在实例还没有创建的时候创建一个实例的语句上加一个同步锁。我们把Singleton2稍作修改就得到了如下代码:
// We can only get an instance of the class Singleton3,
// even when there are multiple threads which are trying
// to get an instance concurrently.
public sealed class Singleton3
{
private Singleton3()
{
}
private static readonly object syncObj = new object();
private static Singleton3 instance = null;
public static Singleton3 Instance
{
get
{
lock (syncObj)
{
if (instance == null)
instance = new Singleton3();
}
return instance;
}
}
}
说明一下,由于C/C++没有为线程同步提供直接的支持。为了让代码显得简洁,而不是让大量的代码在实现同步锁而偏离了实现Singleton的主题,本文的代码用C#实现。
我们还是假设有两个线程同时想创建一个实例。由于在一个时刻只能有一个线程能得到同步锁。当第一个线程加上锁时,第二个线程只能在等待。当第一个线程发现实例还没有创建时,它创建出一个实例。接着第一个线程释放同步锁。此时第二个线程可以加上同步锁,并运行接下来的代码。由于此时实例已经被第一个线程创建出来了,第二个线程就不会重复创建实例了。于是保证了我们只能得到一个实例。
但是类型Singleton3还不是完美。由于我们每次调用Singleton3.get_Instance的时候,都会试图加上一个同步锁。由于加锁是一个非常耗时的操作,在没有必要的时候我们应该尽量避免这样的操作。
实际上,我们只是在实例还没有创建之前需要加锁操作,以保证只有一个线程创建出实例。而当实例已经创建之后,我们已经不需要再做加锁操作了。于是,我们可以把上述代码再作进一步的改进:
// We can only get an instance of the class Singleton4,
// even when there are multiple threads which are trying
// to get an instance concurrently. When the instance has
// been created, we don't need the lock any more.
public sealed class Singleton4
{
private Singleton4()
{
}
private static object syncObj = new object();
private static Singleton4 instance = null;
public static Singleton4 Instance
{
get
{
if (instance == null)
{
lock (syncObj)
{
if (instance == null)
instance = new Singleton4();
}
}
return instance;
}
}
}
我们只需要在最开始调用Singleton4_getInstance(可能来自一个线程,也可能来自多个线程)的时候需要加锁。当实例已经创建之后,我们就不再需要作加锁操作,从而在后续调用Singleton4_getInstance时性能得到提升。
关于第一种写法的更多,请参考http://en.wikipedia.org/wiki/Double-checked_locking。站在面试的角度,本文的分析已经足够应付。但如果想展示更多对多线程编程的理解,更深入地了解这个问题总是有益的。
本文已经收录到《剑指Offer——名企面试官精讲典型编程题》一书中,有改动,书中的分析讲解更加详细,增加了一种按需分配内存的方法。欢迎关注。
博主何海涛对本博客文章享有版权。网络转载请注明出处http://zhedahht.blog.163.com/。整理出版物请和作者联系。