第七章 内部类与异常类

7.1 内部类

在一个类(设为类1)中定义另一个类(设为类2)。类2就叫做内部类，类1叫做外嵌类。

• 内部类与外嵌类的关系:

• 内部类的一些特性:

• 如何打破内部类仅供外嵌类使用的限制

可以将内部类声明为静态类，即加上修饰符$static$。此时内部类会作为外嵌类的一种静态数据类型。由此便可以使用内部类在别的类中声明实例对象。

注意:非内部类不可以是$static$类。

7.2 匿名类

主要是2个方面：和子类有关的匿名类、和接口有关的匿名类。

用Lambda表达式代替匿名类与函数接口与Lambda表达式相差不大，不做记录。

• 和子类有关的匿名类

• 和接口有关的匿名类

$java$允许直接使用接口名和类体创建一个匿名对象。假设$Computable$是一个接口:

new Computable(){
    实现接口的匿名类的类体
}

Computable com = new Computale(){
    实现接口的匿名类的类体
}

这里匿名类的类体必须重写接口的全部抽象方法。

• Lambda表达式代替匿名类

略

匿名类的实例对象一般作为参数被传递。在本书中，主要用于事件响应。

7.3 异常类

关于异常，此处仅做简单记录。

异常：所谓异常就是程序运行时可能出现的一些错误。

• 错误：当程序不能正常运行或者运行结果不正确时，表明程序中有错误。按照错误的性质可将程序错误分成3类:语法错、逻辑错、运行时错误(语义错)。

  • 语法错：违反语法规范的错误。一般编译时会被编译器指出。在IDE中一般会在程序编写的过程中指出。

  • 逻辑错：程序可以通过编译并运行。但是运行结果不符合预期。这种错误一般只能通过程序员的经验修改。

  • 运行时错误：也叫做语义错。程序在语法上正确，但是在运行过程中会报错。如:除数为0，数组下标越界，变量赋值超过其数据类型的表示范围等。

    语义错又有两种:

    1. 能够被程序事先处理:比如，除数为0，数组下标越界等，我们可以通过if语句来事先判断。
    2. 不能被程序事先避免的：比如，程序崩溃，网络连接中断，打开文件不存在等。

    语义错还有一种划分方式:

    1. 错误(Error):指程序运行时遇到的硬件或操作系统的错误。如内存溢出、虚拟机错误，系统崩溃等。错误对程序而言是致命性的,导致程序无法运行，只能依靠外界干预。
    2. 异常(Exception):指在硬件和操作系统正常时，程序遇到的运行错，如整数进行除法运算时除数为0，或操作数超出数据范围，或打开一个文件时发现文件不存在，或网络连接中断等。异常对程序非致命，能导致程序终止。但$java$的异常处理机制可以处理异常，让程序继续运行。

• try-catch-finally语句

语法规范：

try{
    运行语句块(包含可能会发生异常的语句)
}
catch(ExceptionSubClass1 e){
    
}
catch(异常类名 异常类对象名){
    
}
finally{
    
}

在try语句块中，一旦遇到throw抛出的异常，那么后面的语句都不会执行。

catch子句编写顺序：一旦在try语句块中抛出异常，那么会按照catch子句的编写顺序从上到下依次匹配，如果抛出异常的类型是catch子句参数的类型或其子类，则异常被该catch子句捕获。
因此，异常类的子类应该尽可能的写在父类的前面，否则子类catch代码段将永远不可达。

• catch子句异常捕获规则:

  1. 捕获异常与catch子句类型相同。
  2. 捕获异常是catch子句类型的子类。
  3. 一个异常被多个catch子句匹配时，按语句顺序匹配第一个。

• 关于finally：
  在try-catch语句执行后，程序便会执行finally语句块。不管try是否抛出了异常，finally都会被执行。
  这里有两个特殊情况:

1. 如果在try-catch语句中执行了return语句，那么finally语句仍然会被执行。注意return出现在try语句块中还是出现在catch语句块中，最后finally都会执行。
2. 如果在try-catch语句中执行了程序退出代码，即执行了System.out.exit(0);，则不会执行finally子句(当然也包括System.out.exit(0)之后的所有代码)。

自定义异常类

我们可以自己定义异常类，自己定义的异常类继承自其他异常父类。比如Exception等。

同时我们可以指定哪些方法可以跑出哪些异常，这需要使用关键字throws。注意throws与throw的区别。

throw是在程序中指定抛出一个异常类的对象，这个对象一般被用来捕获。
throws是指定某个方法可以跑出哪些类。比如:

public void fun() throws Exception1,Exception2,Exception3{
    
}

如果一个方法可以跑出多个异常类，这些类之间用逗号分隔开。

断言

语法格式:

assert booleanExpression;
assert booleanExpression:messageException;

booleanExpression为布尔表达式，如果结果为true，则程序继续执行，为false，程序停止。

messageException：为一表达式。当断言结果为false时，程序停止，并输出messageException表达式的值。

• 启用断言:

java -ea 主类名

这里的-ea参数表示开启断言。

参考资料

[1] java2 实用教程(第六版)（耿祥义 张跃平 主编）