百科问答小站 logo
百科问答小站 font logo



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

  

user avatar   jeffz 网友的相关建议: 
      

轮百万和 @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是否兼容,对编程能力是挺好的锻炼。


user avatar   Ivony 网友的相关建议: 
      

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


如果你看IL就会发现,对于:

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

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

或者

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

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


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


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




  

相关话题

  为什么 Python 的 GIL 问题一直让人诟病,Python 社区却不解决? 
  go语言,局部变量什么时候回收? 
  如何看待程序员不写注释? 
  江湖上流传着哪些关于R大RednaxelaFX的黑暗传说? 
  不准备深入学习编程前提下,能最快上手制作 win 端简单软件的语言是什么? 
  你最喜欢的编程语言是什么?为什么喜欢? 
  运行时异常处理程序是如何实现的? 
  c#匿名委托获取自身的方法? 
  码农如何以写代码的方式祝愿亲爱的朋友们新年快乐? 
  为什么现在会有这么多种编程语言? 

前一个讨论
Facebook 为什么不用 .NET?
下一个讨论
一个氢弹和一个原子弹绑在一起,同时爆炸,会发生什么情况 ?





© 2024-11-12 - tinynew.org. All Rights Reserved.
© 2024-11-12 - tinynew.org. 保留所有权利