上文小结

-------------------------

异常分为：

预期的异常和非预期的异常。 ExpectedException, UnexpectedException.

预期的异常分为：

1. 没有给定符合要求的输入。FerificationFailedException

2. 方法内部由于外部因素产生的异常。UnexpectedExternalException

3. 方法内部运算结果没有符合预期的输出结果 UnhandledResultException。

方法是否抛出异常，分为：

1. 方法不允许抛出异常。直接采用try catch 封锁，记录日志。（void等、线程操作等）

2. 方法返回值能够代表异常，同样直接采用 try catch, 记录日志，返回值。（bool操作等）

允许抛出异常的方法，异常处理包括：

1. 所有子类的输入验证异常全部被拦截，当前方法的输入验证，根据策略抛出。

2. 所有外部异常全部抛出

3. 所有没有符合运算结果的异常，根据策略抛出。

4. 所有非预期异常抛出

NoException

当前类如果不会抛出异常，就标注NoException.（一般不可能。所以显示标注）所以

当前类，不抛出异常；子类异常全部拦截。

FerificationFailedException

任何方法都隐含了这个异常，可以是显示的抛出，也有可能是隐含的抛出（代码没有抛出，但是分析的时候会标注抛出）

当前类标注了 VerificationSucceed，则当前类不抛出；子类拦截；一旦出现异常，就属于非预期异常处理。

当前类没有标注，则继续传递，不做任何处理。最终拦截的类，如果拦截到这个异常，属于非预期异常，定位在第一个没有标注的类。

UnexpectedExternalException

遇到了一律抛出。

UnhandledResultException

当前类抛出；子类抛出策略同输入验证；如果标注了verificationsucceed还是抛出，则是bug，属于非预期异常。

----------------------------------------------------

代码设计：

1. 设计3种exception,

2. 设计2个标签，NoException / VerificationSucceed

3. 设计一个处理决策： ExceptionHandler.负责处理异常、抛出异常。

Exceptions.Throw();

Exceptions.Handle();