先说结论 绿灯只能证明"跑过的那条路是对的"，不能证明代码是对的。一条 if 里如果有 ||，而 || 右边那半个条件没有任何用例能单独触发它，那这半个条件等于没写。 我的 bug 是：key.equ