标签：
前言
工作一年了，平时也喜欢看看书，逛逛园子；但说到写博，还真的没有，说到底，只有一个字：懒！现在想改掉这个“毛病”了，希望多把平时工作学习到的知识和遇到的问题记录下来，一是可以梳理自己的思路，加深理解；二是可以向更多的朋友学习和分享；三是可以锻炼自己的写作水平；可谓百利而无一害！
平时偶尔会遇到一些小问题，很多时候都是查了记住，或者简单写写笔记，当时理解就过了，没有形成文档，等过段时间又遇到同样的问题，又要重新去查去理解，甚是麻烦。希望以后把这些东西写成文章，尽管可能是很小的问题，也当做笔记记录。关于c#的一些概念、语法或者规范，就记录在【c#笔记】。由于不是初学边学边记，所以没有一定的时间和学习顺序，只是平时遇到觉得有必要，就记录下来。
一、遇到问题
工作是基于.net3.5开发，实际过程遇到一个问题。假设我们有一个 Base 类，一个 Derived 类，Derived 继承了 Base。如下：
class Base
{
}
class Derived : Base
{
}
当我用IEnumerable<Base> 作为形参，List<Derived> 作为实参时，发现编译出错了！原本父类作为形参，传递子类是再正常不过的，但在泛型中确编译不通过。
二、探究问题
通常我们在设计参数和返回值都有一个原则，参数要尽可能“泛”，返回值要尽可能的“细”。泛，指得是用接口或者父类作为参数，这样可以接收更多的参数类型；细，指的是返回具体类型，这样可以更好说明方法的作用。
举个例子：
string[] strs = new string[] { "hello", "word" };
//这样的缺点是数组就传递不了了，还要调用一次 ToList()
static void Test_1(List<string> list)
{
}
//正确的做法，应该用IEnumerable<T>
static void Test_2(IEnumerable<string> list)
{
}
可见，参数的“泛”可以提供更大的灵活性。
接着就进入本次的主题：抗变与协变。需要说明的是，抗变与协变是在4.0开始支持的。假设有一个方法需要Derived集合作为参数，那么基于上面的原则，我们会这样设计：
static void TestIn(IEnumerable<Base> bases)
{
}
接着我们向下面这样调用，在3.5下就会发现编译不通过，提示无法将 List<Derived>转换为IEnumerable<Base>。
List<Derived> listIn = new List<Derived>(); TestIn(listIn);
同样的代码，我们拿到4.0下，发现编译通过了。比较 IEnumerable泛型接口，我们发现4.0下的定义为:
public interface IEnumerable<out T> : IEnumerable
发现多了 out 关键字，这就是协变。msdn对于类型参数的解释是：out T 要枚举的对象的类型。该类型参数是协变的。即可以使用指定的类型或派生程度更高的类型。
我们可以这样理解协变，参数的类型就是协变的，父类用子类代替，也就是子类当父类使用。
理解协变后，抗变就好理解了。函数的返回值就是抗变的，子类用父类代替，也就是父类当子类使用。在非泛型的情况下，我们可以这样接收方法的返回值：
object obj = Test_3();
static string Test_3()
{
return "hello world";
}
当然，我们觉得这样调用也应该是可以的：
IEnumerable<Base> listOut = TestOut();
static IEnumerable<Derived> TestOut()
{
return new List<Derived>();
}
在3.5下，这样同样会编译错误。4.0下就没有问题。
三、总结
协变与抗变的概念其实我们经常遇到（参数协变、返回值抗变），而且我们也会习惯的这样设计。但对于泛型，.net 到了4.0才提供这样的支持，这为泛型的使用提供了更大的灵活性。
ok，实际我们不怎么需要去理解概念性的东西，知道原理和理解怎么使用即可。以上是我的个人理解，如果有朋友想要更深入的理解，可以参见msdn。
标签：
原文地址：http://www.cnblogs.com/4littleProgrammer/p/4782339.html
