前端之家收集整理的这篇文章主要介绍了
c# – 是否可以指定代码契约以确保方法不会更改对象的状态,
前端之家小编觉得挺不错的,现在分享给大家,也给大家做个参考。
假设我的对象上有一个布尔的IsValid
属性.
我想创建一个方法,并确保在调用之后不更改IsValid,无论是在调用之前它是真还是假.
这样的事情有支持吗?
我自己没有尝试过,但是
according to the MSDN Contract.OldValue可能有助于检查单个
属性值是否未更改:
public bool IsValid
{
get
{
...
}
}
public void SomeMethod()
{
Contract.Ensures(this.IsValid == Contract.OldValue(this.IsValid));
...
}
原文链接:https://www.f2er.com/csharp/92131.html