State模式允许一个对象在其内部状态改变时改变它的行为。对象看起来似乎修改了它的类。
在面向对象系统的开发和设计过程，经常会遇到一种情况就是需求变更（Requirement Changing），经常我们做好的一个设计、实现了一个系统原型，咱们的客户又会有了新的需求。我们又因此不得不去修改已有的设计，最常见就是解决方案就是给已经设计、实现好的类添加新的方法去实现客户新的需求，这样就陷入了设计变更的梦魇：不停地打补丁，其带来的后果就是设计根本就不可能封闭、编译永远都是整个系统代码。
访问者模式则提供了一种解决方案：将更新（变更）封装到一个类中（访问操作），并由待更改类提供一个接收接口，则可达到效果。
结构图：
实例：
context.h
#ifndef _CONTEXT_H_
#define _CONTEXT_H_
class State;
/**
*
**/
class Context{
public:
Context();
Context(State* state);
~Context();
void Handle();
void OperationForStateA();
void OperationForStateB();
protected:
private:
friend class State; //表明在 State 类中可以访问
Context 类的 private 字段，重要是访问 ChangeState
void ChangeState(State* state);
private:
State* _state;
};
#endif //~_CONTEXT_H_
context.cpp
#include "Context.h"
#include "State.h"
#include <iostream>
using namespace std;
Context::Context(){
}
Context::Context(State* state){
this->_state = state;
}
Context::~Context(){
delete _state;
}
void Context::Handle(){
_state->Handle(this);
}
void Context::ChangeState(State* state){
///_state->ChangeState(this,state);
this->_state = state;
}
void Context::OperationForStateA(){
cout<<"Do operation in State A ";
}
void Context::OperationForStateB(){
cout<<"Do operation in State B ";
}
state.h
#ifndef _STATE_H_
#define _STATE_H_
class Context; //前置声明
class State{
public:
State();
virtual ~State();
virtual void Handle(Context* con) = 0;
protected:
void ChangeState(Context* con,State* st);
private:
//bool ChangeState(Context* con,State* st);
};
class ConcreteStateA:public State{
public:
ConcreteStateA();
virtual ~ConcreteStateA();
void Handle(Context* con);
protected:
private:
};
class ConcreteStateB:public State{
public:
ConcreteStateB();
virtual ~ConcreteStateB();
void Handle(Context* con);
protected:
private:
};
#endif //~_STATE_H_
State.cpp
#include "State.h"
#include "Context.h"
#include <iostream>
using namespace std;
State::State(){
}
State::~State(){
}
void State::ChangeState(Context* con,State* st){
con->ChangeState(st);
}
///
ConcreteStateA::ConcreteStateA(){
}
ConcreteStateA::~ConcreteStateA(){
}
void ConcreteStateA::Handle(Context* con){
con->OperationForStateA();
cout<<":: State change from A to B"<<endl;
State::ChangeState(con,new ConcreteStateB());
}
///
ConcreteStateB::ConcreteStateB(){
}
ConcreteStateB::~ConcreteStateB(){
}
void ConcreteStateB::Handle(Context* con){
con->OperationForStateB();
cout<<":: State change from B to A"<<endl;
State::ChangeState(con,new ConcreteStateA());
}
main.cpp
#include "Context.h"
#include "State.h"
#include <iostream>
using namespace std;
int main(int argc,char* argv[]){
State* st = new ConcreteStateA();
Context* con = new Context(st);
con->Handle();
con->Handle();
con->Handle();
if (con != NULL)
delete con;
if (st != NULL)
st = NULL;
return 0;
}
可以看到在测试程序中，三次调用 con->Handle()，因为 con 状态的不同，可以得到以下的输出：
Do operation in State A :: State change from A to B Do operation in State B :: State change from B to A Do operation in State A :: State change from A to B
适用性
一个对象的行为取决于它的状态, 并且它必须在运行时刻根据状态改变它的行为。
一个操作中含有庞大的多分支的条件语句，且这些分支依赖于该对象的状态。这个状态通常用一个或多个枚举常量表示。通常, 有多个操作包含这一相同的条件结构。S t a t e模式将每一个条件分支放入一个独立的类中。这使得你可以根据对象自身的情况将对象的状态作为一个对象，这一对象可以不依赖于其他对象而独立变化。
