2023跟我一起学设计模式：状态模式

用户1418987

发布于 2023-10-16 09:45:35

1820

发布于 2023-10-16 09:45:35

文章被收录于专栏：coder

状态模式

亦称： State

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

问题

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

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

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

处于 草稿状态时，它会将文档转移到审阅中状态。
处于 审阅中状态时，如果当前用户是管理员，它会公开发布文档。
处于 已发布状态时，它不会进行任何操作。

状态机通常由众多条件运算符（ if或 switch ）实现，可根据对象的当前状态选择相应的行为。 “状态” 通常只是对象中的一组成员变量值。即使你之前从未听说过有限状态机，你也很可能已经实现过状态模式。下面的代码应该能帮助你回忆起来。

class Document is
    field state: string
    // ……
    method publish() is
        switch (state)
            "draft":
                state = "moderation"
                break
            "moderation":
                if (currentUser.role == "admin")
                    state = "published"
                break
            "published":
                // 什么也不做。
                break
    // ……

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

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

解决方案

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

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

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

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

真实世界类比

智能手机的按键和开关会根据设备当前状态完成不同行为：

当手机处于解锁状态时，按下按键将执行各种功能。
当手机处于锁定状态时，按下任何按键都将解锁屏幕。
当手机电量不足时，按下任何按键都将显示充电页面。

状态模式结构

上下文 （Context）保存了对于一个具体状态对象的引用，并会将所有与该状态相关的工作委派给它。上下文通过状态接口与状态对象交互，且会提供一个设置器用于传递新的状态对象。
状态（State）接口会声明特定于状态的方法。这些方法应能被其他所有具体状态所理解，因为你不希望某些状态所拥有的方法永远不会被调用。
具体状态 （Concrete States）会自行实现特定于状态的方法。为了避免多个状态中包含相似代码，你可以提供一个封装有部分通用行为的中间抽象类。状态对象可存储对于上下文对象的反向引用。状态可以通过该引用从上下文处获取所需信息，并且能触发状态转移。
上下文和具体状态都可以设置上下文的下个状态，并可通过替换连接到上下文的状态对象来完成实际的状态转换。

伪代码

在本例中，状态模式将根据当前回放状态，让媒体播放器中的相同控件完成不同的行为。

使用状态对象更改对象行为的示例。

播放器的主要对象总是会连接到一个负责播放器绝大部分工作的状态对象中。部分操作会更换播放器当前的状态对象，以此改变播放器对于用户互动所作出的反应。

// 音频播放器（AudioPlayer）类即为上下文。它还会维护指向状态类实例的引用，
// 该状态类则用于表示音频播放器当前的状态。
class AudioPlayer is
    field state: State
    field UI, volume, playlist, currentSong

    constructor AudioPlayer() is
        this.state = new ReadyState(this)

        // 上下文会将处理用户输入的工作委派给状态对象。由于每个状态都以不
        // 同的方式处理输入，其结果自然将依赖于当前所处的状态。
        UI = new UserInterface()
        UI.lockButton.onClick(this.clickLock)
        UI.playButton.onClick(this.clickPlay)
        UI.nextButton.onClick(this.clickNext)
        UI.prevButton.onClick(this.clickPrevious)

    // 其他对象必须能切换音频播放器当前所处的状态。
    method changeState(state: State) is
        this.state = state

    // UI 方法会将执行工作委派给当前状态。
    method clickLock() is
        state.clickLock()
    method clickPlay() is
        state.clickPlay()
    method clickNext() is
        state.clickNext()
    method clickPrevious() is
        state.clickPrevious()

    // 状态可调用上下文的一些服务方法。
    method startPlayback() is
        // ……
    method stopPlayback() is
        // ……
    method nextSong() is
        // ……
    method previousSong() is
        // ……
    method fastForward(time) is
        // ……
    method rewind(time) is
        // ……


