草庐IT

c# - 测试先决条件的不同方法的优缺点？

coder 2024-05-19 原文

在我的脑海中，我可以想到 4 种检查空参数的方法:

Debug.Assert(context != null);
Contract.Assert(context != null);
Contract.Requires(context != null);
if (context == null) throw new ArgumentNullException("context");

我一直使用最后一种方法，但我只是看到一段使用Contract.Requires的代码片段，我对此并不熟悉。 每种方法的优点/缺点是什么？还有其他方法吗？

在带有 Resharper 的 VS2010 中，

  • Contract.Assert 警告我表达式始终为真(它是怎么知道的，我不太确定... HttpContext 不能为 null 吗？)，
  • Contract.Requires 淡出，它告诉我编译器不会调用该方法(我假设由于前一个原因，它永远不会为 null)，并且
  • 如果我将最后一个方法更改为 context != null，后面的所有代码都会淡出，它告诉我该代码是启发式无法访问的。

所以，似乎最后 3 个方法在 VS 静态检查器中内置了某种智能，而 Debug.Assert 只是愚蠢。

最佳答案

我的猜测是接口(interface)应用了一个契约 IHttpHandler.ProcessRequest这需要上下文!= null。接口(interface)契约由其实现者继承，因此您无需重复 Requires。事实上，您不能添加额外的 Requires 语句，因为您仅限于与接口(interface)协定关联的要求。

我认为区分指定契约(Contract)义务与简单地执行空检查很重要。您可以实现空检查并在运行时抛出异常，作为一种通知开发人员他们正在正确使用您的 API 的方式。另一方面，合约表达式实际上是一种元数据形式，可以由合约重写器解释(以引入以前手动实现的运行时异常)，也可以由静态分析器解释，静态分析器可以使用它们进行推理关于您的应用程序的静态正确性。

就是说，如果您在积极使用代码契约和静态分析的环境中工作，那么最好将断言置于契约形式，以利用静态分析。即使您不使用静态分析，您仍然可以通过使用契约(Contract)为以后的 yield 敞开大门。需要注意的主要事情是您是否已将项目配置为执行重写，否则合约将不会像您预期的那样导致运行时异常。

为了详细说明评论者所说的内容，Assert、Assume 和 Requires 之间的区别是:

  • 契约(Contract)重写器将 Contract.Assert 表达式转换为断言，静态分析器尝试根据其现有证据证明该表达式。如果无法证明，您将收到静态分析警告。
  • Contract.Assume 表达式被合约重写器忽略(据我所知)，但被静态分析器解释为一个新的证据，它可以在其静态分析中考虑。 Contract.Assume 用于“填补静态分析中的空白”，无论是在缺乏进行必要推理的复杂性的地方，还是在与未使用 Contracts 修饰的代码进行互操作时，以便您可以假设，例如, 一个特定的函数调用返回一个非空结果。
  • Contract.Requires 是调用您的方法时必须始终为真的条件。它们可以是对方法参数的约束(这是最典型的)，也可以是对对象公开可见状态的约束(例如，您可能只允许在 Initialized 为 True 时调用该方法。)这些种类约束促使您的类的用户在使用对象时检查 Initialized(如果不是，则可能适本地处理错误)或创建他们自己的约束和/或类不变量以澄清 Initialization 确实发生了。

关于c# - 测试先决条件的不同方法的优缺点？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/4445898/

c#先决条件Contractcodesectionconstraintsassertcode-contractspreconditions

