ChatGPT解决这个技术问题 Extra ChatGPT

表达式树 lambda 可能不包含空传播运算符

以下代码中的行 price = co?.price ?? 0, 给了我上述错误,但如果我从 co.? 中删除 ? 它工作正常。

我试图关注他们在第 select new { person.FirstName, PetName = subpet?.Name ?? String.Empty }; 行上使用 ? 的位置 this MSDN example 因此,我似乎需要了解何时将 ??? 一起使用以及何时不使用。

错误:

表达式树 lambda 可能不包含空传播运算符

public class CustomerOrdersModelView
{
    public string CustomerID { get; set; }
    public int FY { get; set; }
    public float? price { get; set; }
    ....
    ....
}
public async Task<IActionResult> ProductAnnualReport(string rpt)
{
    var qry = from c in _context.Customers
              join ord in _context.Orders
                on c.CustomerID equals ord.CustomerID into co
              from m in co.DefaultIfEmpty()
              select new CustomerOrdersModelView
              {
                  CustomerID = c.CustomerID,
                  FY = c.FY,
                  price = co?.price ?? 0,
                  ....
                  ....
              };
    ....
    ....
 }
伙计,我希望 C# 支持这个!

J
Jon Skeet

您引用的示例使用 LINQ to Objects,其中查询中的隐式 lambda 表达式被转换为 delegates... 而您使用的是 EF 或类似的,带有 IQueryable<T> 查询,其中lambda 表达式被转换为表达式树。表达式树不支持空条件运算符(或元组)。

只需按照旧方式进行即可:

price = co == null ? 0 : (co.price ?? 0)

(我相信空合并运算符在表达式树中很好。)


如果您使用的是动态 LINQ (System.Linq.Dynamic.Core),则可以使用 np() 方法。请参阅github.com/StefH/System.Linq.Dynamic.Core/wiki/NullPropagation
@Jon LINQ 是否能够将其转换为 SQL,还是会导致过滤发生在内存中?
@DaniMazahreh:正如我之前所说,表达式树不支持空条件运算符——所以我希望你会得到一个编译错误。
哦,我明白了。从编码方面来看,无论哪种方式,它看起来都像是一个 lambda 表达式,但只有 delegate/Func 支持运算符的使用。另外,我想知道错误是否有原因说“null-propagating”而不是“null-conditional”,这是官方文档所说的?
@Calculuswhiz:无论哪种方式,它都是一个 lambda 表达式。但并非所有 lambda 表达式实际上都支持转换为表达式树。我相信空传播是团队确定空条件之前的较早术语。
佚名

您链接到的代码使用 List<T>List<T> 实现 IEnumerable<T> 但不实现 IQueryable<T>。在这种情况下,投影在内存中执行并且 ?. 起作用。

您正在使用一些 IQueryable<T>,其工作方式非常不同。对于 IQueryable<T>,创建了投影的表示,并且您的 LINQ 提供程序决定在运行时如何处理它。出于向后兼容的原因,此处不能使用 ?.

根据您的 LINQ 提供程序,您可能能够使用普通的 .,但仍然无法获得任何 NullReferenceException


@hvd您能解释一下为什么向后兼容需要这样做吗?
@jag 在引入 ?. 之前已经创建的所有 LINQ 提供程序都没有准备好以任何合理的方式处理 ?.
但是 ?. 是一个新的运算符,不是吗?所以旧代码不会使用 ?.,因此不会被破坏。 Linq 提供程序不准备处理许多其他事情,例如 CLR 方法。
@jag 对,旧代码与旧 LINQ 提供程序结合使用不会受到影响。旧代码不会使用 ?.。新代码可能正在使用旧的 LINQ 提供程序,它们准备处理它们无法识别的 CLR 方法(通过抛出异常),因为这些方法非常适合现有的表达式树对象模型。全新的表达式树节点类型不适合。
考虑到 LINQ 提供程序已经抛出的异常数量,这似乎不是一个值得权衡的选择——“我们过去不支持,所以我们宁愿永远也不支持”
f
fcdt

Jon Skeet 的回答是正确的,就我而言,我将 DateTime 用于我的 Entity 类。当我尝试使用 like

(a.DateProperty == null ? default : a.DateProperty.Date)

我有错误

Property 'System.DateTime Date' is not defined for type 'System.Nullable`1[System.DateTime]' (Parameter 'property')

所以我需要为我的实体类更改 DateTime?

(a.DateProperty == null ? default : a.DateProperty.Value.Date)

这与空传播运算符无关。
我喜欢你提到 Jon Skeet 是对的,暗示他有可能是错的。好一个!
是的,这与 OP 的错误不同。
l
leandromoh

