Java中Exception和Error的区别详解

世界上存在永远不会出错的程序吗?也许这只会出现在程序员的梦中。随着编程语言和软件的诞生,异常情况就如影随形地纠缠着我们,只有正确的处理好意外情况,才能保证程序的可靠性。
java语言在设计之初就提供了相对完善的异常处理机制,这也是java得以大行其道的原因之一,因为这种机制大大降低了编写和维护可靠程序的门槛。如今,异常处理机制已经成为现代编程语言的标配。
今天我要问你的问题是,请对比Exception和Error,另外,运行时异常与一般异常有什么区别?
典型回答
Exception和Error都是继承了Throwable类,在java中只有Throwable类型的实例才可以被抛出(throw)或者捕获(catch),他是异常处理机制的基本组成类型。
Exception和Error体现了java平台设计者对不同异常情况的分类,Exception是程序正常运行中,可以预料的意外情况,可能并且应该被捕获,进行相应的处理。
Error是指正常情况下,不大可能出现的情况,绝大部分的Error都会导致程序(比如JVM自身)处于非正常状态,不可恢复状态。既然是非正常情况,所以不便于也不需要捕获,常见的比如OutOfMemoryError之类,都是Error的子类。
Exception又分为可检查(checked)异常和不检查(unchecked)异常,可检查异常在源码里必须显示的进行捕获处理,这里是编译期检查的一部分。前面我们介绍的不可查的Error,是Throwable不是Exception。
不检查异常就是所谓的运行时异常,类似NullPointerException,ArrayIndexOutOfBoundsExceptin之类,通常是可以编码避免的逻辑错误,具体根据需要来判断是否需要捕获,并不会在编译器强制要求。

考点分析:
分析Exception和Error的区别,是从概念角度考察了java处理机制。总的来说,还处于理解的层面,面试者只要阐述清楚就好了。
我们在日常的编程中,如何处理好异常是比较考验功底的。我觉得需要掌握两个方面:
第一,理解Throwable,Exception,Error的设计和分类。比如,掌握那些应用最为广泛的子类,以及如何自定义异常等。
很多面试官会进一步追问一些细节,比如,你了解哪些Error,Exception或者RuntimeException?我画了一个简单的类图,并列出来典型例子,可以给你作为参考,至少做到基本心里有数。

其中有些子类型,最好重点理解一下,比如
NoClassDefFoundError和ClassNotFoundException有什么区别,这也是一个经典的入门题目。
简单总结就是,NoClassDefFoundError发生在编译时对应的类可用,而运行时在Java的classpath路径中,对应的类不可用导致的错误。
第二,理解java语言中操作Throwable的元素和实践。掌握最基本的语法是必须的,比如try-catch-finally块,throw,throws关键字等。与此同时,也要懂得如何处理典型场景。
异常处理代码比较繁琐,比如我们需要写很多千篇一律的捕获代码,或者在finally里面做一些资源回收工作。随着java语言的发展,引入了一些更加便利的特性,比如try-with-resource和multiple catch,具体可以参考小面的代码段,在编译时期,会自动生成相应的处理逻辑,比如,自动按照约定俗成close那些扩展了AutoCloseable或者Closeable的对象。

