设计模式之单例模式(二): 心得体会

设计模式之单例模式(一)-CSDN博客

1.背景

2.分析

2.1.违背面向对象设计原则，导致职责混乱

2.2.全局状态泛滥，引发依赖与耦合灾难

2.3.多线程场景下风险放大，性能与稳定性受损

2.4.测试与维护难度指数级上升

2.5.违背 “最小知识原则”，代码可重用性极低

3.总结

1.背景

最新在做一个老项目的维护，里面对类的调用全部都是用的单例模式，我抽取了其中某一个类CTargetShowWidget，它的单实例模型关键部分代码如下：

//TargetShowWidget.h
class CTargetShowWidget : public QWidget
{
private:
    CTargetShowWidget(QWidget *parent = nullptr);

public:
    ~CTargetShowWidget();
    static  CTargetShowWidget*  getInstance();

private:
    static CTargetShowWidget* m_pTargetShowWidget;
};

//TargetShowWidget.cpp
CTargetShowWidget* CTargetShowWidget::m_pTargetShowWidget = NULL;

CTargetShowWidget*  CTargetShowWidget::getInstance()
{
    if (!m_pTargetShowWidget){
        m_pTargetShowWidget = new CTargetShowWidget(NULL);
    }
    return m_pTargetShowWidget;
}

初看好像没有什么问题，逻辑都是对的；但是细细品味，里面有几个关键的问题我们来一一说明。

2.分析

在程序中所有类都使用单实例模式（单例模式）会带来一系列设计和工程上的问题，违背面向对象设计的核心原则，严重影响代码的可维护性、扩展性和健壮性。

2.1.违背面向对象设计原则，导致职责混乱

1.单一职责原则被破坏

单例模式的核心是 “管理实例生命周期”+“实现业务逻辑”，二者强耦合在一个类中。当所有类都采用单例时，每个类不仅要处理自身业务，还要承担 “全局唯一实例” 的管理逻辑（如线程安全、实例销毁等），导致类的职责膨胀，代码复杂度飙升。

例：一个负责 “日志记录” 的单例类，本应专注于日志写入，却需要额外处理实例创建的线程同步逻辑，代码可读性和维护性下降。

2.开闭原则（扩展性）受损

单例模式通常通过 “私有化构造函数” 限制实例创建，这使得类难以被继承（子类无法调用父类私有构造函数），也无法在不修改原代码的前提下扩展功能（如创建单例的子类实例）。当所有类都被单例 “锁定” 时，后续需求变更（如需要多实例、子类扩展）会被迫修改底层代码，违反 “对扩展开放，对修改关闭” 的原则。

2.2.全局状态泛滥，引发依赖与耦合灾难

1.强耦合形成 “全局依赖网”

单例本质是 “全局变量的封装”，所有类的实例都是全局可访问的（通过静态接口获取），这会导致程序中充满隐性依赖—— 类 A 直接调用类 B 的单例实例，而类 B 可能又依赖类 C 的单例，形成复杂的 “全局依赖网”。

问题：依赖关系难以梳理，修改某个单例的接口或生命周期（如延迟初始化改为饿汉式），可能引发整个系统的连锁反应，调试时难以定位依赖源头。

2.内存与资源浪费，生命周期不可控

单例的实例通常在程序启动后长期存在（除非程序退出），即使某些类的功能在特定场景下才会使用。当所有类都是单例时，即使程序只用到 10% 的功能，也需要提前创建或保持 100% 的单例实例，导致内存占用过高，尤其对资源敏感的场景（如嵌入式、移动端）影响显著。

例：一个仅在用户点击 “设置” 时才用到的 “配置管理单例”，却在程序启动时就被创建，闲置内存直到程序结束。

3.全局状态破坏 “数据封装”

面向对象的核心是 “封装数据，暴露接口”，但单例的全局实例允许任何模块直接调用其方法、修改其状态，导致数据一致性难以保证（如多个模块同时修改单例的成员变量，引发竞态条件）。这种 “无边界的访问” 让程序变成 “不可控的全局状态机”，调试时难以追踪状态变化的源头。

4.内存泄露

如上面的代码肯定会出现内存泄露的。尤其是在动态库(如 Linux 下的 .so、Windows 下的 .dll)中写这样的类，因为动态库可以动态加载。当用dlopen加载动态库，然后调用CTargetShowWidget::getInstance()获取指针，用 dlclose卸载动态库时，CTargetShowWidget::getInstance()中new的内存是不会自动释放的，如果程序中不停的加载和卸载此动态库，加载过程中一直不停的分配内存，而卸载时候没有释放，这些内存会一直被进程占用，导致泄漏。

2.3.多线程场景下风险放大，性能与稳定性受损

1.线程安全成本激增

为保证单例在多线程环境下的唯一性，通常需要加锁（如 C++ 的std::mutex、Java 的synchronized）或使用原子操作。当所有类都是单例时，每个单例都可能成为线程竞争的 “锁热点”—— 尤其是频繁被调用的单例，加锁 / 解锁操作会带来显著的性能损耗，甚至引发死锁（若多个单例的锁顺序不一致）。

对比：非单例的普通类可通过 “局部变量” 或 “依赖注入” 在线程内独立使用，避免全局锁竞争。

2.销毁顺序与资源释放问题

单例的生命周期与程序一致，但其成员变量（如动态分配的内存、文件句柄、网络连接等）需要在程序退出时正确释放。当存在多个相互依赖的单例时，它们的销毁顺序无法保证（如单例 A 依赖单例 B 的数据，但若 B 先被销毁，A 销毁时可能访问到无效数据），导致崩溃或资源泄漏。

这种问题在 C++ 等没有自动垃圾回收的语言中尤为突出，即使在 Java 中，静态单例的销毁顺序也难以控制。

2.4.测试与维护难度指数级上升

1.单元测试无法隔离，结果不可靠

单例的全局状态会导致测试用例之间互相污染 —— 例如：

测试用例 1 修改了单例 A 的状态，测试用例 2 执行时依赖 A 的 “初始状态”，却拿到了被修改后的状态，导致测试失败。
无法模拟 “不同场景下的实例状态”，因为单例只有一个实例，难以注入测试数据（如模拟异常状态的单例）。
解决方式通常需要 “重置单例状态” 的额外接口，但这会进一步破坏封装性，且增加代码复杂度。

2.依赖注入失效，代码灵活性丧失

现代开发中，依赖注入（DI）是解耦的核心手段（如通过构造函数注入依赖的实例），但单例模式通过 “静态方法” 自我创建，无法被外部依赖替换（如单元测试时用 mock 对象替代真实单例）。当所有类都是单例时，程序完全丧失 “依赖替换” 的能力，只能硬编码依赖关系，难以适应需求变化（如切换底层实现、对接不同接口）。