重构是一种保留行为的程序转换.自动重构的实现多是以Opydke建议的一组不变式为基础进行的.Opydke给出的重构方法建立在C++语言上,并把语言特性限制为无环的单继承体系[7].这样的重构环境不能完全适用于Java语言,也不支持接口机制.而接口是Java语言的重要特性,它定义实现的协议,体现分析和设计中的抽象.通过使用接口可以实现面向对象方法中设计和实现相分离,能够为应用程序建立设计框架.该文通过借鉴Opydke的重构方法,提出九个针对Java接口的基本重构方法.通过讨论这些基本重构方法的"程序可观察行为"不变性,说明在Java语言中使用接口对已存在代码进行自动重构是可行的.这个工作从Opydke约束的单继承的面向对象体系,扩展到用实现接口来体现的"多继承"的面向对象体系,同时,增加了对方法重载和类型溯造的支持.从所提出的基本重构方法,可以组合出复杂的重构.作为组合重构的实例,该文给出"用接口替参数对象"的重构方法.最后,设计和实现一个支持上述重构方法的实验工具.