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