C++行为型模式-实现观察者模式

一、观察者模式基本概念

1.1 观察者模式的动机

建立一个对象与对象之间的依赖关系，一个对象发生改变时，将自动通知其他对象，其他对象将相应做出反应。在此，发生改变的对象称为观察目标，被通知的对象称为观察者，一个观察目标可以对应多个观察者，观察者之间没有相互联系。

1.2 观察者模式定义

定义对象间的一种一对多依赖关系，使得每当一个对象状态发生改变时，其相关依赖的对象皆得到通知并被自动更新。

当一个对象发生了变化，关注它的对象就会得到通知；这种交互也称为发布-订阅(publish-subscribe)。

观察者模式又叫发布-订阅模式、模型-视图模式。

1.3 观察者模式角色

（1）抽象目标（Subject）角色：抽象目标角色提供维护一个观察者对象集合的操作方法，对集合的增加、删除等。
（2）具体目标（ConcreteSubject）角色：将有关状态存入具体的观察者对象；在具体主题的内部状态改变时，给所有登记过的观察者发通知。具体主题角色负责实现抽象主题中的方法。
（3）抽象观察者（Observer）角色：为具体观察者提供一个更新接口。该接口声明了更新数据的方法。
（4）具体观察者（ConcreteObserver）角色：存储具体观察者的有关状态，这些状态需要和具体目标的状态一致，实现抽象观察者提供的更新接口。

1.4 观察者模式的优缺点

优点：

（1）可以实现表示层与数据逻辑层的分离；

（2）观察者模式支持广播通信，观察目标会向所有的注册的观察者发出通知，简化了一对多系统的设计难度；

（3）符合“开闭原则”，增加新的具体观察者无须修改原有的系统代码。

缺点：

如果一个观察目标对象有很多直接或间接的观察者，将所有的观察者都通知会花费很多时间。

1.5 工作原理

观察者模式按照以下方式进行协作：

1. 当ConcreteSubject(具体目标)发生任何可能导致其观察者与其本身状态不一致的改变时，它将通知它的各个观察者；
2. 在得到一个具体目标的改变通知后，ConcreteObserver（具体观察者）对象可向目标对象查询信息。ConcreteObserver使用这些信息以使它的状态与目标对象的状态一致。

 1.6 应用场景

日志备份系统

二、观察者模式代码实现

2.1 c++实现观察者基本用法

#include <iostream>
#include <list>
using namespace std;
 
/*抽象观察者*/
class Observer
{
public:
    virtual void Update(int) = 0;
};
 
/*抽象目标*/
class Subject
{
public:
    virtual void Attach(Observer *) = 0;  //附加观察者
    virtual void Detach(Observer *) = 0; //移除观察者
    virtual void Notify() = 0; //通知观察者
};
 
/*具体观察者*/
class ConcreteObserver : public Observer
{
public:
    ConcreteObserver(Subject *pSubject) : m_pSubject(pSubject){}
 
    void Update(int value)
    {
        cout << "ConcreteObserver get the update. New State:" << value << endl;
    }
 
private:
    Subject *m_pSubject;
};
 /*具体观察者2*/
class ConcreteObserver2 : public Observer
{
public:
    ConcreteObserver2(Subject *pSubject) : m_pSubject(pSubject){}
 
    void Update(int value)
    {
        cout << "ConcreteObserver2 get the update. New State:" << value << endl;
    }
 
private:
    Subject *m_pSubject;
};
 
/*具体目标*/
class ConcreteSubject : public Subject
{
public:
    void Attach(Observer *pObserver);
    void Detach(Observer *pObserver);
    void Notify();
 
    void SetState(int state)
    {
        m_iState = state;
    }
 
private:
    std::list<Observer *> m_ObserverList;//观察者列表
    int m_iState;
};
 
//附加观察者
void ConcreteSubject::Attach(Observer *pObserver)
{
    m_ObserverList.push_back(pObserver);
}
 
//移除观察者
void ConcreteSubject::Detach(Observer *pObserver)
{
    m_ObserverList.remove(pObserver);
}
 
//通知观察者
void ConcreteSubject::Notify()
{
    std::list<Observer *>::iterator it = m_ObserverList.begin();
    while (it != m_ObserverList.end())
    {
        (*it)->Update(m_iState);
        ++it;
    }
}
 
int main()
{
    // Create Subject  目标实例化
    ConcreteSubject *pSubject = new ConcreteSubject();
 
    // Create Observer  创建观察者
    Observer *pObserver = new ConcreteObserver(pSubject);
    Observer *pObserver2 = new ConcreteObserver2(pSubject);
 
    // Change the state 
    pSubject->SetState(2);
 
    // Register the observer
    pSubject->Attach(pObserver);
    pSubject->Attach(pObserver2);
 
    pSubject->Notify();
 
    // Unregister the observer
    pSubject->Detach(pObserver);
 
    pSubject->SetState(3);
    pSubject->Notify();
 
    delete pObserver;
    delete pObserver2;
    delete pSubject;
}

该观察者模式是经典模式，但是存在缺陷：
（1）需要继承，继承是强对象关系，只能对特定的观察者才有效，即必须是Observer抽象类的派生类才行；

