.net 核心中的逆变性如何与 Func 委托一起使用

Question

我有以下代码，我正在尝试为我的域对象编写通用验证规则。这样做时，我遇到了处理 Func 委托支持差异的问题

public class Person { }
public class Employee : Person { }

internal interface IValidation<T> where T: Person  
{
     void AddValidationRule(Func<T,bool> predicateFunction);
}

internal class BaseValidation : IValidation<Person>
{
    void IValidation<Person>.RegisterValidationRules(Person person)
    {

    }
}

internal class EmployeeValidation : BaseValidation
{
    void RegisterValidation()
    {
        Func<Employee,bool> empPredicate = CheckJoiningDate;
        base.AddValidationRule(empPredicate);
    }

    bool CheckJoiningDate(Employee employee)
    {
        return employee.JoiningDate > DateTime.Now.AddDays(-1) ;
    }
}

使用上面的代码，编译器会给出一条错误消息

在线编译器错误：base.AddValidationRule(empPredicate); 参数 1：无法从 'System.FuncEmployee, bool>' 转换为 'System.FuncPerson, bool>

我已经提到了这个https://docs.microsoft.com/en-us/previous-versions/visualstudio/visual-studio-2010/dd465122%28v%3dvs.100%29，但我仍然无法让编译器理解这里的逆变，

感谢您的帮助，让我更好地理解这一点

Answer 1

您混淆了协变和逆变。

使用协方差，泛型类型参数可以“小于”所需的参数。也就是说，如果我们有：

Func<Mammal, Mammal> f1 = whatever;
Func<Mammal, Animal> f2 = f1;

为什么会这样？ Func 在其第二个参数中是协变。 f2 期待一个返回 Animal 的委托。它有一个返回 smaller 类型的委托； Mammals 比 Animals 少，所以Mammal更小。

想想为什么会这样。当有人调用 f2 时，他们希望得到一只动物。但如果他们真的叫 f1，他们还是会得到动物，因为每个哺乳动物都是动物。

使用协方差，泛型类型的“大小”与类型参数的大小在相同的方向变化。 Mammal 小于 Animal。 Func<Mammal, Mammal> 小于 Func<Mammal, Animal>。这就是为什么它是“co”变体，co 意思是“在一起”。

逆变是相反的，因此是“contra”，意思是“反对”。通过逆变，泛型类型参数可能比预期的要大：

 Func<Giraffe, Mammal> f3 = f1;

f3 需要一个接收长颈鹿的函数；我们有一个函数需要更大的类型，哺乳动物。它更大是因为哺乳动物比长颈鹿还多。逆变说这很好，这应该是有道理的。如果有人用长颈鹿调用f3，那如果实际上是调用f2也没关系，因为f2可以带长颈鹿；它可以带走任何哺乳动物。

您混淆了协变和逆变；您期望可以以协变方式使用逆变参数，这是错误的。带员工的函数不能转换为带人员的函数，因为您可以将非员工人员传递给它。接受员工的函数可以转换为接受经理的函数，因为所有经理都是员工。

Answer 2

无法从 'System.FuncEmployee, bool>' 转换为 'System.FuncPerson, bool>

base.AddValidationRule 需要一个可以对任何Person 进行操作的函数。您的函数只能在 Exployee 上运行，这更具限制性。这是错误的方差形式。

这里没有显示，但很可能BaseValidation 实现了IValidation<Person>。

很可能，最好的解决方法是确保您从 IValidation<Employee> 继承，可能通过将 BaseValidation 设为通用。

这行得通吗？

internal class BaseValidation<T> : IValidation<T>
{
    void IValidation<T>.RegisterValidationRules(T entity)
    {
    }
}

internal class EmployeeValidation : BaseValidation<Employee>
{
 //...
}