// 所有具体状态类都必须实现状态基类声明的方法，并提供反向引用指向与状态相
// 关的上下文对象。状态可使用反向引用将上下文转换为另一个状态。
abstract class State is
    protected field player: AudioPlayer

    // 上下文将自身传递给状态构造函数。这可帮助状态在需要时获取一些有用的
    // 上下文数据。
    constructor State(player) is
        this.player = player

    abstract method clickLock()
    abstract method clickPlay()
    abstract method clickNext()
    abstract method clickPrevious()


// 具体状态会实现与上下文状态相关的多种行为。
class LockedState extends State is

    // 当你解锁一个锁定的播放器时，它可能处于两种状态之一。
    method clickLock() is
        if (player.playing)
            player.changeState(new PlayingState(player))
        else
            player.changeState(new ReadyState(player))

    method clickPlay() is
        // 已锁定，什么也不做。

    method clickNext() is
        // 已锁定，什么也不做。

    method clickPrevious() is
        // 已锁定，什么也不做。


// 它们还可在上下文中触发状态转换。
class ReadyState extends State is
    method clickLock() is
        player.changeState(new LockedState(player))

    method clickPlay() is
        player.startPlayback()
        player.changeState(new PlayingState(player))

    method clickNext() is
        player.nextSong()

    method clickPrevious() is
        player.previousSong()


class PlayingState extends State is
    method clickLock() is
        player.changeState(new LockedState(player))

    method clickPlay() is
        player.stopPlayback()
        player.changeState(new ReadyState(player))

    method clickNext() is
        if (event.doubleclick)
            player.nextSong()
        else
            player.fastForward(5)

    method clickPrevious() is
        if (event.doubleclick)
            player.previous()
        else
            player.rewind(5)

状态模式适合应用场景

如果对象需要根据自身当前状态进行不同行为，同时状态的数量非常多且与状态相关的代码会频繁变更的话，可使用状态模式。

模式建议你将所有特定于状态的代码抽取到一组独立的类中。这样一来，你可以在独立于其他状态的情况下添加新状态或修改已有状态，从而减少维护成本。

如果某个类需要根据成员变量的当前值改变自身行为，从而需要使用大量的条件语句时，可使用该模式。

状态模式会将这些条件语句的分支抽取到相应状态类的方法中。同时，你还可以清除主要类中与特定状态相关的临时成员变量和帮手方法代码。

当相似状态和基于条件的状态机转换中存在许多重复代码时，可使用状态模式。

状态模式让你能够生成状态类层次结构，通过将公用代码抽取到抽象基类中来减少重复。

实现方式

确定哪些类是上下文。它可能是包含依赖于状态的代码的已有类；如果特定于状态的代码分散在多个类中，那么它可能是一个新的类。
声明状态接口。虽然你可能会需要完全复制上下文中声明的所有方法，但最好是仅把关注点放在那些可能包含特定于状态的行为的方法上。
为每个实际状态创建一个继承于状态接口的类。然后检查上下文中的方法并将与特定状态相关的所有代码抽取到新建的类中。在将代码移动到状态类的过程中，你可能会发现它依赖于上下文中的一些私有成员。你可以采用以下几种变通方式：

将这些成员变量或方法设为公有。
将需要抽取的上下文行为更改为上下文中的公有方法，然后在状态类中调用。这种方式简陋却便捷，你可以稍后再对其进行修补。
将状态类嵌套在上下文类中。这种方式需要你所使用的编程语言支持嵌套类。

在上下文类中添加一个状态接口类型的引用成员变量，以及一个用于修改该成员变量值的公有设置器。
再次检查上下文中的方法，将空的条件语句替换为相应的状态对象方法。
为切换上下文状态，你需要创建某个状态类实例并将其传递给上下文。你可以在上下文、各种状态或客户端中完成这项工作。无论在何处完成这项工作，该类都将依赖于其所实例化的具体类。

Go 状态模式讲解和代码示例

