c# - 具有动态变量的代码契约(Contract)

Question

示例代码:

    private dynamic tableAdapter; 
    public dynamic TableAdapter 
    {
        get
        {
            return tableAdapter;
        }
        set
        {
            tableAdapter = value;
            if (tableAdapter != null)
            {
              SQLiteConnection cn = tableAdapter.Connection;
            }
        }
    ...

构建后我收到警告:CodeContracts:引用使用未达到(同一位置还有 1 个未达到的断言)。 可能有一些方法可以在不将 tableAdapter 类型更改为对象的情况下解决问题？

Answer 1

我在使用 CodeContracts 时遇到了同样的问题。问题是由于使用了看起来合理的动态变量，因为静态检查器无法到达动态对象的可用字段或方法。我的方法是抑制警告。