一种基于类型约束的泛型Java程序重构方法

摘要

泛化关系重构是一类非常重要的重构方法,能否实施这类重构取决于程序中的类型约束.本文针对现有泛化关系重构方法在处理泛型程序时不考虑参数化类型的约束,会破坏程序类型正确性的问题,提出了一组泛型Java程序的类型约束规则,通过构造类型约束图分析了重构前后程序的类型约束,并给出了提炼接口和成员上移的自动化重构算法,可以在与程序代码规模成线性关系的时间内实施重构,并有效地保证程序的类型正确性.