与 List(of AType(of T)) 的协方差，其中 T 是一个接口

Question

一直在阅读和检查其他问题，但不明白/似乎无法在其他任何地方找到我的答案。

假设以下情况

Public Interface IAudit
Public Class FamilyAudit implements IAudit
Public Class MemberAudit implements IAudit
Public Class AuditPair(Of T As IAudit)
Dim myList as new List(of AuditPair(of IAudit))
Dim famAuditPair as new AuditPair(of FamilyAudit)
Dim memAuditPair as new AuditPair(of MemberAudit)
' This fails
myList.Add(famAuditPair)
myList.Add(memAuditPair)

我收到编译器错误，审计对不能隐式转换为审计对（IAudit）。这看起来像是协方差/逆方差。
MSDN文档说，自4.0以来，列表应该支持方差。

我错过了什么？

Answer 1

新的in/out差异功能专门应用于两种情况：

• 接口
• 代表

它不直接适用于具体类型列表List<T>。此外，"列表"本质上是非变体的，因为"添加"和"枚举"在任一方向上都是互不兼容的。但是，充当序列的列表是协变的。考虑：

var list = new List<FamilyAudit>();
IEnumerable<IAudit> seq = list; // <=== covariance; the list is
                                // IEnumerable<FamilyAudit>, which
                                // can be compatible with
                                // IEnumerable<IAudit>

请注意，这仅适用于 .NET 4.0 及更高版本;在早期版本中，它将拒绝编译，并表示：

无法将类型"System.Collections.Generic.List"隐式转换为"System.Collections.Generic.IEnumerable"。存在显式转换（您是否缺少强制转换？

那是因为在4.0之前，接口是 IEnumerable<T> ，而不是必要的IEnumerable<out T> 。