Lambda 表达式类型推断在继承链中有所不同。为什么？

Question

给定以下类：

public class Class1<TObject> {
    protected void MethodA<TType>(Expression<Func<TObject, TType>> property, ref TType store, TType value) {
    }
}

public class Class2<TObject> : Class1<Class2<TObject>>{
    private int _propertyInt;
    public int PropertyInt {
        get { return _propertyInt; }
        set { MethodA(c2 => c2.PropertyInt, ref _propertyInt, value); }
    }
}

public class Class3 : Class2<Class3> {
    private float _propertyFloat;
    public float PropertyFloat {
        get { return _propertyFloat; }
        set { MethodA(c3 => c3.PropertyFloat, ref _propertyFloat, value); }
    }
}

对于 Class2，C# 编译器为“PropertyInt”属性设置器中的 lambda 表达式推断基类的泛型类型，但对于 Class3，编译器推断基类，而不仅仅是基类的泛型类型。为什么是这样？代码示例中推断类型的标准是什么。谢谢。

Answer 1

首先，TObject 泛型参数在 Class1 中定义。 那 TObject 在 Class1 中用作 MethodA 中的类型参数。

在 Class2 中，传递给基类 (Class1) 的 TObject 是 Class2，因此 lambda 可以推断出本地属性 _propertyInt。

在 Class3 中，传递给基类的 TObject 是 Class2，而不是 Class3。因此，lambda 的参数被推断出来，但它被推断为 Class2，而不是 Class3。

Class2 也 有一个名为 TObject 的类型参数的事实完全是巧合——我认为您期望传递给该 TObject 的任何内容都将传递给 Class1，但事实并非如此。

如果您将 Class3 定义如下，它将起作用：

public class Class3 : Class1<Class3> { ... }

鉴于评论，那么我是否可以提供这种基于扩展方法的解决方案，（假设类型参数仅用于完成这项工作）：

public class Class1
{
}

public static class StaticClass1
{
    public static void MethodA<TZen, TType>(this TZen zen, Expression<Func<TZen, TType>> property, ref TType store, TType value) where TZen : Class1
    {
        // Do whatever here...
    }
}

public class Class2 : Class1
{
    private int _propertyInt;
    public int PropertyInt
    {
        get { return _propertyInt; }
        set { this.MethodA(c2 => c2.PropertyInt, ref _propertyInt, value); }
    }
}

public class Class3 : Class2
{
    private float _propertyFloat;
    public float PropertyFloat
    {
        get { return _propertyFloat; }
        set { this.MethodA(c3 => c3.PropertyFloat, ref _propertyFloat, value); }
    }
}