为什么在Java中接口变量默认是静态的和最终的?


当前回答

摘自Philip Shaw的Java接口设计常见问题解答:

接口变量是静态的,因为Java接口不能自己实例化;变量的值必须在不存在实例的静态上下文中赋值。最后一个修饰符确保分配给接口变量的值是一个真正的常量,不能被程序代码重新分配。

其他回答

摘自Philip Shaw的Java接口设计常见问题解答:

接口变量是静态的,因为Java接口不能自己实例化;变量的值必须在不存在实例的静态上下文中赋值。最后一个修饰符确保分配给接口变量的值是一个真正的常量,不能被程序代码重新分配。

界面是双方之间的契约,是不变的,刻在石头上,因此是最终的。参见契约式设计。

设想一个web应用程序,其中定义了接口并由其他类实现它。因为你不能创建一个接口的实例来访问变量,所以你需要一个静态关键字。由于它是静态的,任何值的变化都会反映到其他实现它的实例。所以为了防止这种情况,我们将其定义为最终结果。

(这不是一个哲学上的答案,而是一个更实际的答案)。对静态修饰符的要求是显而易见的,这一点已经被其他人回答了。基本上,由于接口不能被实例化,访问它的字段的唯一方法是使它们成为一个类字段——静态的。

接口字段自动变成final(常量)的原因是为了防止不同的实现意外地改变接口变量的值,这可能会无意中影响其他实现的行为。想象一下下面的场景,接口属性没有被Java显式地变成final:

public interface Actionable {
    public static boolean isActionable = false;

    public void performAction();
}

public NuclearAction implements Actionable {

    public void performAction() {
        // Code that depends on isActionable variable
        if (isActionable) {
            // Launch nuclear weapon!!!
        }
    }
}

现在,想想如果实现Actionable的另一个类改变了接口变量的状态会发生什么:

public CleanAction implements Actionable  {

    public void performAction() {
        // Code that can alter isActionable state since it is not constant
        isActionable = true;
    }
}

如果这些类是由类加载器在单个JVM中加载的,那么当CleanAction的performAction()在CleanAction的执行之后(在同一个线程中或以其他方式)被调用时,核动作的行为可能会受到另一个类CleanAction的影响,在这种情况下,这可能是灾难性的(从语义上来说)。

由于我们不知道接口的每个实现将如何使用这些变量,因此它们必须隐式地为final。

因为其他任何东西都是实现的一部分,而接口不能包含任何实现。