状态是一种行为设计模式，让你能在一个对象的内部状态变化时改变其行为。

该模式将与状态相关的行为抽取到独立的状态类中，让原对象将工作委派给这些类的实例，而不是自行进行处理。

概念示例

让我们在一台自动售货机上使用状态设计模式。为简单起见，让我们假设自动售货机仅会销售一种类型的商品。同时，依然为了简单起见，我们假设自动售货机可处于 4 种不同的状态中：

有商品（hasItem）
无商品（noItem）
商品已请求（itemRequested）
收到钱币（hasMoney）

同时，自动售货机也会有不同的操作。再一次的，为了简单起见，我们假设其只会执行 4 种操作：

选择商品
添加商品
插入钱币
提供商品

当对象可以处于许多不同的状态中时应使用状态设计模式，同时根据传入请求的不同，对象需要变更其当前状态。

在我们的例子中，自动售货机可以有多种不同的状态，同时会在这些状态之间持续不断地互相转换。我们假设自动售货机处于 商品已请求状态中。在 “插入钱币” 的操作发生后，机器将自动转换至 收到钱币状态。

根据其当前状态，机器可就相同请求采取不同的行为。例如，如果用户想要购买一件商品，机器将在 有商品状态时继续操作，而在 无商品状态时拒绝操作。

自动售货机的代码不会被这一逻辑污染；所有依赖于状态的代码都存在于各自的状态实现中。

vendingMachine.go: 背景

package main

import "fmt"

type VendingMachine struct {
  hasItem       State
  itemRequested State
  hasMoney      State
  noItem        State

  currentState State // 当前状态
  itemCount    int
  itemPrice    int
}

func newVendingMachine(itemCount, itemPrice int) *VendingMachine {
  v := &VendingMachine{
    itemCount: itemCount,
    itemPrice: itemPrice,
  }
  hasItemState := &HasItemState{vendingMachine: v}
  itemRequestState := &ItemRequestedState{vendingMachine: v}
  hasMoneyState := &HasMoneyState{vendingMachine: v}
  noItemState := &NoItemState{vendingMachine: v}
  v.setState(hasItemState)
  v.hasItem = hasItemState
  v.itemRequested = itemRequestState
  v.hasMoney = hasMoneyState
  v.noItem = noItemState
  return v
}

func (v *VendingMachine) requestItem() error {
  return v.currentState.requestItem()
}

func (v *VendingMachine) addItem(count int) error {
  return v.currentState.addItem(count)
}

func (v *VendingMachine) insertMoney(money int) error {
  return v.currentState.insertMoney(money)
}

func (v *VendingMachine) dispenseItem() error {
  return v.currentState.dispenseItem()
}

func (v *VendingMachine) setState(s State) {
  v.currentState = s
}

func (v *VendingMachine) incrementItemCount(count int) {
  fmt.Printf("Adding %d items \n", count)
  v.itemCount = count + v.itemCount
}

state.go: 状态接口

package main

type State interface {
  addItem(int) error
  requestItem() error
  insertMoney(money int) error
  dispenseItem() error
}

noItemState.go: 具体状态

package main

import "fmt"

// 无货状态
type NoItemState struct {
  vendingMachine *VendingMachine
}

func (i *NoItemState) requestItem() error {
  return fmt.Errorf("Item out of stock")
}

func (i *NoItemState) addItem(count int) error {
  i.vendingMachine.incrementItemCount(count)
  i.vendingMachine.setState(i.vendingMachine.hasItem)
  return nil
}

func (i *NoItemState) insertMoney(money int) error {
  return fmt.Errorf("Item out of stock")
}

func (i *NoItemState) dispenseItem() error {
  return fmt.Errorf("Item out of stock")
}

hasItemState.go: 具体状态

package main

import "fmt"

type HasItemState struct {
  vendingMachine *VendingMachine
}

