设计模式:状态模式 State

目录


前言

状态是一种行为设计模式,让你能在一个对象的内部状态变化时改变其行为,使其看上去就像改变了自身所属的类一样。


问题

状态模式与 有限状态机 的概念紧密相关。

其主要思想是程序在任意时刻仅可处于几种有限的状态中。在任何一个特定状态中, 程序的行为都不相同, 且可瞬间从一个状态切换到另一个状态。不过,根据当前状态,程序可能会切换到另外一种状态, 也可能会保持当前状态不变。 这些数量有限且预先定义的状态切换规则被称为转移。

你还可将该方法应用在对象上。假如你有一个 文档Document 类。 文档可能会处于 草稿 Draft 、 审阅中 Moderation 和 已发布 Published 三种状态中的一种。文档的 publish 发布 方法在不同状态下的行为略有不同:

• 处于 草稿 状态时,它会将文档转移到审阅中状态。

• 处于 审阅中 状态时, 如果当前用户是管理员, 它会公开发布文档。

• 处于 已发布 状态时,它不会进行任何操作。

状态机通常由众多条件运算符( if 或 switch )实现,可根据对象的当前状态选择相应的行为。"状态" 通常只是对象中的一组成员变量值。 即使你之前从未听说过有限状态机,你也很可能已经实现过状态模式。

当我们逐步在 文档 类中添加更多状态和依赖于状态的行为后, 基于条件语句的状态机就会暴露其最大的弱点。为了能根据当前状态选择完成相应行为的方法, 绝大部分方法中会包含复杂的条件语句。修改其转换逻辑可能会涉及到修改所有方法中的状态条件语句,导致代码的维护工作非常艰难。

这个问题会随着项目进行变得越发严重。 我们很难在设计阶段预测到所有可能的状态和转换。 随着时间推移, 最初仅包含有限条件语句的简洁状态机可能会变成臃肿的一团乱麻。

解决方案

状态模式建议为对象的所有可能状态新建一个类, 然后将所有状态的对应行为抽取到这些类中。

原始对象被称为上下文(context), 它并不会自行实现所有行为,而是会保存一个指向表示当前状态的状态对象的引用,且将所有与状态相关的工作委派给该对象。

如需将上下文转换为另外一种状态, 则需将当前活动的状态对象替换为另外一个代表新状态的对象。 采用这种方式是有前提的: 所有状态类都必须遵循同样的接口, 而且上下文必须仅通过接口与这些对象进行交互。

这个结构可能看上去与策略模式相似, 但有一个关键性的不同------在状态模式中, 特定状态知道其他所有状态的存在,且能触发从一个状态到另一个状态的转换; 策略则几乎完全不知道其他策略的存在。

代码

cpp 复制代码
#include <iostream>
#include <string>
#include <memory>
using namespace std;

enum User{
    Admin,
    Author
};
User global_user=Admin;


class State{
public:
    virtual void render()=0;
    virtual void publish()=0;
    virtual ~State(){}
};
class Document{
public:
    void render(){
        m_state->render();
    }
    void publish(){
        m_state->publish();
    }
    void changeState(shared_ptr<State> state){
        m_state=state;
    }
private:
    shared_ptr<State> m_state=nullptr;
};


class Published:public State{
public:
    void render() override{}
    void publish() override{}
};
class Moderation:public State{
public:
    void render() override{}
    void publish() override{}
};
class Draft:public State{
public:
    Draft(shared_ptr<Document> doc):m_document(doc){}
    void render() override{
        if(global_user==Admin || global_user==Author){
            cout<<"渲染文档"<<endl;
        }
        else{
            cout<<"非法用户"<<endl;
        }
    }
    void publish() override{
        if(global_user==Admin){
            cout<<"Admin用户在保存文档"<<endl;
            m_document->changeState(make_shared<Published>());
        }
        else{
            m_document->changeState(make_shared<Moderation>());
        }
    }
private:
    shared_ptr<Document> m_document=nullptr;
};

int main(){
    auto document=make_shared<Document>();
    document->changeState(make_shared<Draft>(document));

    document->render();
    document->publish();

    return 0;
}
相关推荐
Zane19942 天前
一个 new 就能创建对象,为什么还要拆出单例、工厂、建造者、原型四种模式?
设计模式
怕浪猫3 天前
一行命令复刻爆款视频,我把 Hypit 从安装跑到了出片
人工智能·设计模式·程序员
Zane19943 天前
函数式编程里的函数,其实不是你天天写的那个函数——三大编程范式的边界在哪
设计模式
Zane19944 天前
策略模式现在该不该上?一次讲清楚过度设计和设计不足怎么找平衡
设计模式
她说..5 天前
常见设计模式-模板方法模式
java·spring·设计模式·springboot
xiaofeiyang1505 天前
第六章 · 桥接 — 三支毛笔,画出九种颜色
设计模式
Shadow(⊙o⊙)6 天前
OTOL设计模式 One Thread One Loop
服务器·网络·设计模式
sarasuki6 天前
如何让LLM 能在半夜偷偷打开网易云呢?
人工智能·设计模式·agent
小王师傅666 天前
【设计模式】装饰模式(四):框架源码实战——从 Java I/O 到 Spring 到 MyBatis
java·设计模式
执明wa6 天前
Android RecyclerView 多类型, 多种 Item
android·xml·开发语言·设计模式·android studio