c# – 我应该为任何方法结果做Contract.Ensures吗？

内容导读

互联网集市收集整理的这篇技术教程文章主要介绍了c# – 我应该为任何方法结果做Contract.Ensures吗？，小编现在分享给大家，供广大互联网技能从业者学习和参考。文章包含1094字，纯文字阅读大概需要2分钟。

内容图文

假设我有这个：

[Pure]
public static TimeSpan Seconds(this int i)
{
    Contract.Ensures(Contract.Result<TimeSpan>() == TimeSpan.FromSeconds(i));
    return TimeSpan.FromSeconds(i);
}

我是否确保合同以如此严格的方式产生,或者是否是必要的？

在这种情况下？

[Pure]
public static T IfTrue<T>(this bool b, T value)
{
    Contract.Ensures(Contract.Result<T>().Equals(b ? value : default(T)));
    return b ? value : default(T);
}

我的问题是：

>在表明如此精确的合同保证时,我是对的吗？
>我有义务做出如此严格的合同保证吗？为什么？
>可以,我的合同保证会(在我的申请中的许多情况下)重复报表吗？

解决方法:

想想“合同”这个词 – 你在编写代码时,希望向你的来电者保证(或者对于需求,你希望他们为你保证什么).

对于诸如你所展示的那些琐碎的例子,我想不出你想要作为合同包含的内容.也许第一次,我会去：

[Pure]
public static TimeSpan Seconds(this int i)
{
    Contract.Requires(i>0);
    Contract.Ensures(Contract.Result<TimeSpan>().TotalSeconds > 0.0);
    return TimeSpan.FromSeconds(i);
}

我向我的来电者保证,我会产生积极的结果.显然,如果我在这个方法中包含更复杂的数学,那么这个类似的合同就可以给出.我将对范围给出保证,但我不能确切地保证计算结果的方式(因为这可能会有所变化).

内容总结

以上是互联网集市为您收集整理的c# – 我应该为任何方法结果做Contract.Ensures吗？全部内容，希望文章能够帮你解决c# – 我应该为任何方法结果做Contract.Ensures吗？所遇到的程序开发问题。 如果觉得互联网集市技术教程内容还不错，欢迎将互联网集市网站推荐给程序员好友。

内容备注

版权声明：本文内容由互联网用户自发贡献，该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容， 请发送邮件至 gblab@vip.qq.com 举报，一经查实，本站将立刻删除。

内容手机端