异常

异常

在Nim中异常是对象。按照惯例，异常类型带有'Error'后缀。系统模型定义了一种异常层次结构，你要遵守。异常源自system.Exception,它提供公共的接口。

异常必须在堆上分配，因为它们的生存时间不确定。编译器将阻止你在栈空间创建异常。所有引发的异常应该在msg域说明原因。

一个约定是异常要在特殊的情况下才能被引发：例如，如果一个文件不能打开，这不应该引发一个异常因为这是很常见的（文件可能不存在）

raise语句

使用raise语句引发一个异常:

var
  e: ref OSError
new(e)
e.msg = "the request to the OS failed"
raise e

如果raise关键字没有在一个异常后面，最后的异常将会被引发。为了达到避免重复公共代码模式的目的，可以使用系统模块中的模板newException:

raise newException(OSError, "the request to the OS failed")

try语句

try语句处理异常：

# read the first two lines of a text file that should contain numbers
# and tries to add them  读取一个文本文件的前两行，它应该包含数字已经尝试添加它们
var
  f: File
if open(f, "numbers.txt"):
  try:
    let a = readLine(f)
    let b = readLine(f)
    echo "sum: ", parseInt(a) + parseInt(b)
  except OverflowError:
    echo "overflow!"
  except ValueError:
    echo "could not convert string to integer"
  except IOError:
    echo "IO error!"
  except:
    echo "Unknown exception!"
    # reraise the unknown exception:
    raise
  finally:
    close(f)

除非引发一个异常，try之后的语句才会执行。然后会执行except相应的部分。

如果这有一个异常没有明确的列出，将会执行空的except部分。它类似于if语句中的else部分。

如果存在finally部分，在异常处理之后它必须执行。

异常是在except部分处理，如果一个异常没有处理，它是通过调用堆栈传播。那意味着通常剩下的程序-不在一个finally的部分--是不执行的（如果异常发生）。

如果你需要访问实际的异常对象或者except分支中的消息，可以使用系统模型中的getCurrentException()和getCurrentExceptionMsg()的方法。例如：

try:
  doSomethingHere()
except:
  let
    e = getCurrentException()
    msg = getCurrentExceptionMsg()
  echo "Got exception ", repr(e), " with message ", msg

注释过程提出异常

尽管使用可选项{.raises.}编译注释你可以确定一个过程是为了引发一组特定的异常，或者根本什么都没有。如果使用{.raises.}编译注释，编译器会验证这是正确的。例如：如果你指定一个过程引发IOError，在某些地方它（或者是它调用的方法之一）开始引发一个新的异常，编译器将会阻止过程编译。使用示例：

proc complexProc() {.raises: [IOError, ArithmeticError].} =
  ...

proc simpleProc() {.raises: [].} =
  ...

一旦你在程序中有这样的代码，如果引发异常的列表发生改变，编译器将会停止，在过程特定的地方出现一个错误，过程将停止验证语用以及不能捕获引发的异常，随着文件以及行未捕获的异常被引发，它可能帮助你找到异常改变的问题代码。

如果那你想为现有的代码添加{.raises.}编译注释，编译器也会帮组你。你可以添加{.effects.}编译注释语句都你的过程中，编译器将会输出所有已经推断的影响达到那一点（异常轨迹是nim的影响系统的一部分）。

另一种间接地方法通过一个过程找到引发的异常列表是使用nim doc2命令，它为了整个模块生成文档以及用引发异常列表装饰所有的过程。