如何避免“source !=null”当使用代码契约和 Linq To Sql 时？

Question

我有以下使用正常数据上下文的代码，效果很好：

var dc = new myDataContext();
Contract.Assume(dc.Cars!= null);
var cars = (from c in dc.Cars
            where c.Owner == 'Jim'
            select c).ToList();

但是，当我将过滤器转换为这样的扩展方法时：

var dc = new myDataContext();
Contract.Assume(dc.Cars!= null);
var cars = dc.Cars.WithOwner('Jim');

public static IQueryable<Car> WithOwner(this IQueryable<Car> cars, string owner)
{
    Contract.Requires(cars != null);
    return cars.Where(c => c.Owner == owner);
}

我收到以下警告：

警告：CodeContracts：需要未经验证：源！= null

Answer 1

我的猜测是，您的警告是由车主参数引起的，而不是由汽车引起的。在WithOwner方法中添加一个前提条件来检查owner是否不为null。

public static IQueryable<Car> WithOwner(IQueryable<Car> cars, string owner)
{
    Contract.Requires(cars != null);
    Contract.Requires(!string.isNullOrEmpty(owner));
    return cars.Where(c => c.Owner = owner);
}

在您的第一个代码示例中，您对“Jim”进行了硬编码，因此没有问题，因为没有任何东西可以为空。

在第二个示例中，您创建了一个方法，静态编译器无法证明源（所有者）“永远不会为空”，因为其他代码可能会使用无效值来调用它。

Answer 2

我想知道如何使用扩展方法编译代码，因为您在方法签名中缺少 this 关键字。

public static IQueryable<Car> WithOwner(this IQueryable<Car> cars, string owner)
{
    ...
}

/KP

Answer 3

您的代码片段可能没有完全描述您正在使用的代码。

考虑这个片段：

var dc = new myDataContext();
Contract.Assume(dc.Cars!= null);
var models = dc.Cars.WithOwner('Jim').Select(c => c.Model);

public static IQueryable<Car> WithOwner(this IQueryable<Car> cars, string owner)
{
    Contract.Requires(cars != null);
    return cars.Where(c => c.Owner == owner);
}

在这个片段中，运行时可能会抱怨您提到的警告，但它并不是抱怨 Cars 可能为空，而是抱怨 WithOwner< 的结果/code>（传递到Select）可能为空。

您可以通过确保扩展方法的结果不为 null 来满足运行时的要求：

Contract.Ensures(Contract.Result<IQueryable<Car>>() != null);

此约定应该没问题，因为 Where 不会返回 null，而是返回一个 Enumerable.Empty;() 当没有匹配项时。

Answer 4

我们在几个版本之前修复了这个问题。该警告是由于缺少有关 Linq 表达式构造等的一些约定。Linq 表达式方法具有约定，并且 C# 编译器生成调用这些方法的代码。如果我们在被调用的方法上没有足够的后置条件，那么您可能会收到这些关于您甚至不知道其存在的代码的神秘警告（除非您使用 ILdasm 查看）。