一份合同还是几份合同？
有多少合同？
Contract.Requires(name.NotEmpty() && identifier.NotEmpty());
或者
Contract.Requires(name.NotEmpty());
Contract.Requires(identifier.NotEmpty());
How many contracts?
Contract.Requires(name.NotEmpty() && identifier.NotEmpty());
or
Contract.Requires(name.NotEmpty());
Contract.Requires(identifier.NotEmpty());
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（3）
我喜欢第二个，有几个原因
I like the second one for a couple of reasons
您肯定需要第二种形式，即每个参数的独立 Require 语句。
请记住，对于静态检查器，此信息也会在调用站点使用。我相信检查器可能能够解析
&&条件，但您不想知道。You definitely want the second form, independent Require statements for each parameter.
Remember that with the static checker this information is also used at the call-site(s). I believe the checker may be able to parse a
&&condition but you don't want to know.您发布的代码执行完全相同的操作
the code as you have posted does exactly the same thing