（2）观察者被通知的接口参数不支持变化，导致观察者不能应付接口的变化，并且这个观察者还不能带参数 ；

2.2 改进的观察者模式

为了解决上例观察者模式的缺陷，可使用C++11 做出改进，

（1）通过被通知接口参数化和std::function 来代替继承；

（2）通过可变参数模板和完美转发来消除接口变化产生的影响。

C++11 实现的观察者模式，内部维护了一个泛型函数列表，观察者只需要将观察者函数注册进来即可，消除了继承导致的强耦合。通知接口使用了可变参数模板，支持任意参数，消除了接口变化的影响。

改进之后的观察者模式和C# 中的event类似，通过定义委托类型来限定观察者，不要求观察者必须某个类派生，当需要和原来不同的观察者时，只需要定义一个新的event类型即可，通过event还可方便地增加或移除观察者。

 需要控制event 类不可复制，C++11 提供了Default 和 Delete 函数，使我们可以更方便地实现一个NonCopyable，如果希望一个类不被复制，则直接从这个NonCopyable 派生即可。

C++11中，当类中含有不能默认初始化的成员变量时，可以禁止默认构造函数的生成，

myClass()=delete;//表示删除默认构造函数

myClass()=default;//表示默认存在构造函数

当类中含有不能默认拷贝成员变量时，可以禁止默认构造函数的生成，

myClass(const myClass&)=delete;//表示删除默认拷贝构造函数，即不能进行默认拷贝

myClass & operatir=(const myClass&)=delete;//表示删除默认拷贝构造函数，即不能进行默认拷贝

• 使用delete操作符屏蔽 拷贝构造函数 和 赋值操作符，使Events对象不能拷贝和赋值
• 使用std::map保存观察者事件列表
• 使用自增成员变量保存观察者事件key
• 使用可变模板参数屏蔽函数参数变动

举例：

noncopyable.hpp

#ifndef _NONCOPYABLE_HPP_
#define _NONCOPYABLE_HPP_

class NonCopyable {
    public:
        //禁用复制构造函数
        NonCopyable(const NonCopyable& n) = delete; // deleted
        //禁用赋值构造函数
        NonCopyable& operator=(const NonCopyable& n) = delete; // deleted
        NonCopyable() = default; // available
};
#endif

observer.hpp

#ifndef _OBSERVER_HPP_
#define _OBSERVER_HPP_

#include <iostream>
#include <string>
#include <functional>
#include <map>

using std::cout;
using std::endl;
using std::string;
using std::map;

#include "noncopyable.hpp"

template <typename Func>
class Events: NonCopyable {
    public:
        // 注册观察者，支持右值引用
        int Connect(Func&& f) {
            return Assign(f);
        }

        // 注册观察者，左值
        int Connect(const Func& f) {
            return Assign(f);
        }

        // 移除观察者
        void Disconnect(int key) {
            m_connections.erase(key);
        }

        // 通知所有观察者
        template <typename ... Args>
        void Notify(Args&& ... args) {
            for(auto &it : m_connections) {
                auto& func = it.second;
                func(std::forward<Args>(args)...);
            }
        }
    private:

        // 保存观察者并分配观察者编号
        template <typename F>
        int Assign(F&& f) {
            int k = m_observerId++;
            m_connections.emplace(k, std::forward<F>(f));
            return k;
        }

        int m_observerId = 0; //观察者对应编号
        map<int, Func> m_connections; // 观察者列表
};

#endif

main.cpp

#include "observer.hpp"

using ObserverFunc = std::function<int(int, int)>;

class Observer {
    public:
        int operator() (int a, int b) {
            cout << "Observer函数对象的事件2被调用" << endl;
            int res = a + b;
            return res;
        }
};

class Observer2 {
    public:
        int observerFunc(int a, int b) {
            cout << "Observer2成员函数事件3被调用" << endl;
            int res = a + b;
            return res;
        }
};

int gobserverFunc(int a, int b) {
    cout << "全局的gobserverFunc事件4被调用" << endl;
    int res = a + b;
    return res; 
}

int main(void) {
    Events<ObserverFunc> e;
    // 调用基于lambda表达式的观察者函数
    int lambdaID = e.Connect([](int a, int b){
        int res = a+b;
        cout << "lambda函数的事件1被调用" << endl;
        return res;
    });

    // 调用仿函数的观察者函数
    int obsID = e.Connect(Observer());
    
    // 调用成员函数的观察者函数
    Observer2 o2;
    int obsID1 = e.Connect(std::bind(&Observer2::observerFunc, o2, std::placeholders::_1, std::placeholders::_2));
    
    // 调用全局观察者函数
    int gID4 = e.Connect(gobserverFunc);

    e.Notify(1, 2);

    return 0;
}

参考文献：

【1】设计模式（第2版本）  清华大学出版社

【2】设计模式之c++观察者模式：设计模式之观察者模式（c++） - 小金乌会发光－Z&M - 博客园

【3】C++ 11改进观察者模式：C++ 11改进观察者模式 - 简书