Question

我有一个带有以下签名的扩展方法：

public static Expression<Func<T, bool>> And<T>(this Expression<Func<T, bool>> first, Expression<Func<T, bool>> second)
{
    ...
}

我已经为它编写了一个测试用例，确保这两个表达式实际上是组合在一起的。至少这样我可以使用新的表达式。

现在我想编写另一个测试用例，确保该方法使用and的短路版本。我怎么能这样做？

我以为我可以做这样的事情：

    [Test]
    public void And_PredicatesAreShortCircuited()
    {
        var predicateNotUsed = true;
        Expression<Func<int, bool>> a = x => false;
        Expression<Func<int, bool>> b = x =>
            {
                predicateNotUsed = false;
                return true;
            };

        var foo = new[] { 1, 2, 3, 4, 5, 6, 7 }
            .Where(a.And(b).Compile())
            .ToArray();

        Assert.That(predicateNotUsed);
    }

但是我在b的整个语句体下得到了一个巨大的红色波浪形，声明“带有语句体的lambda表达式无法转换为表达式树”。所以...任何选择？或者这是一个不可能的测试？

Answer 1

简单建议：使用引用类型而不是值类型，并在您不希望遵循的路径中取消引用它。传入null，看看它是否抛出异常：）

[Test]
public void And_PredicatesAreShortCircuited()
{
    Expression<Func<string, bool>> a = x => false;
    Expression<Func<string, bool>> b = x => x.Length > 10;

    var foo = new[] { null, null }
        .Where(a.And(b).Compile())
        .ToArray();
}

另一种选择是在输入数据上使用一些副作用函数（例如传递可以由表达式树改变的东西），但我认为上面可能是最简单的方法：）

或另一个想法：

public T NonVoidFail(T x)
{
    Assert.Fail("I shouldn't be called");
    return x; // Will never happen
}

然后：

[Test]
public void And_PredicatesAreShortCircuited()
{
    Expression<Func<int, bool>> a = x => false;
    Expression<Func<int, bool>> b = x => NonVoidFail(x);

    var foo = new[] { 1, 2, 3, 4, 5, 6, 7 }
        .Where(a.And(b).Compile())
        .ToArray();
}

这是相同的原则，但它会给你一个更好的例外：）

如何测试表达式是否短路

1 个答案: