百科问答小站 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#是如何处理协变和逆变的时候,他说:不需要处理,假装那个对象是这个类型就好了。




  

相关话题

  Golang 的 goroutine 是如何实现的? 
  C 语言是否需要改进,甚至重新设计一门语言取代 C 语言? 
  觉得 SQL 太难用于是自己编了个类 SQL 语言,不知道有没有人想过类似的事情? 
  如何从只会 C++ 语法的水平到达完成项目编写软件的水平? 
  C语言中, for 和 while 在汇编上有什么区别? 
  有多少人知道汉诺塔其实应该叫河内塔? 
  C# 如何在调用控件时做到 Thread-safe(线程安全)? 
  C++里为何要定义类似size_type,difference_type,iterator这种类型? 
  python中的lambda 和java中的lambda有什么不同? 
  一门编程语言,先将代码编译为C,再由C编译器编译为可执行文件,是否可行? 

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





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