枚举配合switch实现状态机是java、c#、typescript中清晰安全的做法：枚举限定合法状态，switch强制穷尽覆盖，避免遗漏和魔法字符串；状态名体现业务语义，分支封装行为与校验，新增状态时编译报错促使命题补全。
用枚举配合 switch 实现状态机，是 Java、C#、TypeScript 等语言中清晰、安全、易维护的常见做法。核心在于：枚举明确限定所有合法状态，switch 强制覆盖每种状态（配合编译检查或 default 处理），避免遗漏和魔法字符串。
定义状态枚举，体现业务语义
枚举名和值应直接反映业务阶段，而非技术细节。例如订单状态：
enum OrderStatus {
CREATED, // 已创建
PAID, // 已支付
SHIPPED, // 已发货
DELIVERED, // 已签收
CANCELLED // 已取消
}
不建议用数字或字符串代替枚举——它失去类型约束，也无法在 switch 中获得编译期穷尽性检查（如 Java 17+ 的 sealed + switch，或 TypeScript 的 exhaustive check）。
switch 分支处理状态迁移与行为
每个 case 对应一个确定状态，封装该状态下允许的操作、可触发的事件或应执行的动作：
- 判断当前状态是否允许某操作（如“已发货”才允许生成物流单）
- 根据状态返回不同文案或按钮（如界面上“支付”“查看物流”“确认收货”）
- 驱动状态变更逻辑（常配合状态校验，如只允许 CREATED → PAID）
示例（Java）：
public String getActionButtonText(OrderStatus status) {
return switch (status) {
case CREATED -> "立即支付";
case PAID -> "查看订单详情";
case SHIPPED -> "查看物流";
case DELIVERED -> "确认收货";
case CANCELLED -> "订单已关闭";
};
}
强制处理新增状态，防止逻辑遗漏
当业务扩展新增状态（如增加 REFUNDED）时：
- 编译器会立刻报错：switch 未覆盖新枚举值（Java 17+、TS 启用
noImplicitReturns或使用assertNever辅助） - 开发者必须显式补充对应分支，天然保障状态逻辑完整性
- 相比 if-else 链或字符串匹配，大幅降低“忘记加 case”的风险
配合状态转换规则，提升健壮性
单纯 switch 处理“当前状态行为”，若需建模“状态如何变化”，可额外定义转换规则：
- 在枚举中为每个状态声明
allowedNextStates()方法，返回合法后续状态集合 - 状态变更前先调用
currentState.canTransitionTo(next)校验 - 变更后用 switch 渲染新状态下的 UI 或触发钩子（如 PAID → 发送支付成功通知）
这样既保持 switch 的清晰性，又让状态流转受控、可追溯。
