c# – 代码合同：如何在后置条件中声明字段属性的值没有改变？

概述我最好只用一个代码示例来展示我想要实现的目标？ class SomeClass{ public int SomeProperty; public void SomeOperation() { Contract.Ensures( "SomeProperty's value has not changed." ); 我最好只用一个代码示例来展示我想要实现的目标？

class SomeClass{    public int SomeProperty;    public voID SomeOperation()    {        Contract.Ensures( "SomeProperty's value has not changed." );                     //   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^                     //    How can I write this post-condition?    }};

(传递给Contract.Ensures()的字符串当然只是实际后置条件表达式的占位符.)

我怎样才能做到这一点？ Contract.oldValue<>()在这里有用吗？

解决方法 Contract.OldValue应该足够了：

Contract.Ensures(this.someProperty == Contract.oldValue(this.somePropety));

总结

以上是内存溢出为你收集整理的c# – 代码合同：如何在后置条件中声明字段/属性的值没有改变？全部内容，希望文章能够帮你解决c# – 代码合同：如何在后置条件中声明字段/属性的值没有改变？所遇到的程序开发问题。

如果觉得内存溢出网站内容还不错，欢迎将内存溢出网站推荐给程序员好友。