面向对象语言自然类型检查方法

来源 :大连理工大学学报 | 被引量 : 0次 | 上传用户:Hollan720
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对面向对象技术中由于多态等机制导致的类型不安全问题,提出一种解决方案——自然类型检查.该方法对面向对象程序设计中的变量进行类型安全检查,发现由多态、强制类型转换等机制引入的不安全因素,保证程序的正确执行.以Java为描述语言,详细介绍了该方法,并与传统的类型检查进行了比较.
其他文献
讨论了用边界元法计算结构振动辐射声场的数值方法。对计算中的积分奇异性采用三角形斜坐标系、退化单元法进行处理,构造了三角形、四边形线性等参元和四边形二次等参元。对特
针对除湿蒸发冷却系统的优势和特点,对利用太阳能或其他低位热源作为再生热源的系统进行了研究,并就该系统的蓄能特性进行了初步的理论分析.与传统的冰蓄冷相比,其同体积的蓄
把有机概念图应用到中药研究中,通过计算中药有效成分的有机性值与无机性值,从而确定其在有机概念图各性状区的分布.通过研究中药有效成分与有机概念图之间的关系,可以验证许
一、非语言行为的概念  非语言,即无声语言。何谓军事共同科目教学的非语言行为?笔者认为,它指的是在特定的军事共同科目教学环境之下,教员运用无声语言将自身所要表达的综合信息通过各种载体传递给受训者的一种活动。其载体包括面部、眉目、手势、身姿、衣着等。在军事共同科目教学中,非语言行为能够延伸、拓展语言表达的含意,使之更加贴切和富有成效,起着“无声胜有声”的作用,并且能够刺激受训者的视觉系统,增强受训者
在新时期企业发展的过程中,政工队伍建设非常重要,政工队伍的存在决定着政工工作展开是否顺利,同时还能够高效促进国有企业资源的凝聚力,引导国有企业员工树立正确的"三观"。