sml基本语法(五)——异常

异常

机制、目的以及思想和其他语言(如Java)中的异常几乎没有什么不同，所以我们重点关注异常在ML语言中的语法特性。

1. 本质：ML语言中的内置类型exn(关于数据类型详见(四)数据类型)
2. 特性：1).exn类型的构造子集合可以通过声明语句被扩展
      2).异常包不是ML的值，能识别它们的只有$raise$和$handle$

声明

1. nullary exception
      $exception$ $Ex$，
   其中exception为ML关键字，Ex为异常的名字(名字通常首字母大写)

///~eg:
exception Failure

 相当于在内置类型exn中扩展了一个名为$Failure$的常量构造子，扩展操作也即声明语句，和数据类型中定义构造子的形式一样，这是自然的，因为异常本身就是ML的内置类型。同样依据构造子可看做构造函数特性，我们可以定义携带成员的异常值，

2. value-carrying exception
      $exception$ $Ex$ $of$ $typ$

///~eg:
exception Failedbecause of string;
exception Badvalues of int;

抛出异常

   $raise$ $Ex$
其中Ex为异常e或者值为exn类型的表达式，作用就是计算出一个含值e的异常包。

包含异常值的表达式的计算
三个原则
p₁：计算过程是短路的(类似&&和||)
p₂：函数遵循传值调用call-by-value原则
p₃：表达式遵循从左往右计算

1. 含异常包的函数：
   由p₁和p₂可知
      $f(raise$ $E)⟺raise$ $E$
   例如
      $rasie$ $(Badvalue$ $(raise$ $Failure))$
   最后计算的值为Failure异常包
2. 元组(tuple)：
   由p₁和p₃可知
      $(E_1,E_2,...,E_n)=E_f$
   其中$E_f=$ {$E_i,i=1,2,...,n|$第一个值为异常的表达式}
3. if-else语句
      $if$ $E$ $then$ $E_1$ $else$ $E_2$
   除了遵循p₁，还应注意if-else语句特殊性，如果$E$为$true$，无论$E_2$为何值均不计算，同理如果$E$为$false$，则不计算$E_1$，如果$E$的值为异常包，则整个if-else表达式的值均为该异常包
4. 类似分析可知let语句和分情case表达式中的计算情况

处理异常

书写类似case表达式
   $E$ $handle$ $E_1$ => $e_1$
       $(|$ $E_2$ => $e_2$
         $.....$
        $E_2$ => $e_2)$
如果没有匹配的异常，则将异常继续传递出去（也许能将它交给更外层的异常处理器处理）

注意异常处理器接收异常的作用域

1. if-else语句
      $if$ $E$ $then$ $E_1$ $else$ $E_2$ $handle\cdot \cdot \cdot$
   这个$handle$处理的是$E_2$
      $(if$ $E$ $then$ $E_1$ $else$ $E_2)$ $handle...$
   而这个$handle$处理的是整个if-else语句

2. case表达式
      $case$ $E$ $of$ $P_1$ => $E_1|\cdot \cdot |Pn$ => $E_n$ $handle\cdot \cdot \cdot$