在C# 4.0中，泛型的协变性被实现得这么好，以至于可以写出下面的代码而不会抛出异常（相对于C# 3.0来说）：
List<int> intList = new List<int>();
List<object> objectList = intList;
[示例不可用：请参考Jon Skeet的答案]
最近我参加了一场会议，Jon Skeet给出了一个Generic Variance的很好的概述，但我不确定我是否完全理解它——当涉及到contra和co-variance时，我理解in和out关键字的重要性，但我很好奇背后发生了什么。
执行此代码时，CLR会看到什么？ 它是否将List<int>隐式转换为List<object>，还是说我们现在可以在派生类型和父类型之间进行转换只是List<T>实现中的内置功能？
出于兴趣，为什么以前的版本没有引入这个特性，主要优点是什么——即实际使用中的好处？
有关Generic Variance的更多信息，请参见此帖子（但问题已过时，需要寻找真正的最新信息）
List<T>）是不变的；只有委托和接口是可变的IEnumerable<int>到IEnumerable<object>的转换是不存在的(该代码在C# 3.0和4.0中都无法编译 - 没有异常。)
所以这个例子会起作用：
IEnumerable<string> strings = new List<string>();
IEnumerable<object> objects = strings;
objects.GetType()，仍然会得到List<string>。IComparer<Shape>的东西，用于按面积比较形状，那么你不能将其用于对List<Circle>进行排序，这是荒谬的 - 如果它可以比较任意两个形状，那么它肯定可以比较任意两个圆。自C# 4以来，从IComparer<Shape>到IComparer<Circle>会有逆变转换，因此您可以调用circles.Sort(areaComparer)。object x = "hello";
在幕后发生的事情是将字符串的引用不经修改地粘贴到类型为object的变量中。构成对字符串的引用的位是合法的位以引用对象，因此此处不需要发生任何事情。CLR仅停止将这些位视为对字符串的引用，并开始将它们视为对对象的引用。
当你说：
IEnumerator<string> e1 = whatever;
IEnumerator<object> e2 = e1;
同样的事情。什么都没有发生。引用一个字符串枚举器的比特与引用对象枚举器的比特相同。当您进行转换时，会有更多的魔法发挥作用，比如：
IEnumerator<string> e1 = whatever;
IEnumerator<object> e2 = (IEnumerator<object>)(object)e1;
现在CLR必须生成一个检查，以确保e1实际上实现了该接口，并且该检查必须能够智能地识别变性。
但我们之所以可以使用变体接口只是无操作转换，是因为常规的赋值兼容性就是这样。你要用e2做什么呢？
object z = e2.Current;
这将返回一个字符串的引用的位。我们已经确定它们与对象兼容且不会改变。
为什么这个功能没有早些时候引入？因为我们有其他功能要做，而且预算有限。
最主要的好处是，从字符串序列到对象序列的转换可以“正常工作”。
有趣的是，为什么之前的版本没有引入这个功能呢？
.NET的第一个版本（1.x）根本没有泛型，所以泛型的变异很遥远。
需要注意的是，在所有版本的.NET中，都存在数组协变性。不幸的是，它是不安全的协变性：
Apple[] apples = new [] { apple1, apple2 };
Fruit[] fruit = apples;
fruit[1] = new Orange(); // Oh snap! Runtime exception! Can't store an orange in an array of apples!
C# 4中的协变和逆变是安全的，并且可以避免这个问题。
主要好处是什么 - 即实际应用场景？
在代码中，很多时候你需要调用一个API来接收一个Base类型的放大版（例如 IEnumerable<Base>），但你只有一个Derived类型的放大版（例如 IEnumerable<Derived>）。
在C# 2和C# 3中，你需要手动转换为 IEnumerable<Base>，即使它应该 "just work"。协变和逆变使其 "just work"。
p.s. 真烦Skeet的回答正在吃掉我的声望分数。该死的你，Skeet！ :-) 看起来他之前已经回答过这个问题了。