9.3.2 状态类型