编程语言的类型推断怎么解决协变和逆变的问题？ 第1页

轮百万和 @Ivony 讲的都太简单，其实协变逆变本身和C#什么的没什么关系，理论上来说协变逆变可以搞得很完备很复杂，复杂到以绝大部分人的脑力不能很快看出两个类型之间有没有协变逆变的关系。假如你准备好了可以看这里：

Programming Languages by Dan Grossman at Coursera.org

Section 8其中一部分是在讲Subtyping，基于一种自定义的也是最基本的Record类型（即 { a: { b: t1, c: t2 }, d: t3 } 这种）怎么判断类型之间是否兼容。视频的话可以从“Subtyping From the Beginning”部分开始看，看到“Depth Subtyping”，也可以直接看Reading Notes。

当然之前说了，因为这个判断实在太复杂，所以在真正使用的时候语言基本都是做了限制的，例如C#中只对interface和delegate提供了协变逆变。

此外，实现时C#也根据.NET的特性进行了限制，就像 @Ivony 说的那样，C#支持协变逆变的原则是“IL代码完全一致”。这导致了一点就是，虽然struct类型也是可以赋值给object的，但是IEnumerable<int>不能赋值给IEnumerable<object>，因为在使用IEnumerable<int>时的代码和IEnumerable<object>不同，而IEnumerable<string>和IEnumerable<object>是完全相同的。

总之理论是一回事，实现是另一回事情，是要考虑到程序员是否可以接受以及实现起来是否方便的。另外假如有兴趣的话，可以试着写一段程序，基于代码里的Record类型判断两个Record是否兼容，对编程能力是挺好的锻炼。

---

  Ivony 网友的相关建议: 
      

C#的协变和逆变本质上就是通知编译器忽略没有必要的类型检查。

如果你看IL就会发现，对于：

       ((object) str).ToString();//str是string类型     

和

       ((object) obj).ToString();//obj是object类型     

或者

       obj.ToString();//obj是object类型      

这几个表达式生成的IL没有区别的，也就是说这里的类型转换其实没有真正的转换，仅仅只是确保调用的ToString方法是object声明的那个。

这也就是派生类对象可以直接当作基类对象使用无需额外的指令。

我当初问 @装配脑袋 C#是如何处理协变和逆变的时候，他说：不需要处理，假装那个对象是这个类型就好了。

---