通用Meyers单例在C++中的实现

Question

这是C++17中通用Meyers Singleton的正确实现吗？任何小费都会得到赏识。

Singleton.h

#ifndef SINGLETON_H
#define SINGLETON_H

template<class T>
class Singleton
{
public:
    
    static T& get()
    {
        static T obj;
        return obj;
    }

protected:

    Singleton() = default;
    virtual ~Singleton() = default;
    Singleton(const Singleton&) = delete;
    Singleton(Singleton&&) = delete;
    Singleton& operator=(const Singleton&) = delete;
    Singleton& operator=(Singleton&&) = delete;

};

#endif

MySingleton.h

#ifndef MYSINGLETON_H
#define MYSINGLETON_H

class MySingleton : public Singleton<MySingleton>
{
    friend class Singleton<MySingleton>;

public:

    // public members

private:
    
    MySingleton() {};
    ~MySingleton() {};

};

#endif

Answer 1

概述

我不确定这能给你带来什么积蓄。

它是一个静态函数，并确保不能复制/移动对象。

有一些问题，使用模板来实现这一点，因为我已经尝试了完全相同的以前。如果这是一个单独的应用程序，那么就找到了，但是如果您开始使用共享库，那么您可能会遇到一些T实例的问题，因为每个共享库中都有一个没有被删除的唯一版本的get()。

代码评审

不是独一无二的。

#ifndef SINGLETON_H
#define SINGLETON_H

将代码放在名称空间中，并添加名称空间包含守卫。

提前阅读，它看起来只会工作，因为您假设T是从Singleton继承的，因此确保禁用了所有的复制/移动语义。

    static T& get()
    {
        static T obj;
        return obj;
    }

但是您的get()方法没有验证这一点。所以我可以用任何东西来调用这个方法，并得到一个引用，一个不是信号的东西。

    std::string myString = Singleton::get<std::string>();

您可以通过使用static_assert确保类正确工作。

    static T& get()
    {
        static_assert(std::derived_from<Singelton, T> == true);

        static T obj;
        return obj;
    }