逻辑驱动：让代码自主推演答案

　　去年十二月份，我蹲在客户机房改接口，空调外机在隔壁楼顶嗡嗡响，像有台老拖拉机卡在换挡——就那会儿，王工突然推门进来，手里捏着张皱巴巴的A4纸，上面用红笔圈了三处SQL，说：“你这逻辑驱动跑不通。”

　　我头都没抬。键盘敲得比雨点还密——那天真在下雨，玻璃上全是斜着爬的水痕，跟我们写的那堆条件嵌套一样乱。他站我旁边第三秒，掏出手机接了个电话，声音压得很低：“对对…那个表……行我马上切库……”话没说完就把手机塞回兜里，指甲盖上还沾着半粒没擦净的芝麻酱，估计是中午外卖盒盖没拧紧。

　　我原以为只要把ruleEngine里那七个分支全写成DAG拓扑，答案自己就能从根节点往下淌。结果跑第一轮，它真推演出了个答案——是错的。错得特别体面：所有校验都过，日志里飘着“推演完成”，但返回的订单状态是“已发货（未支付）”。我们仨盯着屏幕静了十八秒，李姐突然笑出声，把刚撕开的棒棒糖棍往泡面桶里一戳：“你这逻辑不叫驱动，叫抽签。”

　　优胜劣汰？对。但这汰法太狠。不是淘汰烂代码，是淘汰人。你写十种条件组合，它只留最短路径；你塞进十七个兜底判断，它删掉十五个，剩下俩还互斥；你凌晨三点补上case，第二天晨会它就给你弹个新冲突——不是bug，是它自己重算出另一条更“优”的路，连中间变量命名都跟你原来不一样。

　　王工后来自己试了三天。他改得比我野，直接把业务规则扔进Z3求解器，用约束建模。结果呢？生成的决策树漂亮得像教科书插图，但上线两小时崩了四次——不是性能问题，是Z3自己判定某条用户操作路径“概率趋零”，干脆拒绝响应。他坐在椅子上晃了两分钟，突然抓起桌上半包瓜子，咔咔剥了五颗，全吐在窗台上。我说你干嘛，他说：“我在确认它是不是真能淘汰我。”

　　那天下班我路过楼下修车摊，老师傅正拿铁锤敲后视镜支架，一下，两下，第三下时螺丝自己松了。他没换新件，就用焊枪在断裂口糊了道弧形补丁，说：“硬连不如软让，让它自己找到不震的角。”我站着看了四十秒，雨还在下，但他摊子顶棚没漏水——这个我敢打包票，水珠全顺着补丁边缘滑走了，一滴没溅到工具箱上。

文章配图，仅供参考

　　前天下午茶，前台小妹送咖啡进来，顺手帮我调了下显示器高度。她踮脚时耳钉晃了一下，是颗蓝锆石，在屏幕反光里闪得像段未执行的return语句。我盯着看了七秒，然后关掉了IDE右下角的“自动推演提示”开关。这个动作没录日志，也不影响任何流程——但它让我少了一次误触。

　　逻辑驱动不是让代码变聪明，是让它敢犯错。错得快、错得浅、错完立刻被另一条逻辑碾过去。我们以前怕分支爆炸，现在怕分支太干净。王工昨天发来条消息，就两个字：“松了”。我没回。他电脑风扇声太大，我猜他刚删了整个rules目录。

　　我现在每天开工第一件事：删掉前一天写的最后一个断言。不一定有用，但得试试看系统会不会自动补上更野的——要是补不上，说明那地方还没活过来。

（编辑：站长网）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!