如何让代码合约相信变量不为空？

Question

我有一些工厂方法

    public T Create<T> () where T : class 
    {
        Contract.Ensures(Contract.Result<T>() != null);

        T result = this.unityContainer.Resolve<T>();

        return result;
    }

我尝试构建项目时收到警告：

CodeContracts: Ensures unproven: Contract.Result() != null

我了解 IUnityContainer 接口没有任何合同，因此代码合同认为 varible 可能为 null，并且没有办法证明 Create() 会返回非 null 结果。

在这种情况下，我如何才能使代码契约相信 result 变量不为空？

我首先尝试调用 Contract.Assert

    public T Create<T> () where T : class 
    {
        Contract.Ensures(Contract.Result<T>() != null);

        T result = this.unityContainer.Resolve<T>();

        Contract.Assert(result != null);

        return result;
    }

但这又给我带来了另一个警告：

CodeContracts: assert unproven

我尝试检查 null ，这使得所有警告都消失了：

    public T Create<T> () where T : class 
    {
        Contract.Ensures(Contract.Result<T>() != null);

        T result = this.unityContainer.Resolve<T>();

        if (result == null)
        {
            throw new InvalidOperationException();
        }

        return result;
    }

但我不确定这是一个好的解决方案手动抛出异常。可能有某种方法可以仅使用代码契约来解决问题吗？

谢谢。

Answer 1

我认为您想要Contract.Assume：

Contract.Assume(result != null);

来自文档：

指示代码分析工具假设指定条件为真，即使无法静态证明它始终为真。

如果您正确配置了重写器，这仍然会在执行时验证结果。

Answer 2

就像 if((result ?? 0) == 0){}

为了使这一点更清晰（可读），您可以定义一个扩展方法。

编辑

@allentracks 答案对于您的问题来说更准确