基于源代码静态分析的C++0x泛型概念抽取.pdf

第32卷第9期 计 算 机 学 报 v01．32No．9 2009年9月 CHlNESE OFCOMPUTERS JOURNAL Sept．2009 基于源代码静态分析的C++0x泛型概念抽取 陈 林 徐宝文”’2h3’ 1’(东南大学计算机科学与工程学院南京210096) 2’(南京大学计算机软件新技术国家重点实验室南京210093) 3’(南京大学计算机科学与技术系南京210093) 摘 要使用泛型概念对领域知识进行抽象是泛型程序设计方法的基础．在新的C++Ox标准中泛型概念将成为 一个新的语言设施，这将为设计可复用、可扩展的泛型软件提供坚实的基础．为了更好地利用C++Ox的新特性， 有必要识别C++遗产代码中的泛型概念，并通过重构得到符合C++ox标准的代码．文中提出了一种基于代码静 态分析的泛型概念自动识别方法，通过对泛型程序中类型参数的使用分析，从遗产代码中提取有效表达式约束和 关联类型约束，进而推导出泛型概念．将该方法应用于C++标准模板库STL，可以识别出STL算法中绝大部分潜 在的泛型概念，表明该方法有助于识别遗产代码中的泛型概念． 关键词泛型程序设计；软件重构；泛型概念；C++0x；约束分析 1 DOI号：10．3724／SP．J．1016．2009．01792 中图法分类号TP31 Static toExtract C++0x Using Analysis Concepts CHENLinl)，2)，3’XUBao—Wanl’，2’，3’ ”(School Scienceand 210096) ofComputer Engineering，SoutheastUniversity，Nanjing 2’(State Novel 210093) KeyLaboratoryfor SoftwareTechnology，NanjingUniversity，Nanjing Scienceand 210093) ”(DepartmentofComputer Technology．NanjingUniversity，Nanjing Abstract toabstractdomain isthebasisfor programming． UsingConcepts knowledge generic beanew in solidbasefor reus— will featureC++Ox，which Concept language provides developing ableandextendablesoftware．Tomakebetteruseofnew featuresof generic genericprogramming themto