如果传递给它的参数为null,则ArgumentNullException将抛出异常。这种情况发生在运行时。Contract.Requires是做什么的?它是编译时检查还是在运行时检查?
发布于 2013-04-14 22:30:00
Contract.Requires是一个运行时检查(运行时检查是在编译时自动生成的-参见文档的第6.2章和第7章)。也可以执行某些静态检查(参见文档第6.6章),但Requires是一种运行时检查。
请注意,有一个泛型重载,允许您指定要抛出的异常(例如,ArgumentNullException)。
https://stackoverflow.com/questions/15994117
复制相似问题