对于泛型类型参数， out 关键字指定类型参数是协变的。 可以在泛型接口和委托中使用 out 关键字。
借助协变，可以使用比泛型参数指定的派生类型更多的派生类型。 这允许隐式转换实现协变接口的类和委托类型的隐式转换。 引用类型支持协变和逆变，但值类型不支持协变。
具有协变类型参数的接口使其方法能够返回比类型参数指定的派生类型更多的派生类型。 例如，由于在 .NET Framework 4 中IEnumerable<T>，类型 T 是协变的IEnumerable(Of Object)，因此可以在不使用任何特殊转换方法的情况下将IEnumerable(Of String)类型的对象分配给类型的对象。
可以向协变委托分配同一类型的另一个委托，但具有更派生的泛型类型参数。
有关详细信息，请参阅 协变和逆变。
示例 - 协变泛型接口
以下示例演示如何声明、扩展和实现协变泛型接口。 它还演示如何对实现协变接口的类使用隐式转换。
// Covariant interface.
interface ICovariant<out R> { }
// Extending covariant interface.
interface IExtCovariant<out R> : ICovariant<R> { }
// Implementing covariant interface.
class Sample<R> : ICovariant<R> { }
class Program
{
static void Test()
{
ICovariant<Object> iobj = new Sample<Object>();
ICovariant<String> istr = new Sample<String>();
// You can assign istr to iobj because
// the ICovariant interface is covariant.
iobj = istr;
}
}
在泛型接口中，如果类型参数满足以下条件，则可以将其声明为协变：
类型参数仅用作接口方法的返回类型，而不用作方法参数的类型。
注释
此规则有一个例外。 如果在协变接口中，有逆变泛型委托作为方法参数，则可以将此协变类型用作此委托的泛型类型参数。 有关协变和逆变泛型委托的详细信息，请参阅委托中的变体以及对 Func 和 Action 泛型委托使用变体。
类型参数不用作接口方法的泛型约束。
示例 - 协变泛型委托
以下示例演示如何声明、实例化和调用协变泛型委托。 它还演示如何隐式转换委托类型。
// Covariant delegate.
public delegate R DCovariant<out R>();
// Methods that match the delegate signature.
public static Control SampleControl()
{ return new Control(); }
public static Button SampleButton()
{ return new Button(); }
public void Test()
{
// Instantiate the delegates with the methods.
DCovariant<Control> dControl = SampleControl;
DCovariant<Button> dButton = SampleButton;
// You can assign dButton to dControl
// because the DCovariant delegate is covariant.
dControl = dButton;
// Invoke the delegate.
dControl();
}
在泛型委托中，如果类型仅用作方法返回类型而不用于方法参数，则可以将其声明为协变。
C# 语言规范
有关详细信息，请参阅 C# 语言规范。 语言规范是 C# 语法和用法的明确来源。
