Java异常处理最佳实践及陷阱防范

 

前言

无论在咱们的工做仍是生活中，总会出现各类“错误”，各类突发的“异常”。不管咱们作了多少准备，多少测试，这些异常总会在某个时间点出现，若是处理不当或是不及时，每每还会致使其余新的问题出现。因此咱们要时刻注意这些陷阱以及须要一套“最佳实践”来创建起一个完善的异常处理机制。

正文

异常分类

 

 

首先，这里我画了一个异常分类的结构图。

在JDK中，Throwable是全部异常的父类，其下分为”Error“和”Exception“。Error意味着出现了不可控的严重错误，例如OutOfMemoryError。Exception则细分为两类，受检异常（check）须要咱们手动try/catch或者在方法定义中throws，编译器在编译的时候会检查其合法性。非受检异常（uncheck）则不须要咱们提早处理。这些简单的概念对于开发人员来讲都是必须掌握的，这里就展现个图例，不作详细的描述了，咱们的”正餐“还在后面。

从新认识try/catch/finally

说到异常处理，这里就不得不提try/catch/finally。try不能够单独存在，要么搭配catch，要么搭配finally，或者三者并存。
一、try代码块：监视代码块的执行，发现对应的的异常则跳转至catch，若无catch则直接到finally块。
二、catch代码块：发生对应的异常会执行里面的代码，要么处理，要么向上抛出。
三、finally代码块:不论是否有异常，都必执行，通常用来清理资源，释放链接等。然而有如下几种状况不会执行到这里的代码。

• 代码执行流程未进入try代码块。
• 代码在try代码块中发生死循环、死锁等状态。
• 在try代码块中执行了System.exit()操做。

try/catch/finally陷阱

下面介绍两个咱们在使用tcf的时候可能会遇到的陷阱。

代码1

public class TCFDemo {
    public static void main(String[] args) {
        //11
        System.out.println(returnVal());
    }

    static int returnVal(){
        int a = 1;
        int b = 10;
        try{
            return ++a;
        }finally {
            return ++b;
        }
    }
}

 

陷阱1：在finally中添加return语句，这样会覆盖掉try代码return的值，假如业务逻辑比较复杂，这里是很容易掉坑的，不利于排查错误。

代码2

public class TCFDemo {
    public static void main(String[] args) {
        Lock lock = new ReentrantLock();
       try{
            //有可能加锁失败
            lock.lock();
            //dost
       }finally {
           lock.unlock();
       }
    }
}

 

陷阱2：因为lock方法在加锁的时候有可能会抛出Uncheck异常，若是在try代码块中，必然会执行unlock方法，此时因为并无加锁成功，因此会抛出IllegalMonitorStateException，这样一来后者的异常就覆盖掉了前者加锁失败的异常信息，因此咱们应该把加锁的方法挪至try代码块外面。

最佳实践

好了，前面简单介绍了异常的分类以及try/catch/finally的注意事项，如今能够总结一下咱们在异常处理的时候有哪些”最佳实践“了。

1. 当须要向上抛出异常的时候，需根据当前业务场景定义具备业务含义的异常，优先使用行业内定义的异常或者团队内部定义好的。例如在使用dubbo进行远程服务调用超时的时候会抛出DubboTimeoutException，而不是直接把RuntimeException抛出。
2. 请勿在finally代码块中使用return语句，避免返回值的判断变得复杂。
3. 捕获异常具体的子类，而不是Exception，更不是throwable。这样会捕获全部的错误，包括JVM抛出的没法处理的严重错误。
4. 切记更别忽视任何一个异常（catch住了不作任何处理），即便如今能确保不影响逻辑的正常运行，可是对于未来谁都没法保证代码会如何改动，别给本身挖坑。
5. 不要使用异常看成控制流程来使用，这是一个很奇葩也很影响性能的作法。
6. 清理资源，释放链接等操做必定要放在finally代码块中，防止内存泄漏，若是finally块处理的逻辑比较多且模块化，咱们能够封装成工具方法调用，代码会比较简洁。

结尾

小小的异常，有大大的学问，你以为呢？

 

 

公众号《深夜里的程序猿》 - 分享最干的干货