《计算机学报》文章摘要   全文下载
文章题目	基于源代码静态分析的C++0x泛型概念抽取
作者	陈林1),2),3) 徐宝文1),2)，3)
作者单位	1)(东南大学计算机科学与工程学院 南京 210096) 2)(南京大学计算机软件新技术国家重点实验室 南京 210093) 3)(南京大学计算机科学与技术系 南京 210093)
发表年份	2009
发表月份	9期(1792—1803)
文章摘要	摘要 使用泛型概念对领域知识进行抽象是泛型程序设计方法的基础.在新的C++0x标准中泛型概念将成为一个新的语言设施，这将为设计可复用、可扩展的泛型软件提供坚实的基础.为了更好地利用C++0x的新特性，有必要识别C++遗产代码中的泛型概念，并通过重构得到符合C++0x标准的代码.文中提出了一种基于代码静态分析的泛型概念自动识别方法，通过对泛型程序中类型参数的使用分析，从遗产代码中提取有效表达式约束和关联类型约束，进而推导出泛型概念.将该方法应用于C++标准模板库STL，可以识别出STL算法中绝大部分潜在的泛型概念，表明该方法有助于识别遗产代码中的泛型概念. 关键词 泛型程序设计；软件重构；泛型概念；C++0x；约束分析 中图法分类号：TP311 DOI号：10.3724/SP.J.1016.2009.01792