4、常见错误类型：类型错误、边界条件错误、状态机死锁

调试Gensys模型，说白了就是跟各种错误斗智斗勇。我做了这么多年，发现错误翻来覆去就那么几类。今天咱们就聊聊最常见的三种：类型错误、边界条件错误、还有状态机死锁。

你想想看，模型跑不起来，十有八九是这三兄弟在捣鬼。咱们一个一个来拆解。

4.1 类型错误——最隐蔽的坑

类型错误，说白了就是数据类型不匹配。Gensys里变量类型管得挺严，但有时候你一不小心就踩雷了。

常见场景：

• 把整数当布尔用
• 字符串和数字混在一起运算
• 枚举值写错了拼写
• 数组索引用了浮点数

我记得有一次，一个同事调试了整整两天，模型就是跑不出正确结果。最后发现，他把一个 int 类型的计数器赋值给了 bool 类型的变量。Gensys没报错，但逻辑全乱了。

// 错误写法
bool isReady = 1;  // 虽然能编译，但语义不对

// 正确写法
bool isReady = true;
int counter = 1;

4.2 边界条件错误——程序员的噩梦

边界条件，就是那些「刚好在边缘」的情况。比如数组的最后一个元素、循环的第一次和最后一次、数值的极限值。

为什么会这样？因为大多数时候我们只测试了「正常情况」。边界条件往往被忽略，但一出问题就是大问题。

常见的边界条件：

• 数组索引为0或为length-1
• 循环变量从0开始还是从1开始
• 数值刚好等于阈值
• 空列表或空字符串
• 最大/最小值的溢出

你想想看，边界条件就像悬崖边。平时走路没事，但一到边缘就容易掉下去。所以我的建议是：写代码时，先问自己三个问题——

1. 这个变量的最小值是多少？
2. 最大值是多少？
3. 空值情况怎么处理？

4.3 状态机死锁——最让人头疼的

状态机死锁，说白了就是模型卡在某个状态出不来了。Gensys里状态机用得特别多，死锁问题也特别常见。

死锁的典型表现：

• 模型运行到某一步就停了
• 状态一直不变，日志也不更新
• 某些事件触发了，但状态没反应

我个人习惯，遇到死锁先画状态转移图。你想想看，光靠脑子想是理不清的，画出来一目了然。

// 错误的状态机——可能死锁
state IDLE {
  on event START -> PROCESSING
}
state PROCESSING {
  on event COMPLETE -> IDLE
  // 缺少超时处理，如果COMPLETE永远不来，就死锁了
}

// 正确的状态机——有超时保护
state IDLE {
  on event START -> PROCESSING
}
state PROCESSING {
  on event COMPLETE -> IDLE
  on timeout 5000ms -> ERROR  // 超时保护
}
state ERROR {
  on event RESET -> IDLE
}

4.4 三种错误的对比

4.5 知识体系总览

下面这张图，是我自己总结的三种错误排查思路。你调试的时候，可以照着这个顺序来。

嗯，这张图你保存下来。以后调试的时候，就按这个顺序排查。先看类型，再看边界，最后查状态机。大部分问题都能搞定。

公众号:蓝海资料掘金营，微信deep3321