软件构造系列（九）增强健壮性与正确性

我们前面说过，一个程序前置条件越低，后置条件越强，它的强度就会越高，那么这里的健壮性和正确性也是如此，让我们的程序更加完善，变成一个更加实用的程序。

异常

我们常用异常来维护我们的程序，当我们程序发生错误时，我们选择抛出一个异常

throw new Exception();//当然括号里可以填字符串来说明错误信息

我们也可以自己创建异常，就跟普通的类一样，可以做一切普通类的操作，只不过继承了Exception类

public class FormatException extends Exception{//创建一个格式错误的异常
 	public FormatException() {//我们给异常信息前都加上format error显示这时格式错误
  		super("format error");
 	}
 	public FormatException(String a) {
  		super("format error:" + a);
 	}
}

对于抛出的异常我们要捕获它，并做相应的操作让程序回归正常，这里使用try，catch，finally来捕获它，下面举个例子来说明用法，我们有一个字符串string要满足yyyy-MM-dd的格式，不满足我们就提示错误：

Pattern pattern = Pattern.compile("\\d{4}-\\d{2}-\\d{2}");
String string = "2018-01-1";
Matcher matcher = pattern.matcher(string);
try {  

	if(!matcher.matches()) throw new FormatException(string);//第一步：格式错误抛出带string信息的异常format error:2018-01-1

} catch (FormatException e) {
 //这里面就进行程序的修复操作以及提醒客户正确操作
	System.out.println(e.getMessage()); //第二步：捕获到异常后输出异常的信息
   
} finally {
  
	System.out.println("fianlly");//第三步：这个一定会执行，不管捕没捕获到异常
   
}
 
System.out.println("last");//最后执行

finally一定在try或者catch执行之后才会执行，并且一定会执行，也就是说，如果try里有return 0，finally有return 1，最后一定会return 1，当然finally也可以不写。
对于程序抛出的异常，你可以当场捕获，也可以直接抛出，在程序外部统一捕获，一切都要看实际情况。

断言

首先eclipse默认是关闭断言功能的，我们要先开启断言。
点击run->run Configurations->Arguments,在下面窗口输入-ea即可

断言使用assert来判断程序的正确性，两个用法
1.assert 布尔表达式；
2.assert 布尔表达式：错误信息；
布尔表达式为真，忽略，为假，抛出AssertionError，如果有错误信息则一起抛出
断言不能被捕获，因为断言继承自error，表示程序有严重错误，断言一般用于测试的时候，用于方法的前置条件和后置条件，说白了，断言用在绝不可能错误的地方来表示正确性。

实战

下面我们举个例子，我们要从控制台输入一个yyyy-MM-dd格式的日期，当然我们的客户有可能不小心输错了没有按格式输入，此时为了程序的健壮性和正确性，我们应该提示客户重新输入：

while(true) {
  	Scanner reader = new Scanner(System.in);
  	String string = reader.next();//从控制台读数据
  	Pattern pattern = Pattern.compile("\\d{4}-\\d{2}-\\d{2}");
  	Matcher matcher = pattern.matcher(string);
  	try {  
   		if(!matcher.matches()) throw new FormatException(string);   
   		System.out.println("succeed");//输出格式正确    
  	} catch (FormatException e) {
   		System.out.println(e.getMessage());//提醒客户重新输入
  	} 
  }