Exception safety for C#

C#异常的安全性。抛出和处理异常，这种编程语言机制可以简化一些计算机程序。但是异常的使用也是容易出错的，导致了新的编程错误和难以理解的代码。本文阐述了如何规范C#中异常的使用，尤其是，Spec#中对异常的处理。Spec#是一个实验性的包含代码契约的C#巨集。