与 null 比较时的 C# Contract.Result 类型

Question

令人烦恼的是 Contract.Result 在某些情况下无法计算出其类型。请参阅下面的手册摘录。

方法返回值 在后置条件中，可以通过表达式 Contract.Result() 引用方法的返回值，其中 T 替换为返回类型该方法的。当编译器无法推断类型时，必须显式给出它。 例如，C# 编译器无法推断不带任何参数的方法的类型。

我注意到代码片段 cen 生成 Contract.Ensures(Contract .Result() != null); 突出显示字符串以进行编辑。

我是否遗漏了一些东西，或者我可以在与 null 进行比较时将类型设置为 Object 吗？ 即Contract.Ensures(Contract.Result

Answer 1

我本以为根据 OO 理论是这样的。如果我们有可为空的类型。那么 null 符合所有（可空）类型。因此它应该有效，所以我编写了下面的测试。

using NUnit.Framework;
using System.Diagnostics.Contracts;

namespace Tests
{
    [TestFixture]
    class EnsureResult_nunit
    {
        [Test]
        public void testA()
        {
            var z = str1();
            var y = str2();
        }

        [Test, ExpectedException]
        public void testB()
        {
            var z = str3();
        }

        [Test, ExpectedException]
        public void testC()
        {
            var y = str4();
        }


        public string str1() 
        {
            Contract.Ensures(Contract.Result<Object>() != null);
            return "";
        }

        public string str2()
        {
            Contract.Ensures(Contract.Result<Object>() == null);
            return null;
        }

        public string str3()
        {
            Contract.Ensures(Contract.Result<Object>() == null);
            return "";
        }

        public string str4()
        {
            Contract.Ensures(Contract.Result<Object>() == null);
            return "";
        }
    }
}

所有测试都通过了。