软件构造笔记6

本章主要面向程序的健壮性，正确性保证了程序的正常运行，而健壮性提高了程序的容错能力，当用户传入了一个错误的数据，或者错误调用，我们不希望直接退出，而是尽力正确运行，并提示用户错误信息，这就需要异常机制

程序运行中可能产生错误和异常，他们都是可抛出的，throwable是他们的父类，其中error是用户无能为力的，runtime exception通常是可以避免的，他们二者合称为unchecked异常，就是指不需要用户去捕获处理他们，而其他的exception就需要用户提前声明或者捕获处理。

try-catch块是处理异常的语句，当try块内抛出异常之后，catch如果捕获会进行处理，另外可以添加finally块，代表这个块内的语句一定会执行，通常把一些一定会执行的语句放进这里

断言assert是一种很好用的查找错误的机制，通常在代码开发阶段使用，可以很快查找到出错误的地方，可以用于检测不变量，前置条件、后置条件等，但最终的完成代码中不应该出现，因为直接退出很不友好