”对象性能“模式:解决对象创建代价问题
1. 单件模式
- 在整个系统中保证只存在一个实例。
- 构造函数和拷贝构造函数设置为private。
- getInstance不是多线程安全的,可能出现对象被创建多个的情况。
- 双检查锁,在lock的前后判断m_instance是否为空。因为可能多个线程都走进到m_instance==nullptr分支,所以之后每个线程在获得锁之后要再次判断m_instance==nullptr,来确保m_instance不会被重复实例化。但可能出现内存读写reorder问题,在经过编译器优化后,实例化Singleton可能不是按照分配空间、构造和地址赋值给指针的顺序进行的,而是按照分配空间、指针赋值、构造这三个步骤,当一个线程执行到指针赋值后,如果有另一个线程进来判断m_instance指针不为空,直接返回m_instance,并直接使用这个指针,那就会发生错误,因为第一个线程还没有执行构造器,所以这时双检查锁也就是失效了。解决办法,将变量声明为volatile防止编译器优化代码。
- c++11后跨平台实现,屏蔽编译器对内存的reorder
std::atomic<Singleton*> Singleton::m_instance;
Singleton* tmp = m_instance.load(std::memory_order_relaxed); //取变量。
std::atomic_thread_fence(std::memory_order_acquire); //获取内存屏障fence
std::atomic_thread_fence(std::memory_order_release);
//释放内存fence
m_instance.store(tmp, std::memory_order_relaxed); //tmp存储到
- 构造器声明为private。
- 一般不支持拷贝构造和clone,因为违背单件模式的初衷。
- 注意多线程安全下的实现。
2. 享元模式
- 支持大量细粒度的对象。
- 维护一个map,对map中没有的对象进行创建。
- map中的对象是只读的。
“状态变化”模式
1. 状态模式
- 通过扩展子类,来添加进状态。
- 解决状态转化问题,当有if...else时,可以转换成此方法。
- 与策略模式相似。
2. 备忘录模式
- 在状态转化时,还原到某一个状态。
- 用原发器创建备忘录,保存。
eg. 时间紧迫,暂时只能写这么多了。
网友评论