-
题名协变多态计算中类型安全问题的研究
被引量：1
- 1
-
-
作者
王筱瑾
陶先平
柳杨
吕建
-
机构
南京大学计算机软件新技术国家重点实验室 计算机软件研究所
-
出处
《计算机科学》
CSCD
北大核心
1999年第3期15-18,40,共5页
-
基金
江苏省青年科学基金(BQ96005)
国家自然科学基金(69473038)
国家杰出青年科学基金(61525204)
-
文摘
1.引言在O-O程序设计中,保证类型安全的反变计算不符合人们的思维习惯,而表达自然的协变计算又会引发类型的不安全,因而,由协变多态计算引出的类型安全问题一直是人们所关注的问题。人们提出了若干种办法来既保证类型安全,又提供自然灵活的表达能力,如Kim B.Bruce等在LOOM语言中提出的matching关系,较为常用的multi-methods方法,Ingalls的precise typings方法,David L.Shang的参数化类的方法等。本文的主要工作就是在介绍协变与反变等概念的基础上,讨论了各种有代表性的解决方案,对其优缺点加以分析,并在此基础上提出了自行设计的ND-Polya语言的解决方案。
-
关键词
程序设计
协变多态计算
类型安全
面向对象
-
Keywords
Type safety,Contravariance ,Covariance ,Subtype ,Multi-methods ,Method-select
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
