C# · 12月 25, 2021

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

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

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

这样的事情有支持吗?

解决方法 我自己没有尝试过,但是 according to the MSDN Contract.OldValue可能有助于检查单个属性值是否未更改: public bool IsValid{ get { … }}public void SomeMethod(){ Contract.Ensures(this.IsValid == Contract.OldValue(this.IsValid)); …}