示例代码:
private dynamic tableAdapter;
public dynamic TableAdapter
{
get
{
return tableAdapter;
}
set
{
tableAdapter = value;
if (tableAdapter != null)
{
SQLiteConnection cn = tableAdapter.Connection;
}
}
...
构建后我收到警告:CodeContracts:引用使用未达到(同一位置还有 1 个未达到的断言)。 可能有一些方法可以在不将 tableAdapter 类型更改为对象的情况下解决问题?
最佳答案
我在使用 CodeContracts 时遇到了同样的问题。问题是由于使用了看起来合理的动态变量,因为静态检查器无法到达动态对象的可用字段或方法。我的方法是抑制警告。
关于c# - 具有动态变量的代码契约(Contract),我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/15628343/