try(BuffereReader br =new BufferReader(...);
    BufferedWriter writer = new BufferredWriter(...))
    {//dosomething}
catch(IOException | XException){//handle it}

知识扩展
前面谈的大多是概念性的东西,下面我来谈一些实践中的选择,我会结合一些代码用例进行分析。
先看第一个,下面的代码反应了异常处理中哪些不当之处?

try{
//业务代码
Thread.sleep(1000L);
}catch(Exception e){
//Ignore it
}

这段代码虽然很短,但是异常违反了异常处理的两个基本原则。
第一,尽量不要捕获类似Exception这样的通用异常,而是应该捕获特定异常,这里是Thread。sleep()抛出的InterruptedException.
这是因为在日常的开发合作中,我们读代码的机会往往超过写代码,软件工程师门协作的艺术,所以我们有义务让自己的代码能够直观体现出尽多的信息,而泛泛的Exception之类,恰恰隐藏了我们的目的。另外。我们也要保证程序不会捕捉到我们不希望捕获的异常。比如你可能更希望RuntimeException被扩散出来,而不是被捕获。
进一步讲,除非深思熟虑了,否者不要捕获Throwable或者Error,这样很难保证我们能够正确程序处理OutOfMemoryError.
第二,不要生吞(swallow)异常。这一异常处理中特别注意的事情,很可能会导致非常难以诊断的诡异情况。
生吞异常,往往是基于假设这段代码可能不会发生,或者感觉忽略异常是无所谓的,但是千万不要在产品代码做这种假设!
如果我们不能把异常抛出来,或者也没有输出到日志(Logger)之类,程序可能会在后续代码以不可控的方式结束。没人能够轻易判断究竟是哪里抛出了异常,以及什么原因产生了异常。
再看第二段代码

try{
//业务代码
}catch(IOException e){
    e.printStackTrace();
}

这段代码作为一段实验代码,他没有任何问题,但是在产品代码中,通常是不允许这样处理的。你先考虑一下为什么?
我们先来看一下printStackTrace()的文档,开头就是Prints this throwable and its backtrace to the standard error stream问题就在这里,在稍微复杂一点的生产系统中,标准出错(STERR)不是个合适的输出选项,因为你很难判断出到底输出到哪里去了。
尤其是分布式系统,如果发生异常,但是无法找到堆栈轨迹(stacktrace),这纯属是为诊断设置障碍,所以最好使用产品日志,详细地输出到日志系统里。
我们接下来看下面的代码段,体会一下Throw early,catch late原则。

public void readPreferences(String fileName){
    //perform operations...
    InputStream in = new FileInputStream(fileName);
    //..read the preferences file...
}

如果fileName是null,那么程序就会抛出NullPointerException,但是由于没有第一时间暴露出问题,堆栈信息可能非常令人费解,往往需要相对复杂的定位。这个NPE只是作为例子,实际产品代码中,可能是各种情况,比如获取配置失败之类的。在发现问题的时候,第一时间抛出,能够更加清晰地反映问题。
我们可以修改一下,让问题throw early ,对应的异常信息就会非常直观了。

public void readPreferences(String fileName){
    Objects.requireNonNull(fileName);
    //perform operations...
    InputStream in = new FileInputStream(fileName);
    //..read the preferences file...

至于catch late ,其实是我们经常苦恼的问题,捕获异常后,需要怎么处理呢?最差的处理方式,就是我们前面提到的“生吞异常”,本质上其实是掩盖问题。如果实在不知道怎么处理,可以选择保留原有异常的cause信息,直接再抛出或者构建新的异常抛出。在更高层面,因为有了清晰的(业务)逻辑,往往会更清楚合适的处理方式是什么。

有的时候我们会更具需要自定义异常,这个时候除了保证提供足够的信息,还有两个点需要考虑:

  • 是否需要定义成Checked Exception,因为这种类型设计的初衷就是为了从异常情况下恢复,作为异常设计者,我们往往有充足信息进行分类。
  • 为保证诊断信息足够的同时,要考虑避免包含敏感信息,因为那样可能导致潜在的安全问题。如果我们看java的标准库,你可能注意到类似java.net.ConnectException,出错信息是类似“connection refused(connection refused)”,而不包含具体的机器名,ip,端口等,一个重要考虑就是信息安全。类似的情况在日志中也有,比如,用户数据一般是不可以输出到日志里面的。
    业界有一种争论(甚至可以算上是某种程度的共识),java语言的checked Exception也许是个设计错误,反对者列举几点:
  • checked Exception的假设是我们捕获了异常,然后恢复程序。但是,其实我们大多数情况下,根本不可能恢复。checked exception的使用,已经大大偏离了最初的设计目的。
  • checked Exception不兼容functional编程,如果你写过lambda/stream代码,相信深有体会。
    很多开源项目,已经采纳了这种实践,比如spring,hibernate等,甚至反映在新的编程语言的设计中,比如Scala等。
    当然,很多人觉得没有必要矫枉过正,因为确实有一些异常,比如和环境相关的IO,网络等,其实是存在可回复性的,而且java已经通过业界的海量实践,证明了其结构高质量软件的能力。我们就不再进一步解读了。
    我们从性能角度来审视一下java的异常处理机制,这里有两个可能会相对昂贵的地方:
  • try-catch代码段会产生额外的性能开销,或者换个角度说,他往往会影响JVM对代码进行优化,所以建议仅捕获有必要的代码段,尽量不要一个大的try包住整段的代码;与此同时,利用异常控制代码流程,也不是一个好主意,远比我们通常意义上的条件语句(if/else,switch)要低效
  • java每实例化一个Exception,都会对当时的栈进行快照,这是一个相对比较重的操作。如果发生的非常的频繁,这个开销可能就不能被忽略了。
    所以,对于部分追求极致性能的底层类库,有种方式是尝试创建不进行快照的Exception.这本身也存在争议,因为这样做的假设在于,我创建异常时知道未来是否需要堆栈。问题是实际上可能吗?小范围或许可能,但是在大规模项目中,这么做可能不是个理智的选择。如果需要堆栈,但是没有收集这些信息,在复杂情况下,尤其是类似微服务这种分布式系统,这会大大增加诊断的难度。
    当我们的服务出现反应慢,吞吐量下降的时候,检查发生最频繁的Exception也是一种思路。关于诊断后台变慢的问题,我们会在后面的java性能基础模块中系统讨论。
    今天,我从一个常见的异常处理概念问题,简单的总结了java异常处理机制,并结合代码,分析了一些普遍认可的最佳实践,以及业界最新的一些异常使用共识。最后,我分析了一下异常开销,希望能对你有所帮助。
    一课一练
    关于我们讨论的题目你做到心中有数了吗?可以思考一个问题,对于异常处理编程,不同的编程范式也会影响到异常的处理策略,比如,现在非常火热的反应式编程,因为其本身是异步,基于事件机制的,所以出现异常情况,决不能简单的抛出;另外,由于代码堆栈不再是同步调用那种垂直结构,这里的异常处理和日志需要更加小心,我们看到的往往是特定executor的堆栈,而不是业务方法调用关系,对于这种情况,你有什么好的办法吗?

到此这篇关于Java中Exception和Error的区别详解的文章就介绍到这了,更多相关Java Exception和Error区别内容请搜索我们以前的文章或继续浏览下面的相关文章希望大家以后多多支持我们!

(0)

相关推荐

  • java.lang.ExceptionInInitializerError异常的解决方法

    今天在开发的过程中,遇到java.lang.ExceptionInInitializerError异常,百度查了一下,顺便学习学习,做个笔记 静态初始化程序中发生意外异常的信号,抛出ExceptionInInitializerError表明在计算静态初始值或静态变量的初始值期间发生异常. 要理解这个异常从Java类中的静态变量初始化过程说起,在Java类中静态变量的初始化顺序和静态变量的声明顺序是一致的.示例程序为: package com.lang.ininitialException; im

  • SpringBoot异常: nested exception is java.lang.NoClassDefFoundError: javax/servlet/ServletContext解决方案

    今天在使用SpringBoot创建了一个项目出现如下异常 org.springframework.beans.factory.BeanCreationException: Error creating bean with name 'documentationPluginsBootstrapper': Resolution of declared constructors on bean Class [springfox.documentation.spring.web.plugins.Docu

  • Java异常处理操作 Throwable、Exception、Error

    异常是一个事件,它发生在程序运行期间,干扰了正常的指令流程. Java通过API中Throwable类的众多子类描述各种不同的异常.因而,Java异常都是对象,是Throwable子类的实例,描述了出现在一段编码中的 错误条件.当条件生成时,错误将引发异常. Throwable 在 Java 中,所有的异常都有一个共同的祖先 Throwable(可抛出).Throwable 指定代码中可用异常传播机制通过 Java 应用程序传输的任何问题的共性. Throwable 有两个重要的子类:Excep

  • Android studio报: java.lang.ExceptionInInitializerError 错误

    一.问题描述 Android studio导入一个项目报一堆错误: Process: xhs.com.xhswelcomeanim, PID: 1416 Java.lang.ExceptionInInitializerError at com.werb.gankwithzhihu.ui.fragment.ZhihuFragment.createPresenter(ZhihuFragment.java:33) at com.werb.gankwithzhihu.ui.fragment.ZhihuF

  • Java java.lang.ExceptionInInitializerError 错误如何解决

     Java java.lang.ExceptionInInitializerError 错误如何解决 引起 Java.lang.ExceptionInInitializerError 错误的原因是:在类的初始化时,出错.也就是说,在加载类时,执行static的属性.方法块时,出错了. 比如 public class AA { private static AA aa = new AA(); private AA(){//构造方法 init(); } public void init(){ ...

  • Mybatis配置错误:java.lang.ExceptionInInitializerError

    情况一:配置文件,无法被导出或者生效 修改前: 修改后: 究其原因,这是由于Maven的约定大于配置,导致我们写的配置文件,无法被导出或者生效的问题,解决方案: 在pom.xml文件中配置导出非resources文件夹下的xml文件和properties,这样在编译运行后target文件夹下就能找到对应的配置文件了. <build> <resources> <resource> <directory>src/main/resources</direct

  • Java中Exception和Error的区别详解

    世界上存在永远不会出错的程序吗?也许这只会出现在程序员的梦中.随着编程语言和软件的诞生,异常情况就如影随形地纠缠着我们,只有正确的处理好意外情况,才能保证程序的可靠性. java语言在设计之初就提供了相对完善的异常处理机制,这也是java得以大行其道的原因之一,因为这种机制大大降低了编写和维护可靠程序的门槛.如今,异常处理机制已经成为现代编程语言的标配. 今天我要问你的问题是,请对比Exception和Error,另外,运行时异常与一般异常有什么区别? 典型回答 Exception和Error都

  • Java 中泛型 T 和 ? 的区别详解

    目录 泛型中 T 类型变量 和 ? 通配符 区别 Generic Types 类型变量 用法 2.声明通用的方法 – 泛型方法: 有界类型参数 Wildcards 通配符 1.上界通配符:? extend 上界类型 2.无界通配符:? 3.下界通配符:? super 子类 类型擦除 泛型中 T 类型变量 和 ? 通配符 区别 定义不同 :T 是类型变量,? 是通配符 使用范围不同: ? 通配符用作 参数类型.字段类型.局部变量类型,有时作为返回类型(但请避免这样做) T 用作 声明类的类型参数.

  • 基于Java中throw和throws的区别(详解)

    系统自动抛出的异常 所有系统定义的编译和运行异常都可以由系统自动抛出,称为标准异常,并且 Java 强烈地要求应用程序进行完整的异常处理,给用户友好的提示,或者修正后使程序继续执行. 语句抛出的异常 用户程序自定义的异常和应用程序特定的异常,必须借助于 throws 和 throw 语句来定义抛出异常. throw是语句抛出一个异常. 语法:throw (异常对象); throw e; throws是方法可能抛出异常的声明.(用在声明方法时,表示该方法可能要抛出异常) 语法:[(修饰符)](返回

  • Java中接口和抽象类的区别详解

    需求:接口是否可继承接口?抽象类是否可实现(implements)接口?抽象类是否可继承实体类(concrete class)?抽象类中是否可以有静态的main方法? 先说明二者的定义,然后聊聊需求,最后分析二者的区别. 含有abstract修饰符的类即为抽象类,抽象类不能创建实例对象.含有抽象方法的类必须定义为abstract class.在abstract class中,方法不必是抽象的,但是抽象方法必须在具体子类中实现,所以,不能有抽象构造方法或抽象静态方法.子类如果没有实现抽象父类中的所

  • java中ArrayList和LinkedList的区别详解

    ArrayList和LinkedList都实现了List接口,有以下的不同点: 1.ArrayList是基于索引的数据接口,它的底层是数组.它可以以O(1)时间复杂度对元素进行随机访问.与此对应,LinkedList是以元素列表的形式存储它的数据,每一个元素都和它的前一个和后一个元素链接在一起,在这种情况下,查找某个元素的时间复杂度是O(n). 2.相对于ArrayList,LinkedList的插入,添加,删除操作速度更快,因为当元素被添加到集合任意位置的时候,不需要像数组那样重新计算大小或者

  • Java中堆和栈的区别详解

    当一个人开始学习Java或者其他编程语言的时候,会接触到堆和栈,由于一开始没有明确清晰的说明解释,很多人会产生很多疑问,什么是堆,什么是栈,堆和栈有什么区别?更糟糕的是,Java中存在栈这样一个后进先出(Last In First Out)的顺序的数据结构,这就是java.util.Stack.这种情况下,不免让很多人更加费解前面的问题.事实上,堆和栈都是内存中的一部分,有着不同的作用,而且一个程序需要在这片区域上分配内存.众所周知,所有的Java程序都运行在JVM虚拟机内部,我们这里介绍的自然

  • Java中Vector与ArrayList的区别详解

    首先看这两类都实现List接口,而List接口一共有三个实现类,分别是ArrayList.Vector和LinkedList.List用于存放多个元素,能够维护元素的次序,并且允许元素的重复.3个具体实现类的相关区别如下:1.ArrayList是最常用的List实现类,内部是通过数组实现的,它允许对元素进行快速随机访问.数组的缺点是每个元素之间不能有间隔,当数组大小不满足时需要增加存储能力,就要讲已经有数组的数据复制到新的存储空间中.当从ArrayList的中间位置插入或者删除元素时,需要对数组

  • java中SynchronizedList和Vector的区别详解

    前言 Vector是java.util包中的一个类. SynchronizedList是java.util.Collections中的一个静态内部类. 在多线程的场景中可以直接使用Vector类,也可以使用Collections.synchronizedList(List list)方法来返回一个线程安全的List. 那么,到底SynchronizedList和Vector有没有区别,为什么java api要提供这两种线程安全的List的实现方式呢? 首先,我们知道Vector和Arraylis

  • java线程中start和run的区别详解

    这篇文章主要介绍了java线程中start和run的区别详解,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友可以参考下 public class Test1 extends Thread { @Override public void run() { while (true) { System.out.println(Thread.currentThread().getName()); } } public static void main(String[

  • Java中Stream流中map和forEach的区别详解

    目录 什么是 stream 流 Map forEach 使用场景 不是很难的知识,但是今天犯错了,记录一下 什么是 stream 流 我们在使用集合或数组对元素进行操作时往往会遇到这种情况:通过对不同类型的存储元素,按照特定条件进行查找.排序.等操作时往往会写一大段代码,而且更要命的是,不同类型的数据,操作的方法也不一样,比如一个存储 Student 实体类和一个只存储 String 类型的集合俩者的操作步骤肯定大不一样且无法通用,而 stream API 就解决了这些问题,对数据操作时进行了统

随机推荐