C++单例类拷贝/移动构造删除、调用原理及实现优化问询

问题背景 #

有一段声称实现单例的类代码，通过引用返回实例，但未删除拷贝/移动构造函数：

static SingletonTestClass& getInstance() {
    static SingletonTestClass handler;
    return handler;
}

该类有两种使用方式：

1. 赋值给局部变量后调用：

auto handler = SingletonTestClass::getInstance();
handler.someApi();

此场景会触发拷贝构造函数。
2. 直接链式调用成员函数：

SingletonTestClass::getInstance().someApi();

此场景不会触发拷贝构造函数，想了解内部原理。

另外，已将代码重构为以下形式，想知道是否有更优实现：

public:
static SingletonTestClass* getInstance() {
    static SingletonTestClass handler;
    return &handler;
}

/* Note: Do not provide copy/move semantics */
SingletonTestClass(const SingletonTestClass& ref) = delete;
SingletonTestClass(SingletonTestClass&& ref) = delete;
~SingletonTestClass() = default;

问题1：直接链式调用不触发拷贝的原理 #

getInstance()返回的是SingletonTestClass的左值引用，引用本质就是原对象的"别名"。直接调用.someApi()时，是在这个引用绑定的原对象（也就是静态局部变量handler）上直接执行成员函数，全程没有创建新对象的操作——既然不需要复制对象，自然不会触发拷贝构造函数。

而第一种写法里，auto handler = ...会让编译器推导handler的类型为SingletonTestClass（不是引用），这就会触发拷贝构造函数，把getInstance()返回的引用绑定的对象复制到局部变量handler中，相当于生成了一个新对象，直接破坏了单例的唯一性。

问题2：重构后的单例是否有更优方案 #

你当前的实现已经解决了核心问题：通过删除拷贝/移动构造函数阻止对象复制，同时利用C++11及以后静态局部变量的线程安全初始化特性，保证了单例的线程安全，是一个可行的实现方案。

不过还有几种更贴合现代C++风格的优化方向：

1. 回到引用返回+彻底禁用复制语义
   既然已经删除了拷贝/移动构造函数，完全可以回到最初的引用返回写法，同时额外删除赋值运算符，彻底阻断所有复制途径。这样调用方如果尝试写auto handler = getInstance()，编译器会直接报错，从根源上避免错误使用：

   public:
   static SingletonTestClass& getInstance() {
       static SingletonTestClass handler;
       return handler;
   }
   
   // 彻底禁用所有复制/移动操作
   SingletonTestClass(const SingletonTestClass&) = delete;
   SingletonTestClass(SingletonTestClass&&) = delete;
   SingletonTestClass& operator=(const SingletonTestClass&) = delete;
   SingletonTestClass& operator=(SingletonTestClass&&) = delete;
   ~SingletonTestClass() = default;
   

   这种写法就是业界公认的Meyers单例，是C++11以后最简洁、安全的轻量级单例实现。

2. 特殊场景下的进阶方案
   如果你需要手动控制初始化时机、或者在极端性能场景下优化，可以考虑用std::unique_ptr配合显式线程同步，但这种写法代码冗余度高，一般非必要不推荐——静态局部变量的初始化已经足够高效且线程安全。

内容的提问来源于stack exchange，提问作者meetanandkr