状态机用于行为定义。作为类的特化的一部分,它可能需要对其行为定义进行特化。这可以通过使用重定义来把特化分类符中的行为定义为泛化分类符行为的一个扩展来实现。
图14.37 StateMachine redefinition