我终于 catch 了添加到 .NET 3.5/4.0 框架中的所有新功能。最近几天我一直在使用 CodeContracts，我真的很努力地喜欢它们。我很好奇其他人如何看待 C# 中的 CodeContracts 实现？具体来说，人们如何组织接口(interface)的契约类、契约不变量的契约方法等？
我喜欢契约(Contract)提供的验证，乍一看它们看起来很棒。通过几行简单的代码，我什至可以在运行代码之前进行一些不错的构建检查。不幸的是，我很难克服在 C# 中实现代码契约的方式的感觉，它们使我的代码变得困惑，而不是记录契约。为了充分利用契约(Contract)，我在代码中加入了假设和断言等(我知道有些人会说这是一件好事)；但正如我在下面的一些示例中所展示的那样，它将一行简单的代码变成了 4 或 5 行，并且在我看来并没有真正增加替代方法(即断言、异常等)的足够值(value)。
目前，我最大的挫折是:
接口(interface)契约:
[ContractClass(typeof(IInterfaceContract))]
public interface IInterface
{
Object Method(Object arg);
}
[ContractClassFor(typeof(IInterface))]
internal abstract class IInterfaceContract
{
private IInterfaceContract() { }
Object IInterface.Method(Object arg)
{
Contract.Requires(arg != null);
Contract.Ensures(Contract.Result<Object>() != null);
return default(Object);
}
}
这对我来说感觉像是一个障碍，我希望有一种更清晰的方式来记录需求，无论是通过属性还是某种形式的内置语言支持。事实上，我必须实现一个实现我的接口(interface)的抽象类，这样我才能指定契约(Contract)，这充其量看起来很乏味。
代码膨胀:
typeof(Action<>).MakeGenericType(typeof(Object);
需要几个假设来验证现成的信息。我很欣赏分析器只知道它在 Type 上运行，因此必须在有限的知识上工作，但仍然让我感到沮丧的是，一行代码需要我重新编写为
var genericAction = typeof(Action<>);
Contract.Assume(genericAction.IsGenericType);
Contract.Assume(genericAction.GetGenericArguments().Length == 1);
genericAction.MakeGenericType(typeof(Object));
只是为了将事情记录在案(是的，我知道我可以使用 ContractVerificationAttribute 为方法/类等关闭此功能，或使用 SuppressMessageAttribbute 来针对特定消息，但这似乎达不到目的，因为您的代码很快就会被压制等等
另外，举个例子
public class MyClass
: IInterface
{
private readonly Object _obj;
public Object Property
{
get
{
Contract.Ensures(Contract.Result<Object>() != null);
return _obj;
}
}
public MyClass(Object obj)
{
Contract.Requires(obj != null);
_obj = obj;
}
}
obj要求不为null，并且设置为只读字段，不可更改，但我仍然需要在我的类中添加一个“标记”方法，以便证明我的属性要求不返回null :
[ContractInvariantMethod]
private void ObjectInvariant()
{
Contract.Invariant(_obj != null);
}
还有更多，但我想我可能已经说得够多了，我真的很感激比我聪明得多的人的洞察力来帮助我“喜欢”代码契约并让这种代码困惑的感觉消失。任何关于如何更好地构建代码、解决不稳定问题等的见解都将不胜感激。
谢谢!
最佳答案
This feels like such a cludge to me, I wish there was a cleaner way to document requirements, either via attributes or some form of built in language support.
CC 团队表示，仅使用属性还不够强大，因为您不能在其中包含诸如 lambda 之类的东西。它们可以包含[NotNull]之类的东西，但有chosen not to do so因为他们试图让 CC 尽可能通用。
CC 是一个库(而不是扩展 C# 的一部分)的一个原因是它受所有 .NET 语言的支持。
您可以阅读更多关于团队的推理here .
就实际使用而言，到目前为止，我一直将我的接口(interface)契约保存在与接口(interface)相同的文件中，这意味着它们都记录在同一个地方。这是应该改进的地方:)
Code Bloat [...]
您的第二个投诉可能是可以实现的 - 我建议将其发布在 the code contracts forum 上. (编辑:似乎有人 already has ，但还没有答案。)
但是，情况总是不明确的契约(Contract)需要围绕它们进行更多假设。如果您在 .NET 框架中遇到这种情况，您可以请求将契约(Contract)添加到 Missing Contracts on Libraries thread 中。 .
In addition, taking a case like [...]
这has been addressed .如果你有一个自动属性，你只需要添加一个非空不变量，就会生成前置/后置条件:
public class MyClass : IInterface
{
private Object Property { get; set; }
[ContractInvariantMethod]
private void Invariants()
{
Contract.Invariant(Property != null);
}
}
无论如何，您最终可能会得到类的其他不变量，所以这没什么大不了的。
关于c# - 真的很喜欢 C# 中的 CodeContracts，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/3077933/
总的来说，我对ruby还比较陌生，我正在为我正在创建的对象编写一些rspec测试用例。许多测试用例都非常基础，我只是想确保正确填充和返回值。我想知道是否有办法使用循环结构来执行此操作。不必为我要测试的每个方法都设置一个assertEquals。例如:describeitem,"TestingtheItem"doit"willhaveanullvaluetostart"doitem=Item.new#HereIcoulddotheitem.name.shouldbe_nil#thenIcoulddoitem.category.shouldbe_nilendend但我想要一些方法来使用
我试图在一个项目中使用rake，如果我把所有东西都放到Rakefile中，它会很大并且很难读取/找到东西，所以我试着将每个命名空间放在lib/rake中它自己的文件中，我添加了这个到我的rake文件的顶部:Dir['#{File.dirname(__FILE__)}/lib/rake/*.rake'].map{|f|requiref}它加载文件没问题，但没有任务。我现在只有一个.rake文件作为测试，名为“servers.rake”，它看起来像这样:namespace:serverdotask:testdoputs"test"endend所以当我运行rakeserver:testid时
作为我的Rails应用程序的一部分，我编写了一个小导入程序，它从我们的LDAP系统中吸取数据并将其塞入一个用户表中。不幸的是，与LDAP相关的代码在遍历我们的32K用户时泄漏了大量内存，我一直无法弄清楚如何解决这个问题。这个问题似乎在某种程度上与LDAP库有关，因为当我删除对LDAP内容的调用时，内存使用情况会很好地稳定下来。此外，不断增加的对象是Net::BER::BerIdentifiedString和Net::BER::BerIdentifiedArray，它们都是LDAP库的一部分。当我运行导入时，内存使用量最终达到超过1GB的峰值。如果问题存在，我需要找到一些方法来更正我的代
Rails2.3可以选择随时使用RouteSet#add_configuration_file添加更多路由。是否可以在Rails3项目中做同样的事情？ 最佳答案 在config/application.rb中:config.paths.config.routes在Rails3.2(也可能是Rails3.1)中，使用:config.paths["config/routes"] 关于ruby-on-rails-Rails3中的多个路由文件，我们在StackOverflow上找到一个类似的问题
我需要从一个View访问多个模型。以前，我的links_controller仅用于提供以不同方式排序的链接资源。现在我想包括一个部分(我假设)显示按分数排序的顶级用户(@users=User.all.sort_by(&:score))我知道我可以将此代码插入每个链接操作并从View访问它，但这似乎不是“ruby方式”，我将需要在不久的将来访问更多模型。这可能会变得很脏，是否有针对这种情况的任何技术？注意事项:我认为我的应用程序正朝着单一格式和动态页面内容的方向发展，本质上是一个典型的网络应用程序。我知道before_filter但考虑到我希望应用程序进入的方向，这似乎很麻烦。最终从任何
我在我的项目中添加了一个系统来重置用户密码并通过电子邮件将密码发送给他，以防他忘记密码。昨天它运行良好(当我实现它时)。当我今天尝试启动服务器时，出现以下错误。=>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
刚入门rails，开始慢慢理解。有人可以解释或给我一些关于在application_controller中编码的好处或时间和原因的想法吗？有哪些用例。您如何为Rails应用程序使用应用程序Controller？我不想在那里放太多代码，因为据我了解，每个请求都会调用此Controller。这是真的？ 最佳答案 ApplicationController实际上是您应用程序中的每个其他Controller都将从中继承的类(尽管这不是强制性的)。我同意不要用太多代码弄乱它并保持干净整洁的态度，尽管在某些情况下ApplicationContr
我想向我的Controller传递一个参数，它是一个简单的复选框，但我不知道如何在模型的form_for中引入它，这是我的观点:{:id=>'go_finance'}do|f|%>Transferirde:para:Entrada:"input",:placeholder=>"Quantofoiganho?"%>Saída:"output",:placeholder=>"Quantofoigasto?"%>Nota:我想做一个额外的复选框，但我该怎么做，模型中没有一个对象，而是一个要检查的对象，以便在Controller中创建一个ifelse，如果没有检查，请帮助我，非常感谢,谢谢
我注意到像bundler这样的项目在每个specfile中执行requirespec_helper我还注意到rspec使用选项--require，它允许您在引导rspec时要求一个文件。您还可以将其添加到.rspec文件中，因此只要您运行不带参数的rspec就会添加它。使用上述方法有什么缺点可以解释为什么像bundler这样的项目选择在每个规范文件中都需要spec_helper吗？ 最佳答案 我不在Bundler上工作，所以我不能直接谈论他们的做法。并非所有项目都checkin.rspec文件。原因是这个文件，通常按照当前的惯例，只
我正在使用active_admin，我在Rails3应用程序的应用程序中有一个目录管理，其中包含模型和页面的声明。时不时地我也有一个类，当那个类有一个常量时，就像这样:classFooBAR="bar"end然后，我在每个必须在我的Rails应用程序中重新加载一些代码的请求中收到此警告:/Users/pupeno/helloworld/app/admin/billing.rb:12:warning:alreadyinitializedconstantBAR知道发生了什么以及如何避免这些警告吗？ 最佳答案 在纯Ruby中:classA