合同确保未经验证的GUID

2018-06-26 14:27:32

我有一个确保未经证实的： !ReferenceEquals(Contract.Result<T>(), null)该合同是在我无法控制的界面上

我的实现是这样的

    public Guid Blah()
    {
        var guid = Guid.NewGuid();

        if(ReferenceEquals(guid, null))
        {
            throw new ApplicationException("This shoul");
        }

        return guid;
    }

我厌倦了合同假设，而不是上面的代码的if和some变体，但仍然得到警告，任何想法？干杯

看起来像这是与泛型类型的交互。如果您将类型修改为Guid它可以正常工作......我认为这是代码合同中的一个错误，所以我在代码合同论坛上提出了一个问题。

链接地址: http://www.djcxy.com/p/74405.html

上一篇: Contract Ensures unproven for GUID

下一篇: Unit testing, dependency injection and AutoMapper annotations