func (i *HasItemState) requestItem() error {
  if i.vendingMachine.itemCount == 0 {
    i.vendingMachine.setState(i.vendingMachine.noItem)
    return fmt.Errorf("No item present")
  }
  fmt.Printf("Item requested \n")
  i.vendingMachine.setState(i.vendingMachine.itemRequested)
  return nil
}

func (i *HasItemState) addItem(count int) error {
  fmt.Printf("%d item added", count)
  i.vendingMachine.incrementItemCount(count)
  return nil
}

func (i *HasItemState) insertMoney(money int) error {
  return fmt.Errorf("please select item first")
}

func (i *HasItemState) dispenseItem() error {
  return fmt.Errorf("Please select item first")
}

itemRequestedState.go: 具体状态

package main

import "fmt"

type ItemRequestedState struct {
  vendingMachine *VendingMachine
}

func (i *ItemRequestedState) requestItem() error {
  return fmt.Errorf("Item already requested")
}

func (i *ItemRequestedState) addItem(count int) error {
  return fmt.Errorf("Item Dispense in progress")
}

func (i *ItemRequestedState) insertMoney(money int) error {
  if money < i.vendingMachine.itemPrice {
    return fmt.Errorf("Inserted money is less. Please insert %d", i.vendingMachine.itemPrice)
  }
  fmt.Println("Money entered is ok")
  i.vendingMachine.setState(i.vendingMachine.hasMoney)
  return nil
}

func (i *ItemRequestedState) dispenseItem() error {
  return fmt.Errorf("Please insert money first")
}

hasMoneyState.go: 具体状态

package main

import "fmt"

type HasMoneyState struct {
  vendingMachine *VendingMachine
}

func (i *HasMoneyState) requestItem() error {
  return fmt.Errorf("Item dispense in progress")
}

func (i *HasMoneyState) addItem(count int) error {
  return fmt.Errorf("Item dispense in progress")
}

func (i *HasMoneyState) insertMoney(money int) error {
  return fmt.Errorf("item out of stock")
}

func (i *HasMoneyState) dispenseItem() error {
  fmt.Println("Dispensing Item")
  i.vendingMachine.itemCount = i.vendingMachine.itemCount - 1
  if i.vendingMachine.itemCount == 0 {
    i.vendingMachine.setState(i.vendingMachine.noItem)
  } else {
    i.vendingMachine.setState(i.vendingMachine.hasItem)
  }
  return nil
}

main.go: 客户端代码

package main

import (
  "fmt"
  "log"
)

func main() {
  vendingMachine := newVendingMachine(1, 10)

  // 获取一个商品
  if err := vendingMachine.requestItem(); err != nil {
    log.Fatalf(err.Error())
  }

  if err := vendingMachine.insertMoney(10); err != nil {
    log.Fatal(err.Error())
  }

  if err := vendingMachine.dispenseItem(); err != nil {
    log.Fatal(err.Error())
  }

  fmt.Println("================")
  if err := vendingMachine.addItem(2); err != nil {
    log.Fatal(err.Error())
  }
  fmt.Println()
  if err := vendingMachine.requestItem(); err != nil {
    log.Fatal(err.Error())
  }

  if err := vendingMachine.insertMoney(10); err != nil {
    log.Fatal(err.Error())
  }

  if err := vendingMachine.dispenseItem(); err != nil {
    log.Fatal(err.Error())
  }
}

output.txt: 执行结果

Item requested 
Money entered is ok
Dispensing Item
================
Adding 2 items 

Item requested 
Money entered is ok
Dispensing Item

本文参与腾讯云自媒体同步曝光计划，分享自作者个人站点/博客。

原始发表：2023-08-07，如有侵权请联系 cloudcommunity@tencent.com 删除

对象

本文分享自作者个人站点/博客前往查看

如有侵权，请联系 cloudcommunity@tencent.com 删除。

本文参与腾讯云自媒体同步曝光计划，欢迎热爱写作的你一起参与！

登录后参与评论

0 条评论

热度