逆变和协方差是否意味着也使用相同的类型？

Question

我很困惑。我偶然发现了签名规则（B.Liskov 在她的作品中也提到过），其中指出：

论点的逆变性。 m1 和 m2 的数量相同 论据。如果m1的参数类型列表是a，m2 是 b，然后是 ∀i 。 a_i b_i //表示a是b.

来自其他教材：

对于函数类型 DY→CY 成为（即，可替代）的子类型 DX→CX ，我们必须在结果类型上是协变的，但在 参数类型！

那么，如果我只使用相同类型的参数和返回类型，这是否意味着我永远不会进行正确的子类型化？我不明白使用相同类型是否也很重要，即当我对父类和子类方法参数使用相同类型时，这是逆变的吗？

换句话说，由于 c# 不允许参数逆变，这是否意味着我的代码从不兼容 LSP？当我读到 LSP 要求参数必须是逆变的..

class Person
{
}
class Employee: Person
{
}

class PersonRegister
{
   GetJobTitle(Employee e) {return e.JobTitle;}
}

class DeriverRegister: PersonRegister
{
  GetJobTitle(Person p)  //contravariance, using less derived type, cannot be done in C#
}

如果例如，这将如何工作较少派生的类型没有所需的字段，在此示例中是 JobTitle?这是 Employee 的财产，但必须是 Person 的财产。

Answer 1

class Person
{
}
class Employee: Person
{
}

class PersonRegister
{
   GetJobTitle(Employee e) {return e.JobTitle;}
}

class DeriverRegister: PersonRegister
{
  GetJobTitle(Person p)  //contravariance, using less derived type, cannot be done in C#
}

你是对的。如果您希望将DervierRegister 中的GetJobTitle 视为GetJobTitle 中的override 和PersonRegister，它必须使用完全相同 相同的类型。您应该允许按照所写的方式创建此方法，但它隐藏来自PersonRegister 的方法，并且不被视为覆盖。所以你可以写上面的，但是

var e = new Employee();
PersonRegister pr = new DervierRegister();
pr.GetJobTitle(e);

将调用来自PersonRegister的方法。

这是否意味着我的代码永远不符合 LSP？

在你不能使用协变和逆变一般的范围内，是的。但是，对于通用 interfaces and delegates，在 C# 4.0 中添加了支持。而且，正如所讨论的，当正式发言时，每种类型都被认为是其自身的子类型，因此诸如“a is subtype of a”这样的短语对所有类型都是正确的一个。