协变通用参数

Question

我试图理解这一点，但我没有从搜索中得到任何合适的结果。

在 C# 4 中，我可以做

    public interface IFoo<out T>
    {

    }

这与

    public interface IFoo<T>
    {

    }

我所知道的有什么不同，就是 out 使泛型参数协变 (??)。 有人可以举例解释 部分的用法吗？为什么仅适用于接口和委托而不适用于类？

抱歉，如果它是重复的，请关闭它（如果是）。

Answer 1

有人可以举例说明out T部分的用法吗？

当然。 IEnumerable 是协变的。这意味着您可以这样做：

static void FeedAll(IEnumerable<Animal> animals) 
{
    foreach(Animal animal in animals) animal.Feed();
}

...

 IEnumerable<Giraffe> giraffes = GetABunchOfGiraffes();
 FeedAll(giraffes);

“协变”意味着类型参数的赋值兼容性关系保留在泛型类型中。 Giraffe 与 Animal 赋值兼容，因此该关系保留在构造类型中：IEnumerable 与 赋值兼容IEnumerable<动物>。

为什么仅适用于接口和委托而不适用于类？

类的问题在于类往往具有可变字段。让我们举个例子。假设我们允许这样做：

class C<out T>
{
    private T t;

好的，现在在继续之前仔细思考这个问题。 C 可以在构造函数之外使用任何方法将字段 t 设置为其默认值以外的其他值吗？

因为它必须是类型安全的，C 现在不能有以 T 作为参数的方法； T只能退回。那么谁设置 t，他们从哪里获取设置的值？

协变类类型实际上仅在类不可变时才起作用。而且我们没有好的方法在 C# 中创建不可变类。

我希望我们这样做，但我们必须接受我们所获得的 CLR 类型系统。我希望将来我们能够更好地支持不可变类和协变类。

如果您对此功能感兴趣，请考虑阅读我关于我们如何设计和实现该功能的长系列文章。从底部开始：

https://blogs.msdn.microsoft.com /ericlippert/tag/协方差和逆变/

Answer 2

如果我们谈论通用方差：

协方差就是从操作返回给调用者的值。

逆变 它是相反的，它与调用者传入的值有关：

据我所知，如果类型参数仅用于输出，则可以使用 out。但是，如果该类型仅用于输入，则可以使用 in。这样很方便，因为编译器无法确定您是否记得哪种形式称为协变，哪种形式称为逆变。如果在声明类型后不显式声明它们，则可以隐式使用相关类型的转换。

类中不存在方差（协方差或逆变），因为即使您有一个仅使用类型参数作为输入（或仅将其用于输出）的类，您
无法指定 in 或 out 修饰符。只有接口和委托可以具有变体类型参数。首先CLR不允许这样做。从概念的角度来看，接口代表了从特定角度查看对象的一种方式，而类则是更多的实际实现类型。

Answer 3

这意味着如果您有以下内容：

class Parent { } 
class Child : Parent { }

那么 IFoo 的实例也是 IFoo 的实例。