c# – 是否可以指定代码契约以确保方法不会更改对象的状态

概述假设我的对象上有一个布尔的IsValid属性. 我想创建一个方法,并确保在调用之后不更改IsValid,无论是在调用之前它是真还是假. 这样的事情有支持吗？ 我自己没有尝试过,但是 according to the MSDN Contract.OldValue可能有助于检查单个属性值是否未更改： public bool IsValid{ get { ... }}publ 假设我的对象上有一个布尔的IsValID属性.

我想创建一个方法,并确保在调用之后不更改IsValID,无论是在调用之前它是真还是假.

这样的事情有支持吗？

解决方法 我自己没有尝试过,但是 according to the MSDN Contract.oldValue可能有助于检查单个属性值是否未更改：

public bool IsValID{  get  {    ...  }}public voID SomeMethod(){  Contract.Ensures(this.IsValID == Contract.oldValue(this.IsValID));  ...}

总结

以上是内存溢出为你收集整理的c# – 是否可以指定代码契约以确保方法不会更改对象的状态全部内容，希望文章能够帮你解决c# – 是否可以指定代码契约以确保方法不会更改对象的状态所遇到的程序开发问题。

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