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

• 作者: 徐宝文 陈林
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 泛型程序设计 软件重构 泛型概念 C++0x 约束分析
• 年，卷（期）: 2009,（9）
• 页码范围: 1792-1803
• 页数: 12页
• 分类号: TP311
• 字数: 10114字
• 语种: 中文
• DOI: 10.3724/SP.J.1016.2009.01792

摘要

使用泛型概念对领域知识进行抽象是泛型程序设计方法的基础.在新的C++0x标准中泛型概念将成为一个新的语言设施,这将为设计可复用、可扩展的泛型软件提供坚实的基础.为了更好地利用C++0x的新特性,有必要识别C++遗产代码中的泛型概念,并通过重构得到符合C++0x标准的代码.文中提出了一种基于代码静态分析的泛型概念自动识别方法,通过对泛型程序中类型参数的使用分析,从遗产代码中提取有效表达式约束和关联类型约束,进而推导出泛型概念.将该方法应用于C++标准模板库STL,可以识别出STL算法中绝大部分潜在的泛型概念,表明该方法有助于识别遗产代码中的泛型概念.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐宝文	东南大学计算机科学与工程学院	118	3034	31.0	51.0
10	陈林	东南大学计算机科学与工程学院	33	241	8.0	14.0