c# – 如何在不失去延迟评估优势的情况下使用代码契约来检查Lazy的值？

内容导读

互联网集市收集整理的这篇技术教程文章主要介绍了c# – 如何在不失去延迟评估优势的情况下使用代码契约来检查Lazy的值？，小编现在分享给大家，供广大互联网技能从业者学习和参考。文章包含1084字，纯文字阅读大概需要2分钟。

内容图文

我的代码看起来像这样：

public class Foo
{
    private readonly Lazy<string> lazyBar;

    public Foo()
    {
        lazyBar = new Lazy<string>(() => someExpression);
    }

    public string Bar
    {
        get { return lazyBar.Value; }
    }

    public void DoSomething()
    {
        Contract.Requires(Bar != null); // This evaluates Bar, but all I really require is that WHEN Bar is evaluated, it is not null.

        ...
    }
}

现在,每个地方都调用DoSomething,我们还必须证明Bar不是null.但是不会检查这个消除懒惰评估的好处吗？另外,我们不应该避免在合同中产生副作用吗？

是否有可能证明someExpression在没有评估的情况下不会解析为null？

解决方法:

代码契约对Lazy< T>没有足够的了解.为了在原始lambda和你得到的结果之间建立连接.

你真正希望能够声明的(对于Lazy< T>)是任何关于lambda的返回值的契约也都持有Value值,但是目前这样的元级契约是不可能的.

你可以做的是将someExpression移动到一个方法中,然后得到一个得到的Contract.Ensures！= null.如果这种情况不成立,这将警告你.然后,您可以将Invariant放在结果上; lazyBar.Value！= null.这意味着它实际上并不是懒惰,但对于您的发布代码,您可以使用CC在ReleaseRequires模式下构建,并且这些类型的检查将被消除(在手册中读取合同执行的不同“级别”是高度的推荐的！)

内容总结

以上是互联网集市为您收集整理的c# – 如何在不失去延迟评估优势的情况下使用代码契约来检查Lazy的值？全部内容，希望文章能够帮你解决c# – 如何在不失去延迟评估优势的情况下使用代码契约来检查Lazy的值？所遇到的程序开发问题。 如果觉得互联网集市技术教程内容还不错，欢迎将互联网集市网站推荐给程序员好友。

内容备注

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

内容手机端