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

C# 前端之家
前端之家收集整理的这篇文章主要介绍了c# – 是否可以指定代码契约以确保方法不会更改对象的状态，前端之家小编觉得挺不错的，现在分享给大家，也给大家做个参考。
假设我的对象上有一个布尔的IsValid属性.

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

这样的事情有支持吗？

解决方法

我自己没有尝试过,但是 according to the MSDN Contract.OldValue可能有助于检查单个属性值是否未更改： 
  1. public bool IsValid
  2. {
  3.   get
  4.   {
  5.     ...
  6.   }
  7. }
  8.  
  9. public void SomeMethod()
  10. {
  11.   Contract.Ensures(this.IsValid == Contract.OldValue(this.IsValid));
  12.   ...
  13. }

猜你在找的C#相关文章

C#使用SharpZipLib创建压缩文件，并指定压缩文件夹路径（解决SharpZipLib压缩长路径显示问题）
在项目中使用SharpZipLib压缩文件夹的时候，遇到如果目录较深，则压缩包中的文件夹同样比较...
C#使用Parallel处理数据同步写入Datatable并使用BulkInsert批量导入数据库
项目需要，几十万张照片需要计算出每个照片的特征值（调用C++编写的DLL）。 业务流...
C# byte和10进制、16进制相互转换
var array = new byte[4]; var i = Encoding.UTF8.GetBytes(100.ToString("x2&am...
Winform下的Combox根据值来选中项
其实很简单，因为Combox的Item是一个K/V的object，那么就可以把它的items转换成IEnumerabl...
HM NIS Edit制作安装包时检测是否有.net4.6环境，没有的时候自动安装。
把.net4.6安装包打包进安装程序。 关键脚本如下： 头部引用字符串对比库 !include &qu...
WPF下使用FreeRedis操作RedisStream实现简单的消息队列
Redis Stream简介 Redis Stream是随着5.0版本发布的一种新的Redis数据类型： 高效消费者组...
C#进行图片压缩（对jpg压缩效果最好）
直接上代码 1 public static class ImageCompress 2 { 3 /// <summary> 4 /...
CefSharp访问需要认证网页或接口(在Request的Headers中添加认证Token)
然后在使用的时候，就可以获取到Header的内容了。
C#使用FileSystemWatcher来监控指定文件夹，并使用TCP/IP协议通过Socket发送到另外指定文件夹
项目需求： 局域网内有两台电脑，电脑A(Windows系统)主要是负责接收一些文件（远程桌面粘贴...
绿色版Mysql自动建立my.ini和命令行启动并动态指定datadir路径
1、先去下载绿色版的Mysql(https://cdn.mysql.com//archives/mysql-5.7/mysql-5.7.20-winx...
PHPJavaJava SEPythonC#C&C++RubyVBasp.NetGoPerlnettyDjangoDelphiJsp.NET CoreSpringFlaskSpringbootSpringMVCLuaLaravelMybatisAspGroovyThinkPHPYiiswoole
文件时间pythonm相等性PHP Warning时间问题问题解决pcntl_signal采样点wav模块动态文本调用频率限制对外暴露多个访问请求更新数据表模型结构type()方法比较速度手写体sobel算子保存模型Image类nn.Conv2dpytorch1.0kaggleDCGAN交并比range()用法打印模型反卷积卷积