代码合约警告“假设”可能失败称呼

Question

在我的一个类中，我有一个 ExpandoObject 类型的私有字段。该字段在构造函数 (this.expected = new ExpandoObject()) 中初始化，因此我确信它永远不会为 null。

因此，在此类的其中一个方法中，我可以

Contract.Assumes(this.expected != null)

在使用 this.expected 执行任何操作之前安全地进行添加，因此代码契约不必担心可能对 null 对象的调用。但是，我收到一条警告，而不是对空引用可能进行方法调用的警告

对方法“Assume”的动态分派调用可能在运行时失败，因为一个或多个适用的重载是条件方法

方法签名和前几行代码如下所示：

protected void Expect(object values)
{
    Contract.Requires<ArgumentNullException>(values != null);

    Contract.Assume(this.expected != null);
    var exp = (ICollection<KeyValuePair<string, object>>)this.expected;

在第三行，我收到警告

CodeContracts：可能在空引用“OddEnds.Testing.TestBase.o_SiteContainer0.<>p_Site3.Target”上调用方法

，其中我假设空引用的奇数签名是因为 exp 是一个动态对象。

我该如何解决这些问题？

Answer 1

我认为解决您的问题的最佳方法是声明 expected 永远不会为 null 作为类的不变量：

class TheClass {

    ExpandoObject expected;

    ...

    [ContractInvariantMethod]
    void Invariants()
    {
        Contract.Invariant(this.expected != null);
    }

    ...

}

当您执行此操作时，静态检查器将检查 expected在构造函数末尾不为 null，然后它就会知道在任何其他方法开始时 expected 永远不会为 null。

Answer 2

我认为以下代码更改将使编译器满意（如果您确定要进行此转换，但为什么要使用 Expandoobject 那么..无论如何）

ICollection<KeyValuePair<string, object>> col = this.expected as ICollection<KeyValuePair<string, object>>;
Contract.Assume(col != null);