ReliabilityContractAttribute有什么作用？

Question

它是做任何事情还是仅用于文档。 如果它仅用于文档，为什么文档不记录它？

例如， System.Array这两个静态方法：

[ReliabilityContract(Consistency.MayCorruptInstance, Cer.MayFail)]
public static void Copy(Array sourceArray, Array destinationArray, int length)

[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
public static void ConstrainedCopy(Array sourceArray, int sourceIndex, Array destinationArray, int destinationIndex, int length)

他们生成的MSDN文档甚至没有提到Copy或ConstrainedCopy被注释。

Answer 1

我相信它们也被用于约束执行区域，因此CLR知道它可以安全地做什么。 在CER中，您的代码无法执行某些操作，作为回报，CLR可以保证不会抛出某些带外异常。

MSDN有更多细节。

Answer 2

来自MSDN ：

ReliabilityContractAttribute属性为您提供了一种记录代码的机制，并指出在面临可能导致状态不一致的特殊情况时可以保证的可靠性类型。 在此上下文中，异常条件被定义为异步异常，它们可以在运行时由公共语言运行库生成，例如中止的线程，内存不足的情况和堆栈溢出。 您可以将ReliabilityContractAttribute属性应用于程序集，类型和方法。

将此属性与Consistency枚举一起使用，通过记录特定代码段中的可靠性级别来定义可靠性合同。