std::call_once + static local variable是最安全的单例实现方式，因C++11保证其线程安全、仅执行一次、无内存重排序问题，且比DCLP更简洁可靠。
为什么 std::call_once + static local variable 是最安全的写法
因为 C++11 起，static 局部变量的初始化已被标准保证为线程安全且仅执行一次，连锁都不用加。比手写双重检查锁（DCLP）更简洁、更可靠，也避免了内存重排序问题。
常见错误现象：pthread_once 或自旋锁手写单例，在多线程首次调用时仍可能触发多次构造；或用了 volatile 却没解决指令重排，导致返回未完全构造的对象指针。
- 使用场景：需要全局唯一实例、延迟初始化、且要求线程安全（如日志器、配置管理器）
- 不要用
new配合裸指针 + 手动delete—— 容易内存泄漏或析构时机失控 - 不要在构造函数里调用其他单例（容易引发静态初始化顺序惨案）
- 如果必须返回指针（比如要继承或多态），用
static局部引用再取地址，而不是直接返回局部对象地址（生命周期不对）
示例：
class Logger {
public:
static Logger& instance() {
static Logger inst; // C++11 guaranteed thread-safe init
return inst;
}
private:
Logger() = default; // 防止外部构造
Logger(const Logger&) = delete;
Logger& operator=(const Logger&) = delete;
};
什么时候必须用 std::shared_ptr 管理单例生命周期
当单例对象需要被多个模块持有、但又不能确定谁先退出、谁后析构时，裸指针或静态对象都可能出问题——比如 DLL 卸载时静态对象已销毁，而某处还存着它的指针，一访问就崩。
立即学习“C++免费学习笔记（深入）”；
使用场景：插件系统、跨 DLL 边界共享服务、或需支持“按需创建 + 自动释放”的轻量级单例（比如某个工具类只在特定工作流中存在）。
-
std::shared_ptr本身不是单例，但它能帮你把单例的生命周期从“程序启动到结束”放宽到“最后一个引用消失” - 注意：不能直接对静态局部变量做
shared_ptr::reset()，会破坏单例语义；应另起一个静态shared_ptr变量来托管 - 性能影响：每次获取实例都要原子增减引用计数，高频调用路径下可测出微小开销，但通常远小于锁竞争
简例：
static std::shared_ptr<Database> db_instance;
std::shared_ptr<Database> getDatabase() {
if (!db_instance) {
static std::mutex mtx;
std::lock_guard<std::mutex> lock(mtx);
if (!db_instance) {
db_instance = std::make_shared<Database>();
}
}
return db_instance;
}
~Singleton() 在 main() 结束后不执行？查这三处
静态局部变量的析构确实发生在 main() 返回之后、全局对象析构期间，但如果你发现析构函数根本没被调用，大概率是以下原因：
- 程序调用了
std::exit()或_Exit()—— 它们跳过所有局部静态对象的析构 - 单例内部持有
std::thread且未join()或detach()，导致析构时std::thread的 destructor 抛异常（默认终止程序） - 在
atexit()注册的函数里访问了该单例，而此时静态对象已开始析构，行为未定义
兼容性注意：Windows 下 DLL 中的静态局部变量析构顺序不可靠，Linux 的 .so 同样受 dlclose() 影响；跨模块单例尽量避免依赖析构逻辑。
单例和单元测试冲突？别 mock 指针，mock 接口
硬编码 Singleton::instance() 调用会让测试无法注入模拟实现。但直接把单例改成可配置指针（比如传参或 setter）又破坏了单例本意。
真正可行的做法是：让业务代码依赖抽象接口，单例只负责提供该接口的具体实现。
- 定义纯虚接口
ILogger，单例类FileLogger继承它，Logger::instance()返回ILogger& - 测试时用
MockLogger替换整个单例的底层实现（通过修改静态变量或链接期替换） - 不要试图在测试里“重置”单例状态——静态变量生命周期跨测试用例，容易污染；应在每个测试前确保单例尚未初始化（如用
std::atomic<bool></bool>标记）
关键点在于：单例控制的是“如何创建”，不是“谁来调用”。把创建逻辑和使用逻辑解耦，才不会让测试变成一场灾难。
最容易被忽略的是静态初始化顺序：两个不同编译单元里的单例，若互相依赖，C++ 标准不保证初始化先后。哪怕用了 std::call_once，也无法绕过这一限制。
