首页 / C# / c# – 代码合同:如何表达这些条件?
c# – 代码合同:如何表达这些条件?
内容导读
互联网集市收集整理的这篇技术教程文章主要介绍了c# – 代码合同:如何表达这些条件?,小编现在分享给大家,供广大互联网技能从业者学习和参考。文章包含1382字,纯文字阅读大概需要2分钟。
内容图文
![c# – 代码合同:如何表达这些条件?](/upload/InfoBanner/zyjiaocheng/800/c11f6576c6fe4103aa9acef20bcc1355.jpg)
我现在正在使用Code Contracts,我不完全确定Contract类的静态方法是否足够强大,可以与条件的数学符号竞争.
我们假设我们得到了一个简单的因子方法
int Factorial(int n);
我会表达以下条件:
Precondition:
n >= 0
Postconditions:
Factorial(n) = 1, in case n = 0
Factorial(n) = n*(n-1)*...*1, in case n > 0
这些条件以简洁明了的方式清楚地说明了Factorial的行为.我的问题是,他们是否可以通过代码合同来表达.
前提条件是微不足道的:
Contract.Requires(n >= 0)
条件发布条件可能表示使用
if(n==0)
Contract.Ensures(Contract.Result<int>() == 1);
if(n > 0)
...
但我不喜欢我在这里需要“if”语句的方式,因为它使得前后条件的简单列表更难以阅读.我希望我们会有类似的东西
Contract.Ensures(...).InCase(...);
最后但并非最不重要的是,我不知道如何表达这一点,这是关于数学的常见符号:
n*(n-1)*...*1
猜猜我需要某种循环,但这会复制整个实现.有没有聪明的方式来表达这样的符号?
先感谢您.
解决方法:
您可以尝试以下方法:
Contract.Ensures(Contract.Result<int>() == AlternativeFactorial(n));
AlternativeFactorial在哪里:
[Pure]
public static int AlternativeFactorial(int n)
{
if(n==0)
return 1;
if(n > 0)
{
//Alternative implementation.
}
}
当然,你在合同中使用的任何东西都应该是无副作用的(纯粹的).
现在,就因子实现而言,我无法提出比w0lf更紧凑的“替代”实现.您应该考虑的是将方法的返回值从int更改为BigInteger. Factorials可以非常快地变得非常大.另请注意,通过在factorial值上添加后置条件,您的方法返回结果所需的时间将增加一倍.这可以通过仅在调试配置上构建CodeContracts来解决.
内容总结
以上是互联网集市为您收集整理的c# – 代码合同:如何表达这些条件?全部内容,希望文章能够帮你解决c# – 代码合同:如何表达这些条件?所遇到的程序开发问题。 如果觉得互联网集市技术教程内容还不错,欢迎将互联网集市网站推荐给程序员好友。
内容备注
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 gblab@vip.qq.com 举报,一经查实,本站将立刻删除。
内容手机端
扫描二维码推送至手机访问。