基于非严格平行继承模式的安全元类程序设计

• 作 者: 曹璟[1] 徐宝文[2]
• 机 构: 东南大学计算机科学与工程系,南京,210096东南大学计算机科学与工程系,南京,210096;武汉大学软件工程国家重点实验室,武汉,430072
• 出 处: 全国第五次程序设计语言发展与教学学术会议、第三届全国Web信息系统及其应用学术会议暨全国首届语义Web与本体论学术研讨会
• 发表日期: 2006年10期
• 关键词: 元类程序 程序设计 平行继承模式 消息传递

元类程序设计存在元类兼容性问题.它是由层次间对象的消息传递和不同层次的继承关系共同作用引起的.元类不兼容会导致程序运行时错误,是不安全的.由于出错原因较难发现,因此仅靠程序员检验程序的元类兼容性是不可靠的,程序设计语言本身应当提供相应的安全机制.本文在分析现有语言采取的相关机制基础上,提出了一种不同层次上类对象的非严格平行继承模式,该模式被我们开发的动态语言Simpletalk采用.