阿里一面,和面试官互喷“程序异常处理”的最佳实践

2022-11-18 1889阅读

温馨提示:这篇文章已超过647天没有更新,请注意相关的内容是否还可用!

阿里郎,还记得你们公司《手册》中异常处理给出的这些建议吗?

阿里一面,和面试官互喷“程序异常处理”的最佳实践
(图片来源网络,侵删)
阿里一面,和面试官互喷“程序异常处理”的最佳实践
(图片来源网络,侵删)

阿里一面,和面试官互喷“程序异常处理”的最佳实践

阿里一面,和面试官互喷“程序异常处理”的最佳实践

01 "吞掉"异常?1.1 简介

即,处理后不再将异常传给上层。其中包括 catch 到异常并处理(打印日志、发通知等)后不再扔给上层;捕捉到异常后给上层返回 null 值等行为。

前一小节的强制 5就属于该种措施。

1.2 为什么要手动回滚

先看事务的执行入口:

阿里一面,和面试官互喷“程序异常处理”的最佳实践

带 @Transaction 注解的事务函数中捕获到异常后,执行

	@Nullable
	protected Object invokeWithinTransaction(Method method, @Nullable Class targetClass,
			final InvocationCallback invocation) throws Throwable {
		// If the transaction attribute is null, the method is non-transactional.
		TransactionAttributeSource tas = getTransactionAttributeSource();
		final TransactionAttribute txAttr = (tas != null ? tas.getTransactionAttribute(method, targetClass) : null);
		final PlatformTransactionManager tm = determineTransactionManager(txAttr);
		final String joinpointIdentification = methodIdentification(method, targetClass, txAttr);
		if (txAttr == null || !(tm instanceof CallbackPreferringPlatformTransactionManager)) {
			// Standard transaction demarcation with getTransaction and commit/rollback calls.
			TransactionInfo txInfo = createTransactionIfNecessary(tm, txAttr, joinpointIdentification);
			Object retVal;
			try {
				// This is an around advice: Invoke the next interceptor in the chain.
				// This will normally result in a target object being invoked.
				retVal = invocation.proceedWithInvocation();
			}
			catch (Throwable ex) {
				// target invocation exception
				completeTransactionAfterThrowing(txInfo, ex);
				throw ex;
			}
			finally {
				cleanupTransactionInfo(txInfo);
			}
			commitTransactionAfterReturning(txInfo);
			return retVal;
		}
		...

可以看到,如果设置了事务属性且当前异常满足 rollbackOn 指定的异常(默认为 RuntimeException 类型及其子类以及Error 及其子类),则会将当前事务回滚,否则提交。

因此如果 catch 异常后没有再次将异常抛出或者不手动回滚,将会导致事务提交。

封装二方接口时,很多人会吞异常,如下:

@Component
public class DemoClient {
    @Resource
    private XXServcie xxServcie;
    public XXInfo someMethod(Long id) {
        try {
            return xxServcie.getXXInfo(id);
        } catch (Exception e) {
            log.warn("调用xx服务异常,参数:{}", id, e);
            return null;
        }
    }
}

当调用异常时打印异常信息后直接返回 null。

此时如果调用方直接拿到返回值对象而未做判空处理直接使用其属性,易 NPE。

而且吞二方接口异常,有些业务异常中包含的错误原因(如包含xxx敏感词汇、标题不能超过20个字等)无法传给上层再封装给前端,可能会造成出错后用户懵逼,被投诉。

比如用户输入了某个敏感词汇,调用二方接口时 “吞掉” 了敏感词汇的业务异常提示(输入中包含 xx敏感词),用户通过技术支持咨询,开发人员要查日志才能知道具体的错误原因(如果此处没打印日志,可能连日志都没得查),非常低效。

所以要根据具体业务场景慎重确定是否要吞异常。

02 循环中的异常处理问题

特别注意循环的代码异常处理的对程序的影响。

2.1 案例1

阿里一面,和面试官互喷“程序异常处理”的最佳实践

在写代码时这种场景非常常见,如果不对循环代码进行捕捉,如果循环中出现异常,后续代码则无法执行。

但是如果在 for 循环外部捕捉异常,虽然for循环后如果有代码依然可以执行,但是列表中的非最后一个元素作为参数调用 doSomeRemoteInvoke 出现异常,后续数据无法继续执行。

try {
    for (String str : data) {
        // 远程方法调用(可能出现异常)
        String result = doSomeRemoteInvoke(str);
        System.out.println(result);
    }
} catch (Exception e) {
    log.error("程序出错,参数data:{},错误详情", JSON.toJSONString(data), e);
}

因此需要对 for 循环代码内对可能出现的异常进行捕捉:

for (String str : data) {
    try {
        // 远程方法调用(可能出现异常)
        String result = doSomeRemoteInvoke(str);
        System.out.println(result);
    } catch (Exception e) {
        log.error("程序出错,参数data:{},错误详情", JSON.toJSONString(data), e);
    }
}

2.2 案例 2

思考两个问题:

代码如下:

阿里一面,和面试官互喷“程序异常处理”的最佳实践

阿里一面,和面试官互喷“程序异常处理”的最佳实践

和上面的代码非常相似,for 循环在线程池代码外部,每次循环调用线程池去执行判断和打印语句。

此时依次传入 a、ab、abc、abcd 四个字符串;当执行到 ab 时会抛出 IllegalArgumentException,此时线程池中的唯一的线程销毁;当执行到 abc 字符串时,再次在线程池中执行,线程池创建新的线程来执行,依然可以正常执行。

阿里一面,和面试官互喷“程序异常处理”的最佳实践

阿里一面,和面试官互喷“程序异常处理”的最佳实践

中 for 循环在 线程池 execute 参数的lambda表达式内,所有的循环执行都在同一个线程内。当执行到 ab 字符串时,抛出了异常,导致整个线程销毁,无法继续执行。

阿里一面,和面试官互喷“程序异常处理”的最佳实践

因此为了不让一个数据出错导致后续的代码都无法执行,如果采用第二种方式来执行可以对代码做出如下修改:

阿里一面,和面试官互喷“程序异常处理”的最佳实践

在实际业务开发过程中,这种问题比较隐蔽代理检测线程异常,尤其是在异步线程中执行时,如果不加留意,很容易出现上面所描述的问题。

3 最佳实践3.1 权衡是否吞异常

在二方服务封装时,如捕捉异常,应打印出查询参数和异常详情。

实际开发中,一般都不会吞异常,遇到吞异常场景要慎重思考是否合理。

另外,正如第二部分给出的范例所示,如果调用二方接口出现异常没有打印日志,将对排查问题造成很大的困难。

3.2 受检异常 非受检异常

Java 中的异常主要分为两类:受检异常和非受检异常。

根据 JLS 异常部分的描述

阿里一面,和面试官互喷“程序异常处理”的最佳实践

Error 和 Exception 都是 Throwable的子类。 RuntimeException 和其子类都属于运行时异常。Error 类和其子类都属于错误类。RuntimeException 及其子类 和 Error类及其子类 属于非受检异常,除此之外的 其他 Throwable 子类属于受检异常。

开发中自定义的业务异常(BusinessException)属非受检异常,会定义为 RuntimeException 的子类。

有人将业务异常定义为受检异常,会导致底层抛出后上层调用每层都要被迫处理。

3.3 努力使失败保持原子性

《Effective Java》第 3 版 第 76条 努力使失败保持原子性[^2] 所提到的那样。

我们可以在函数核心代码执行前对参数进行检查,对不满足的条件抛出适当的异常。

实际开发中通常可以使用 com.google.common.base.Preconditions 或者 org.apache.commons.lang3.Validate 第三方库提供的参数检查工具类来实现。

3.4 如果忽略异常,请给出理由

如果 catch 住异常却没有进行编写任何处理代码,请在注释中给出充分的理由,避免其他人产生困惑,避免留坑。

大家可以参考 org.springframework.context.support.AbstractApplicationContext#close 源码:

阿里一面,和面试官互喷“程序异常处理”的最佳实践

上面的源码捕捉到 IllegalStateException 异常以后没有处理,给出了处理方式和原因: 忽略此异常,因为虚拟机已经正在关闭。

04 总结

本节主要讲异常的一些处理建议代理检测线程异常,包括是否要 “吞掉” 异常,循环中的异常处理,以及一些补充建议。希望大家可以重视异常,少趟坑。

参考

阿里巴巴Java 开发手册 华山版

《Effective Java 中文版 (原书第 3 版)》

VPS购买请点击我

文章版权声明:除非注明,否则均为主机测评原创文章,转载或复制请以超链接形式并注明出处。

目录[+]