虽然表达式树不支持 C# 6.0 的空值传播,但我们可以做的是创建一个访问者来修改表达式树以实现安全的空值传播,就像运算符一样!

Here is mine:

public class NullPropagationVisitor : ExpressionVisitor
{
    private readonly bool _recursive;

    public NullPropagationVisitor(bool recursive)
    {
        _recursive = recursive;
    }

    protected override Expression VisitUnary(UnaryExpression propertyAccess)
    {
        if (propertyAccess.Operand is MemberExpression mem)
            return VisitMember(mem);

        if (propertyAccess.Operand is MethodCallExpression met)
            return VisitMethodCall(met);

        if (propertyAccess.Operand is ConditionalExpression cond)
            return Expression.Condition(
                    test: cond.Test,
                    ifTrue: MakeNullable(Visit(cond.IfTrue)),
                    ifFalse: MakeNullable(Visit(cond.IfFalse)));

        return base.VisitUnary(propertyAccess);
    }

    protected override Expression VisitMember(MemberExpression propertyAccess)
    {
        return Common(propertyAccess.Expression, propertyAccess);
    }

    protected override Expression VisitMethodCall(MethodCallExpression propertyAccess)
    {
        if (propertyAccess.Object == null)
            return base.VisitMethodCall(propertyAccess);

        return Common(propertyAccess.Object, propertyAccess);
    }

    private BlockExpression Common(Expression instance, Expression propertyAccess)
    {
        var safe = _recursive ? base.Visit(instance) : instance;
        var caller = Expression.Variable(safe.Type, "caller");
        var assign = Expression.Assign(caller, safe);
        var acess = MakeNullable(new ExpressionReplacer(instance,
            IsNullableStruct(instance) ? caller : RemoveNullable(caller)).Visit(propertyAccess));
        var ternary = Expression.Condition(
                    test: Expression.Equal(caller, Expression.Constant(null)),
                    ifTrue: Expression.Constant(null, acess.Type),
                    ifFalse: acess);

        return Expression.Block(
            type: acess.Type,
            variables: new[]
            {
                caller,
            },
            expressions: new Expression[]
            {
                assign,
                ternary,
            });
    }

    private static Expression MakeNullable(Expression ex)
    {
        if (IsNullable(ex))
            return ex;

        return Expression.Convert(ex, typeof(Nullable<>).MakeGenericType(ex.Type));
    }

    private static bool IsNullable(Expression ex)
    {
        return !ex.Type.IsValueType || (Nullable.GetUnderlyingType(ex.Type) != null);
    }

    private static bool IsNullableStruct(Expression ex)
    {
        return ex.Type.IsValueType && (Nullable.GetUnderlyingType(ex.Type) != null);
    }

    private static Expression RemoveNullable(Expression ex)
    {
        if (IsNullableStruct(ex))
            return Expression.Convert(ex, ex.Type.GenericTypeArguments[0]);

        return ex;
    }

    private class ExpressionReplacer : ExpressionVisitor
    {
        private readonly Expression _oldEx;
        private readonly Expression _newEx;

        internal ExpressionReplacer(Expression oldEx, Expression newEx)
        {
            _oldEx = oldEx;
            _newEx = newEx;
        }

        public override Expression Visit(Expression node)
        {
            if (node == _oldEx)
                return _newEx;

            return base.Visit(node);
        }
    }
}

它通过了以下测试:

private static string Foo(string s) => s;

static void Main(string[] _)
{
    var visitor = new NullPropagationVisitor(recursive: true);

    Test1();
    Test2();
    Test3();

    void Test1()
    {
        Expression<Func<string, char?>> f = s => s == "foo" ? 'X' : Foo(s).Length.ToString()[0];

        var fBody = (Expression<Func<string, char?>>)visitor.Visit(f);

        var fFunc = fBody.Compile();

        Debug.Assert(fFunc(null) == null);
        Debug.Assert(fFunc("bar") == '3');
        Debug.Assert(fFunc("foo") == 'X');
    }

    void Test2()
    {
        Expression<Func<string, int>> y = s => s.Length;

        var yBody = visitor.Visit(y.Body);
        var yFunc = Expression.Lambda<Func<string, int?>>(
                                    body: yBody,
                                    parameters: y.Parameters)
                            .Compile();

        Debug.Assert(yFunc(null) == null);
        Debug.Assert(yFunc("bar") == 3);
    }

    void Test3()
    {
        Expression<Func<char?, string>> y = s => s.Value.ToString()[0].ToString();

        var yBody = visitor.Visit(y.Body);
        var yFunc = Expression.Lambda<Func<char?, string>>(
                                    body: yBody,
                                    parameters: y.Parameters)
                            .Compile();

        Debug.Assert(yFunc(null) == null);
        Debug.Assert(yFunc('A') == "A");
    }
}