有关c# - 测试先决条件的不同方法的优缺点？的更多相关文章

  1. ruby - 如何使用 Nokogiri 的 xpath 和 at_xpath 方法 - 2

    我正在学习如何使用Nokogiri，根据这段代码我遇到了一些问题:require'rubygems'require'mechanize'post_agent=WWW::Mechanize.newpost_page=post_agent.get('http://www.vbulletin.org/forum/showthread.php?t=230708')puts"\nabsolutepathwithtbodygivesnil"putspost_page.parser.xpath('/html/body/div/div/div/div/div/table/tbody/tr/td/div

  2. ruby - 如何从 ruby​​ 中的字符串运行任意对象方法？ - 2

    总的来说，我对ruby​​还比较陌生，我正在为我正在创建的对象编写一些rspec测试用例。许多测试用例都非常基础，我只是想确保正确填充和返回值。我想知道是否有办法使用循环结构来执行此操作。不必为我要测试的每个方法都设置一个assertEquals。例如:describeitem,"TestingtheItem"doit"willhaveanullvaluetostart"doitem=Item.new#HereIcoulddotheitem.name.shouldbe_nil#thenIcoulddoitem.category.shouldbe_nilendend但我想要一些方法来使用

  3. ruby - 为什么我可以在 Ruby 中使用 Object#send 访问私有(private)/ protected 方法？ - 2

    类classAprivatedeffooputs:fooendpublicdefbarputs:barendprivatedefzimputs:zimendprotecteddefdibputs:dibendendA的实例a=A.new测试a.foorescueputs:faila.barrescueputs:faila.zimrescueputs:faila.dibrescueputs:faila.gazrescueputs:fail测试输出failbarfailfailfail.发送测试[:foo,:bar,:zim,:dib,:gaz].each{|m|a.send(m)resc

  4. ruby-on-rails - 使用 Ruby on Rails 进行自动化测试 - 最佳实践 - 2

    很好奇，就使用ruby​​onrails自动化单元测试而言，你们正在做什么？您是否创建了一个脚本来在cron中运行rake作业并将结果邮寄给您？git中的预提交Hook？只是手动调用？我完全理解测试，但想知道在错误发生之前捕获错误的最佳实践是什么。让我们理所当然地认为测试本身是完美无缺的，并且可以正常工作。下一步是什么以确保他们在正确的时间将可能有害的结果传达给您？ 最佳答案 不确定您到底想听什么，但是有几个级别的自动代码库控制:在处理某项功能时，您可以使用类似autotest的内容获得关于哪些有效，哪些无效的即时反馈。要确保您的提

  5. ruby - Facter::Util::Uptime:Module 的未定义方法 get_uptime (NoMethodError) - 2

    我正在尝试设置一个puppet节点，但ruby​​gems似乎不正常。如果我通过它自己的二进制文件(/usr/lib/ruby/gems/1.8/gems/facter-1.5.8/bin/facter)在cli上运行facter，它工作正常，但如果我通过由ruby​​gems(/usr/bin/facter)安装的二进制文件，它抛出:/usr/lib/ruby/1.8/facter/uptime.rb:11:undefinedmethod`get_uptime'forFacter::Util::Uptime:Module(NoMethodError)from/usr/lib/ruby

  6. Ruby 方法() 方法 - 2

    我想了解Ruby方法methods()是如何工作的。我尝试使用“ruby方法”在Google上搜索，但这不是我需要的。我也看过ruby​​-doc.org，但我没有找到这种方法。你能详细解释一下它是如何工作的或者给我一个链接吗？更新我用methods()方法做了实验，得到了这样的结果:'labrat'代码classFirstdeffirst_instance_mymethodenddefself.first_class_mymethodendendclassSecond使用类#returnsavailablemethodslistforclassandancestorsputsSeco

  7. ruby-on-rails - Rails 3.2.1 中 ActionMailer 中的未定义方法 'default_content_type=' - 2

    我在我的项目中添加了一个系统来重置用户密码并通过电子邮件将密码发送给他，以防他忘记密码。昨天它运行良好(当我实现它时)。当我今天尝试启动服务器时，出现以下错误。=>BootingWEBrick=>Rails3.2.1applicationstartingindevelopmentonhttp://0.0.0.0:3000=>Callwith-dtodetach=>Ctrl-CtoshutdownserverExiting/Users/vinayshenoy/.rvm/gems/ruby-1.9.3-p0/gems/actionmailer-3.2.1/lib/action_mailer

  8. ruby - 使用 C 扩展开发 ruby​​gem 时，如何使用 Rspec 在本地进行测试？ - 2

    我正在编写一个包含C扩展的gem。通常当我写一个gem时，我会遵循TDD的过程，我会写一个失败的规范，然后处理代码直到它通过，等等......在“ext/mygem/mygem.c”中我的C扩展和在gemspec的“扩展”中配置的有效extconf.rb，如何运行我的规范并仍然加载我的C扩展？当我更改C代码时，我需要采取哪些步骤来重新编译代码？这可能是个愚蠢的问题，但是从我的gem的开发源代码树中输入“bundleinstall”不会构建任何native扩展。当我手动运行rubyext/mygem/extconf.rb时，我确实得到了一个Makefile(在整个项目的根目录中)，然后当

  9. ruby - Highline 询问方法不会使用同一行 - 2

    设置:狂欢ruby1.9.2高线(1.6.13)描述:我已经相当习惯在其他一些项目中使用highline，但已经有几个月没有使用它了。现在，在Ruby1.9.2上全新安装时，它似乎不允许在同一行回答提示。所以以前我会看到类似的东西:require"highline/import"ask"Whatisyourfavoritecolor?"并得到:Whatisyourfavoritecolor?|现在我看到类似的东西:Whatisyourfavoritecolor?|竖线(|)符号是我的终端光标。知道为什么会发生这种变化吗？ 最佳答案

  10. ruby - Ruby 的 Hash 在比较键时使用哪种相等性测试？ - 2

    我有一个围绕一些对象的包装类，我想将这些对象用作散列中的键。包装对象和解包装对象应映射到相同的键。一个简单的例子是这样的:classAattr_reader:xdefinitialize(inner)@inner=innerenddefx;@inner.x;enddef==(other)@inner.x==other.xendenda=A.new(o)#oisjustanyobjectthatallowso.xb=A.new(o)h={a=>5}ph[a]#5ph[b]#nil,shouldbe5ph[o]#nil,shouldbe5我试过==、===、eq?并散列所有无济于事。

随机推荐