C# 协变

    public interface IMethaneProducer<out T>{ ... }

对于接口定义，协变类型参数只能用作方法的返回值或属性get访问器。

    说明协变用途的一个很好例子在.NETFramework中，即前面使用的IEnumerable<T>接口。在这个接口中，项类型T定义为协变，这表示可以把支持IEnumerable<Cow>的对象放在IEnumerable<Cow>类型的变量中。

因此下面的代码是有效的：

static void Main(string[] args)

{

    List<Cow> cows = new List<Cow>(); 

    cows.Add(new Cow("Rual")); 

    cows.Add(new SuperCow("Donna"));

    ListAnimals(cows);

    ReadKey();

}

static void ListAnimals(IEnumerable<Animal> animals)

{

    foreach (Animal animal in animals)

    {

        WriteLine(animal.ToString());

    }

}

其中cows变量的类型是List<Cow>，它支持IEnumerable<Cow>接口。通过协变，可以将这个变量传递给需要EEnumerable<Animal>类型的参数的方法。回顾一下foreach循环的工作方式，就知道GetEnumerator()方法用于获取IEnumerator<T>的一个枚举器，该枚举器的Current属性用于访问项。IEnumerator<T>还将其类型参数定义为协变，这表示可以把它用作参数的get访问器，而且一切都运转良好。