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

发布时间：2020-12-15 04:17:39 所属栏目：百科来源：网络整理

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

假设我的对象上有一个布尔的IsValid属性.

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

这样的事情有支持吗？

解决方法

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

public bool IsValid
{
  get
  {
    ...
  }
}

public void SomeMethod()
{
  Contract.Ensures(this.IsValid == Contract.OldValue(this.IsValid));
  ...
}

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!