面向对象的元级程序设计方法.docVIP

面向对象的元级程序设计方法 第23卷第5期 2005年9月 吉林大学学报(信息科学版) JournalofJilinUniversity(InformationScienceEdition) V01.23No.5 Sept.2005 文章编号:1671-5896(2005)05-0529-06 面向对象的元级程序设计方法 单郸,刘磊 (吉林大学计算机科学与技术学院,长春130012) 摘要:传统的面向过程式的元级程序设计系统存在一些弊端,如指针操作容易出错等.尤其当处理的语言文 法规则过多时,过于频繁的指针操作会降低系统的稳定性和可靠性.为此,采用面向对象的元程序设计方法, 使用基于文法的抽象语法树描述中间表示,将元级操作封装成类,构造了面向对象的元级程序设计系统 OOMPS(Object-OrientedMetaprogrammingSystem).该系统利用类的继承机制以及对象与其成员函数之间的关 系来代替指针操作,避免了指针带来的各种问题.基于该方法,实现了全系统简明测试语言A,I'I'As(Abbrevi. atedTestLanguageforAllSystems,该语言的文法规则大约有2680条)的元程序设计系统ATLAS—MPS.试验 表明,该系统效果优良,并具有稳定性及可扩充性. 关键词:元程序设计系统;元程序;目标程序;元级操作;抽象语法树 中图分类号:TP301文献标识码:A Object—OrientedMetaprogrammingMethod SHANDan,LIULei (CollegeofComputerScienceandTechnology,JilinUniversity,Changchun130012,China) Abstract:Therearesomedefects,suchaspointeroperationwhicheasilymakesanelTor,inthetraditionalpro? cedure—orientedmetaprogramming.Ifgrammarsofthelanguagehastoomuchrules,over~equenflyoperating pointerwilldecreasethestabilityandreliabilityofasystem.TheOOMS(Object?OrientedMetaprogramming System)basedontheobject—orientedmetaprogrammingmethodusesabstractsyntaxtreesbasedongral'nnler8to describemiddlerepresentations,andencapsulatesmetaoperatingsintoClass.Itsubstitutestheinhetitancemech. anismofclassesandtherelationshipofobjectsanditsmemberfunctionsforpointeroperation,accordinglyavoids allproblemscausedbypointer.Basingonthismethod,ametaprogrammingsystemofATLAS(AbbreviatedTest LanguageforAllSystems),ATLAS—MPShasbeenimplemented,whichgran'l/narhasapproximately2680 rules.TheexperimentationshowsthatA1rIAS—MPSisexcellentandhaswellstabilityandexpandability. Keywords:metaprogrammingsystem;metaprogram;objectprogram;metaoperating;abstractsyntaxtree 引言 近年来,关于元程序设计的研究取得了飞速发展,元程序设计越来越受到广泛关注.元程序设计系 统(metaprogrammingsystem)是为元级用户提供元程序设计的一种有效工具.元程序(metaprogram) 是操作目标程序(objectprogram)的程序,它可以构造目标程序,可以将目标程序段组合成大的目标程 序,可以观察目标程序的结构和其他特性….如编译器,解释器,类型检查器,程序生成器和转换系 统等.目标程序是以形式语言书写的一些句子,如人们常见的高级语言程序.元程序设计系统中对目标 收稿日期:2004-08-24 基金项目:吉林省科技发展计划基金资助项目 作者简介:单郸(198O一),女,吉林白