如果一个方法里的if嵌套超过了3层,这代码大概率现在或者将来藏着不好排查的bug。很多时候,并不是写代码的人逻辑本身弄错了,而是过深的嵌套结构把条件判断和它对应的处理结果错开了。错误就这样隐身在层层叠叠的大括号中间,极难被一眼看穿。
下面我们来看一个支付回调的例子。
经典现场:一个支付回调的俄罗斯套娃
来看一段再常见不过的业务逻辑。在第三方支付平台扣款成功后,商户系统会收到异步通知。为了安全,我们必须要在回调方法里走一连串的校验:验证签名、检查订单是否存在、判断订单状态、最后再比对支付金额,全通过了才能真正更新订单状态。
这些校验是带有先后依赖的,比如签名不对,后面去查订单就毫无意义。顺着这个正常的业务思维往下写,代码很容易就会变成下面这种一层套一层的模样:
Java
public String handleNotify(NotifyRequest request) {
if (signatureService.verify(request)) {
PaymentOrder order = orderRepository.findById(request.orderId());
if (order != null) {
if (!order.isProcessed()) {
if (order.amount().compareTo(request.amount()) == 0) {
order.markAsPaid(request.transactionId());
orderRepository.save(order);
return "SUCCESS";
} else {
return "订单状态异常";
}
} else {
return "支付金额不匹配";
}
} else {
return "订单不存在";
}
} else {
return "签名验证失败";
}
}
你看出来这段代码里藏着的bug了吗?
顺着最内层的逻辑往外读:在最深的第四层if里,我们检查了金额是否匹配,如果不匹配,它走的else分支返回的却是订单状态异常。再往上一层看,检查订单状态(!order.isProcessed())如果不满足时,返回的竟然是支付金额不匹配。
没错,这两个错误提示完全写反了。
为什么嵌套会让bug隐形?
这种级别的低级bug,在代码审查时其实非常容易被漏掉。根本原因就在于:嵌套结构拉长了条件与结果的距离。
当你在第四层嵌套里看到订单状态异常这个返回值时,大脑会下意识地觉得它就是在处理订单状态的问题。因为文本本身自带了强烈的指向性,没人会每次都费劲地往上数三个大括号,去核对这个return究竟属于哪一个if分支。而真正检查订单状态的那句代码,它的else分支隔着一层大括号,视觉上完全割裂了关联。
解决方法不难:就是把代码扁平化(平铺)。
解决方式:用卫语句(Guard Clauses)将逻辑平铺
在实战中,我们通常用卫语句来应付这种多层if。它的核心思路是:条件一旦不满足,立刻中断并返回。每个校验节点只关心自己的失败情况,失败就走人,通过就接着往下跑。
用卫语句重构上面的回调逻辑,代码会变成这样:
Java
public String handleNotify(NotifyRequest request) {
if (!signatureService.verify(request)) {
return "签名验证失败";
}
PaymentOrder order = orderRepository.findById(request.orderId());
if (order == null) {
return "订单不存在";
}
if (order.isProcessed()) {
return "支付金额不匹配";
}
if (order.amount().compareTo(request.amount()) != 0) {
return "订单状态异常";
}
order.markAsPaid(request.transactionId());
orderRepository.save(order);
return "SUCCESS";
}
同样的bug,现在可以说是原形毕露了。第三个卫语句在检查order.isProcessed(),紧接着下面就返回了支付金额不匹配;第四个卫语句检查金额,下面跟着的是订单状态异常。
条件判断和对应的错误提示现在紧紧贴在一起,不用去细看那些大括号了,一眼就能看出它们互换了位置。更重要的是,代码的阅读轨迹从原本的逐层深入变成了从上往下依次执行。每个return都是一条独立的退出路径,嵌套层级消失了。
延伸:循环嵌套的应付手法
除了if分支,业务代码里同样容易踩坑的还有循环嵌套。if可以用卫语句轻松做平铺的操作,但for和while的嵌套就得换个思路了。
来看一个定时清理日志文件的场景。我们需要遍历多个服务目录,把超过保留期限的日志文件按日期压缩归档:
Java
public void cleanExpiredLogs(LocalDate from, LocalDate to) {
for (LocalDate date = from; !date.isAfter(to); date = date.plusDays(1)) {
for (String service : serviceDirs) {
Path logDir = logBasePath.resolve(service).resolve(date.toString());
if (Files.exists(logDir)) {
try (var files = Files.list(logDir)) {
files.filter(p -> p.toString().endsWith(".log"))
.forEach(p -> {
Path archive = archivePath.resolve(service)
.resolve(date + ".tar.gz");
Files.createDirectories(archive.getParent());
compressFile(p, archive);
Files.delete(p);
});
}
}
}
}
}
这段代码足足嵌套了3层:最外层遍历日期,中间层遍历服务目录,最里面还夹杂着Files.list和条件过滤。内层具体的干活逻辑和外层的调度逻辑全揉在了一个方法里,读这段代码时,你需要同时在脑子里维护日期循环、目录循环、文件过滤三层上下文,心智负担极重。
解决方法是:提取独立方法。 主方法只保留核心的骨架(外层遍历),把内层具体的细节逻辑抽离到单独的方法里:
Java
public void cleanExpiredLogs(LocalDate from, LocalDate to) {
for (LocalDate date = from; !date.isAfter(to); date = date.plusDays(1)) {
for (String service : serviceDirs) {
archiveServiceLogs(service, date);
}
}
}
private void archiveServiceLogs(String service, LocalDate date) {
Path logDir = logBasePath.resolve(service).resolve(date.toString());
if (!Files.exists(logDir)) {
return;
}
try (var files = Files.list(logDir)) {
files.filter(p -> p.toString().endsWith(".log"))
.forEach(p -> archiveFile(service, date, p));
}
}
private void archiveFile(String service, LocalDate date, Path file) {
Path archive = archivePath.resolve(service).resolve(date + ".tar.gz");
Files.createDirectories(archive.getParent());
compressFile(file, archive);
Files.delete(file);
}
重构之后,每个方法只专注干好一件事,没有任何一个方法的嵌套层数超过2层。cleanExpiredLogs 专注于按天和目录做总调度,archiveServiceLogs专管某个目录下的具体归档,而archiveFile则把单个文件的压缩和删除处理掉。各司其职,一下子清爽了很多。
小结
代码的嵌套层数表面看起来只是个格式或者风格问题,但实际上它直接决定了代码的正确性。嵌套每深一层,条件和处理逻辑的距离就远一分,我们在审查时漏掉低级错误的概率就高一分。
用卫语句对付条件分支的嵌套,用提取方法对付循环体的嵌套。虽然覆盖的场景不同,但底层的核心思路是同一个:让条件和它对应的处理结果紧挨在一起。
下次你敲完代码,不妨顺手看一眼方法长度、数一下嵌套层数,这能帮你提前避开很多无谓的坑。