Java接口

定义

Java接口是用interface关键字声明的一种引用类型，与类相似但不能被实例化，只能被类实现或被其他接口扩展^[1]。接口体中可以出现常量、方法签名、默认方法、静态方法、私有方法以及嵌套类型，其中只有默认方法、静态方法和私有方法带有方法体^[1]。

接口中的抽象方法不带花括号，以分号结尾，并且隐式具有public可见性；接口中的字段隐式为public、static、final，且必须带初始化表达式^[4]。实现接口的类若不给出全部非默认方法的实现，就必须声明为抽象类^[2]。

在Java语言规范中，接口并没有一个像java.lang.Object那样的共同根接口，所有类都是Object的扩展，但并不存在所有接口都继承自某一个接口的情形^[4]。

原理

接口把类型与实现解耦：调用方只依赖接口中声明的方法签名，实现方负责给出方法体，双方的代码可以互不知晓对方的内部实现^[1]。对象引用可以声明为接口类型，运行时指向某个实现该接口的类的实例，方法调用由该实例的实际类型决定，这就是面向对象中的多态。

接口之间的继承关系由extends子句构成，并通过直接父接口关系的传递闭包来定义：若I是K的直接父接口，或I是K某个直接父接口的父接口，则I是K的父接口^[4]。类只能继承一个父类，但可以实现任意多个接口；接口本身也可以一次扩展多个接口，从而绕开类的单继承限制^[2]。

自Java 8起，接口可以用default修饰符声明带实现的方法，实现类直接继承该默认实现，也可以选择重写；静态方法则通过「接口名.方法名」的形式调用，不会被实现类继承，也不能被重写^[3]。当一个类从多个接口继承到签名相同的默认方法时，编译器会要求该类显式重写该方法以消除歧义，也可以在重写时通过接口名加super的形式指定调用某一个父接口的实现^[5]。

发展历程

Java语言在1995年由太阳微系统公司发布，其语言规范中从一开始就把接口作为独立于类的类型构造，并在规范的专门章节中规定了接口的声明、成员与继承规则^[6]。早期规范明确接口成员隐式为public，字段隐式为public、static、final^[7]。

在Java 8之前，接口中的方法只能是抽象方法，向已发布的接口新增方法会导致所有实现类编译失败，这是接口演进时的主要障碍^[3]。Java 8引入默认方法与静态方法，使接口可以在不破坏既有实现类的前提下增加带实现的方法^[5]。

Java 9进一步允许在接口中定义私有方法和私有静态方法，用于把多个默认方法或静态方法中重复的代码抽取成内部辅助方法，避免这段实现被外部调用^[8]。后续版本在接口声明上继续增加约束能力，接口可以使用sealed修饰符并通过permits子句限定允许的直接子接口^[4]。

应用

接口常用于定义应用程序编程接口(API)：一方按接口编写实现并公开接口，另一方只依据方法签名与返回类型调用，实现方可以在不改变接口的前提下调整内部实现^[1]。这种契约式做法让不同团队可以并行开发，各自只需遵守共同公布的接口。

在Java标准库中，接口承担了大量通用能力的抽象，例如Comparable用compareTo方法描述对象之间的比较，使排序算法无需知道元素的具体类型即可工作；Serializable则是不含任何方法的标记接口，仅用于标示一个类可被序列化^[2]。由于Java不允许把方法作为参数传递，接口也被广泛用于回调，通过传入接口引用来把方法签名交给目标方法调用^[2]。

接口还是构造混合类型的工具：一个类若已有一个主要父类，仍可通过实现接口获得额外的次要类型，从而同时具备多种行为特征^[9]。在软件规模扩大、生命周期延长时，面向接口编程有助于提高系统的可扩展性与可替换性^[10]。

局限

接口不能保存实例状态，其中的字段只能是隐式public、static、final的常量，且必须初始化，因此无法像抽象类那样用成员变量描述对象的数据^[7]。接口也不能被实例化，并且没有构造方法，创建对象仍须依赖实现类^[1]。

默认方法虽然缓解了接口演进的兼容性问题，却引入了多继承语义下的冲突：多个父接口提供同名同签名的默认实现时，实现类必须自行重写，否则无法通过编译；同时默认方法的调用规则还要求开发者区分默认方法与抽象方法的优先级^[3]。设计不当或过度使用默认方法，会让接口承担过多实现细节，增加理解与维护成本^[5]。

接口能约束方法签名，却无法强制实现方遵守语义约定，例如标记接口所标示的能力在程序层面并不被检查，其行为主要依靠文档说明^[2]。此外，接口本身不提供任何可复用的状态与构造逻辑，涉及共享字段或初始化流程的需求仍需抽象类承担^[9]。

参见

• 抽象类 —— 与接口并列的抽象类型，可以包含部分方法实现和实例字段。

• 多态 —— 接口类型引用在运行时指向不同实现类实例所产生的行为差异。

• Java虚拟机 —— 承载接口编译产物并完成类与接口加载、链接的运行时环境。

• 应用程序编程接口 —— 接口常用于对外公布的调用约定。

• 面向对象编程 —— 接口机制所属的编程范式。