C++：模板和单例模式

Question

碰巧我需要臭名昭著的单例模式。更好的是，它发生了，所以我需要臭名昭著的 C++ 模板与该模式的结合。所以，令我困扰的是：

template <class T>
class PDatabaseTable
{
    ...

    static PDatabaseTable <T> & instance()
    {
        static PDatabaseTable <T> singleton;
        return singleton;
    }

    ...
};

这是实现单例的典型方法，该单例应该在第一次使用时创建。现在，我们有一个静态变量singleton。由于 instance() 函数可能会从多个不同的模块调用，因此问题是：对于任何给定类型 T 是否只有一个对象实例，还是每个模块实例化它自己的单例？

Answer 1

每种类型 T 都只有一个实例，就像如果它不是模板，就只有一个实例一样。

该函数是内联的，这意味着虽然它可以在多个编译单元中定义，但链接后将只有一个版本，并且任何本地静态对象都只有一个实例。

Answer 2

您的单例称为 Meyers Singleton，您可以在 G++ 中的静态局部变量和线程安全 文章很好地解释了静态局部变量如何线程安全地创建。

Answer 3

肯定会有只有一个实例。

我只是想知道为什么不能将静态对象从函数中移到类主体中？

template <class T>
class PDatabaseTable
{
  static PDatabaseTable <T> singleton;
  static PDatabaseTable <T> & instance()
  {
    return singleton;
  }
};
template<class T>
PDatabaseTable<T> PDatabaseTable<T>::singleton;

Answer 4

您可以将 static 的 init 移到类体之外，这对于 static 函数也是可能的。

template <typename T>
class Singleton
{
public:
  static Singleton<T>* Singleton::getInstance();
  T* getMember() { member_; }
protected:
  Singleton() { member_ = new T; }
  ~Singleton() { if (singleton_) delete member_; }
private:
  static Singleton<T>* singleton_;
  T* member_;
};
template <typename T>
Singleton<T>* Singleton<T>::getInstance()
{
  if (NULL == singleton_) singleton_ = new Singleton;
  return singleton_;
}
template <typename T>
Singleton<T>* Singleton<T>::singleton_ = NULL;