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




  

相关话题

  能否用外行也能懂的语言解释为什么C++很「危险」? 
  怎么看待 Linus 和 Richard Stallman 对 C++ 的态度? 
  到底存在不存在不适合学编程的人? 
  编程语言的类型推断怎么解决协变和逆变的问题? 
  如果一定要在C++和JAVA中选择,是C++还是java? 
  Python 有哪些好的学习资料或者博客? 
  如果编程语言有性别?Java、C++、C、C#是男是女?是GAY还是LES? 
  批判易语言的人是否用过这门语言,批判它的原因又是什么? 
  如何由 C# 的「拖控件」阶段继续深入学习? 
  做一个不同编程语言之间的converter有没有意义? 

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





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