C++11线程安全单例疑问：shared_ptr方案及静态指针安全性

一、返回std::shared_ptr的单例方案是否可行？有无漏洞？ #

这个方案可以解决原单例的析构顺序问题，但存在一些需要注意的细节：

可行的核心原因 #

原方案中，块作用域静态单例对象sObject的析构顺序早于全局/静态调用者，导致调用者析构时访问已销毁的单例。而返回std::shared_ptr的方案利用了引用计数机制：只要有任何shared_ptr实例持有单例对象，该对象就不会被析构。即使静态的sp本身在程序后期析构，只要调用者持有shared_ptr副本，单例对象就会存活到最后一个shared_ptr销毁时，避免了悬空访问问题。

存在的漏洞/注意点 #

1. 极端场景下的内存泄漏：如果new singleton成功，但std::shared_ptr的控制块分配失败（比如内存耗尽），此时new出来的单例对象会因为没有指针持有而泄漏。不过这种场景在实际开发中几乎不会遇到。
2. 析构时机不可控：单例对象的析构完全由shared_ptr的引用计数决定，若出现循环引用（比如单例持有某个全局对象的shared_ptr，该对象又持有单例的shared_ptr），会导致单例永远无法析构，造成资源泄漏。
3. 接口混用风险：如果保留原有的裸指针接口GetInstance()，调用者可能拿到裸指针后手动delete，而shared_ptr也会尝试释放对象，导致双重释放。解决办法是将单例的析构函数设为私有，并把std::shared_ptr设为友元，禁止外部手动销毁对象：

class singleton
{
    // ... 原有成员 ...
    ~singleton(){} // 私有析构
    friend class std::shared_ptr<singleton>; // 允许shared_ptr访问析构
};

二、static singleton *sp(new singleton); return sp;是否线程安全？为何少见？ #

线程安全性 #

在C11及之后的标准中，这段代码是线程安全的。因为C11明确规定，块作用域的静态变量（包括指针类型）的初始化是线程安全的：只会有一个线程执行初始化逻辑，其他线程会等待初始化完成后再访问该变量。

为何少见的原因 #

1. 必然的内存泄漏：静态指针sp指向的单例对象永远不会被delete，程序退出时操作系统会回收内存，但单例的析构函数永远不会执行。如果单例需要在析构时释放资源（比如关闭文件、清理缓存、写入日志），这种写法会导致资源泄漏或状态不一致。
2. 不符合RAII原则：C++推崇RAII（资源获取即初始化），这段代码手动new却没有对应的资源释放逻辑，属于不规范的写法，书籍和示例通常会优先推荐符合RAII的实现。
3. 析构顺序问题未解决：虽然对象不会被析构，但如果单例的内部状态依赖于其他全局对象的存活状态，当其他全局对象先析构后，单例的功能可能会异常，而这种写法无法处理这类依赖问题。

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