C语言中如何在switch语句内使用goto实现有限状态机(FSM)？

可行性结论 #

你描述的跳转逻辑在C语言中是完全合法的，它不属于递归（递归指函数调用自身，会产生调用栈操作），属于同函数内的受控标签跳转，非常适合实现你需要的钓鱼场景有限状态机。

C语言的switch本质是基于跳转表的分支结构，case本身就是编译器识别的特殊标签，你自定义的region_1、region_2这类普通标签和case标签的作用域规则完全一致，goto可以跳转到同一个函数内的任意标签位置，不受switch结构的限制。

代码修正 #

你当前的代码只有一处语法错误：goto region_1:末尾多了多余的冒号，goto语句后直接跟标签名即可，不需要加冒号，修正后的示例如下：

switch(x)
{
region_1:
  case a:
      // 对应业务逻辑
  case b:
      goto region_1;

region_2:
  case c:
      // 对应业务逻辑
  case d:
      goto region_2;

  default:
      // 默认分支逻辑
}

状态机实现建议 #

这种基于goto跳转switch内部标签的写法，是C语言中实现高性能轻量状态机的常用方案：

• 比传统while(1) + switch(状态变量)的方案效率更高，无需每次循环都重新判断状态值，直接跳转到目标状态的执行入口
• 业务逻辑映射直观，你可以把钓鱼场景的每个状态（抛竿、等待咬钩、溜鱼、收线、换饵等）对应到独立的语义化标签，状态切换时直接goto 对应标签即可，代码可读性高，后续修改也很方便

注意事项 #

• 标签的作用域仅限当前函数，无法跨函数跳转
• 不要通过跳转越过局部变量的初始化语句，避免触发未定义行为
• 建议给标签起和业务状态对应的语义化名称（比如state_cast_rod、state_wait_bite），不要用region_1这类无意义命名，降低维护成本

内容的提问来源于stack exchange，提问作者user15307601