Java 8允许静态接口方法
使用Java 8,接口能,会,可以有静态的方法。它们也可以有具体的实例方法,但不具有实例字段。
这里确实有两个问题:
- 为什么在过去的糟糕时期,接口不能包含静态方法?
- 为什么不能重写静态方法?
接口中的静态方法
在以前的版本中,接口不可能有静态方法,这在技术上没有很强的原因。这是海报总结得很好一个重复的问题。静态接口方法最初被认为是小小的语言变化,然后正式提案将它们添加到Java 7中,但后来由于意外的并发症而下降。
最后,Java 8引入了静态接口方法,以及具有默认实现的可重写实例方法。但是他们仍然不能拥有实例字段。这些特性是lambda表达式支持的一部分,您可以在JSR 335 H部分。
覆盖静态方法
第二个问题的答案有点复杂。
静态方法在编译时是可解析的。例如,动态分派方法是有意义的,编译器无法确定对象的具体类型,因此无法解析要调用的方法。但是调用静态方法需要一个类,而且因为这个类是已知的。静态-在编译时-动态分派是不必要的。
对于实例方法是如何工作的,了解一下这里发生了什么是必要的。我确信实际的实现是完全不同的,但是让我解释一下我的方法分派的概念,哪种模型能够准确地观察到行为。
假设每个类都有一个哈希表,该哈希表将方法签名(名称和参数类型)映射到实际的代码块以实现该方法。当虚拟机试图在实例上调用方法时,它会查询对象的类,并在类的表中查找请求的签名。如果找到方法体,则调用它。否则,将获得该类的父类,并在其中重复查找。直到找到该方法,或者没有更多的父类,这将导致NoSuchMethodError
.
如果超类和子类的表中都有相同方法签名的条目,则首先会遇到子类的版本,而超类的版本永远不会被使用-这是一个“覆盖”。
现在,假设我们跳过对象实例,从一个子类开始。决议可以按照上面的方式进行,给出一种“可覆盖的”静态方法。但是,解析可以在编译时发生,因为编译器是从已知的类开始的,而不是等到运行时才为其类查询未指定类型的对象。“重写”静态方法没有意义,因为可以始终指定包含所需版本的类。
构造器“接口”
这里有一些更多的材料来解决这个问题的最近的编辑。
的每个实现都需要有效地强制执行一个类似构造函数的方法。IXMLizable
..忘记尝试用一个接口来执行这个操作一分钟,并假装您有一些类满足这个要求。你怎么用?
class Foo implements IXMLizable<Foo> {
public static Foo newInstanceFromXML(Element e) { ... }}Foo obj = Foo.newInstanceFromXML(e);
因为您必须显式地命名具体类型。Foo
当“构造”新对象时,编译器可以验证它确实有必要的工厂方法。如果没有,那又怎样?如果我能够实现IXMLizable
它缺少“构造函数”,我创建一个实例并将其传递给您的代码。是阿IXMLizable
所有必要的接口。
建筑是实施的一部分,不是界面。任何成功使用接口的代码都不关心构造函数。任何关心构造函数的代码都需要知道具体的类型,接口可以被忽略。