它能做任何事情还是仅用于文档。如果仅用于文档，为什么文档不记录它？比如System.Array的这两个静态方法:[ReliabilityContract(Consistency.MayCorruptInstance,Cer.MayFail)]publicstaticvoidCopy(ArraysourceArray,ArraydestinationArray,intlength)[ReliabilityContract(Consistency.WillNotCorruptState,Cer.Success)]publicstaticvoidConstrainedCopy(Arrayso