0

我想创建一个表示有限状态机的基类，然后将由各种组件扩展。它应该尽可能通用，并且只允许执行专门为该机器设计的状态。这是我到目前为止得到的：

public interface IState<out T> where T : FiniteStateMachine {
    void Enter( T p );
    void Execute( T p );
    void Exit( T p );
}

public class FiniteStateMachine {
    public IState<FiniteStateMachine> CurrentState { get; private set; }

    public void ChangeState( IState<FiniteStateMachine> s ) {
        if ( CurrentState != null )
            CurrentState.Exit( this );

        CurrentState = s;
        s.Enter( this );
    }
}

public class Car : FiniteStateMachine { }
public class Boat : FiniteStateMachine { }

public class CarState : IState<Car> {
    public void Entra( Car f ) { }
    public void Esegui( Car f ) { }
    public void Esci( Car f ) { }
}

public class BoatState : IState<Boat> {
    public void Enter( Boat f ) { }
    public void Execute( Boat f ) { }
    public void Exit( Boat f ) { }
}

这里有一个小例子：

var car = new Car( );
var boat = new Boat( );

// These are fine
car.ChangeState( new CarState( ) );
boat.ChangeState( new BoatState( ) );

// These aren't
car.ChangeState( new BoatState( ) );
boat.ChangeState( new CarState( ) );

基本上，我只想Car.ChangeState接受执行的状态，IState<Car>只Boat.ChangeState接受IState<Boat>等等。

我无法实现这种行为，有人可以帮助我吗？

4

1 回答 1

6

基本上，我希望 Car.ChangeState 只接受实现的状态，IState<Car>只Boat.ChangeState接受IState<Boat>等等。

执行此操作的典型方法是使用 Curiously Recurring Template 模式的变体。我在这里描述了该模式的 C# 版本：

http://blogs.msdn.com/b/ericlippert/archive/2011/02/03/curiouser-and-curiouser.aspx

我建议你不要追求这个。这种模式使您的代码难以理解，并且它实际产生的限制并不是您想要的限制。类型系统根本不擅长表示您想要的约束类型。类型系统不可能对所有人都适用。

于 2013-06-24T17:15:34.277 回答