在泛型接口和委托中协变（covariance）可以使用泛型参数所定义类型的继承类型，逆变（contravariance）用于使用更一般的类型。一个泛型接口或委托的泛型参数被声明为协变或逆变时该接口或委托称为变体。在.NET Framework 4和Visual Studio 2010中，C#和Visual Basic均支持变体泛型接口和委托，并且允许泛型参数的隐式转换，而且这两种语言都允许创建自定义变体接口和委托。变体只支持引用类型，值类型不支持变体。
使用协变，第一个问题可以解决，这些代码在Visual Studio 2010中能够正确编译并运行。使用逆变可以解决第二个问题，这时事件处理程序使用了“更一般”的类型（该事件的委托允许使用更一般的类型）。
2. 接口中的变体
在.NET Framework 4中对一些已存在的泛型接口引入了变体支持，这支持实现了这些接口的类的隐式转换。这些接口是：
IEnumberable<T>
IEnumerator<T>
IQueryable<T>
IGrouping<TKey,TElement>
IComparer<T>
IEqualityComparer<T>
IComparable<T>
IEnumerator<T>
IQueryable<T>
IGrouping<TKey,TElement>
IComparer<T>
IEqualityComparer<T>
IComparable<T>
开发人员还可以在泛型类型参数上使用in和out关键字以声明变体泛型接口。
（1）使用out关键字声明协变泛型参数，例如以下代码：
interface IFileCollection<out T>
{
}
{
}
但是该变体类型T必须遵守以下规则：
·该类型不能作为方法参数而只能作为返回类型。
interface IFileCollection<out T>
{
T IndexOf(int i);
}
{
T IndexOf(int i);
}
·第一个规则有一个特殊情况是当方法参数是逆变泛型委托时可以将该类型作为该委托的泛型类型参数。
interface IFileCollection<out T>
{
void Delete(Action<T> file);
}
{
void Delete(Action<T> file);
}
·该类型不能作为接口方法中泛型类型的约束，例如以下代码是错误的
interface IFileCollection<out T>
{
void Display<R> where R : T;
}
{
void Display<R> where R : T;
}
