协方差是关于接受值的吗？

Question

协方差就是接受值吗？

我正在通过 CLR via C# 一书学习 C#。我看到以下摘录：

由于 T 是协变的，因此可以成功编译并运行以下代码：

// This method accepts an IEnumerable of any reference type
Int32 Count(IEnumerable<Object> collection) { ... }

...
// The call below passes an IEnumerable<String> to Count
Int32 c = Count(new[] { "Grant" }); 

我在这里很困惑。因为协方差是关于具有作为所需类型的基本类型之一的类型。因此，协方差仅在返回类型的上下文中使用。而在上面的示例中，我们有一个 String（派生自 Object，因此它是逆变的，但不是协变的），它用于传递参数（但不返回值）的上下文中。

那么，我们应该在上面的例子中使用逆变而不是协变（意思是书中有错误）？

更新

在 cmets 之后，我得到了另一个问题。以下定义正确吗？

逆变意味着泛型类型参数可以从一个类变为一个类 从中衍生出来的。在 C# 中，您使用 in 关键字指示逆变泛型类型参数。 逆变泛型类型参数只能出现在输入位置，例如方法的 论据。

协变意味着泛型类型参数可以从一个类更改为其基类之一 类。在 C# 中，您使用 out 关键字指示协变泛型类型参数。协变

Answer 1

正如乔希指出的那样，这本书是正确的。

如果您想从其他来源确认，可以查看this link。

IEnumerable<Cat> 是IEnumerable<Animal> 的子类型。保留子类型是因为 IEnumerable<T> 与 T 是协变的。

C# 中用于这些概念的两个关键字是 out 表示协变，in 表示逆变。在IEnumerable<T> 的情况下，这将转换为IEnumerable<out T>。

希望这会有所帮助。

更新

您必须按如下方式反转您的定义。

协变 表示泛型类型参数可以是某个类以及它的所有派生类（IEnumerable<Object> 可以是IEnumerable<String>，因为String 是Object 的子类型)。在 C# 中，您使用 out 关键字指示协变泛型类型参数。

逆变意味着泛型类型参数可以从 类到它的基类之一。在 C# 中，您表示逆变 带有 in 关键字的泛型类型参数。