Java`final`方法:它有什么承诺?

问题

在Java类中,可以将方法定义为final,以标记此方法可能未被覆盖:

public class Thingy {
    public Thingy() { ... }
    public int operationA() {...}
    /**this method does @return That and is final. */
    public final int getThat() { ...}
}

这很清楚,它可能有一些用途,以防止意外超越,或可能性能 - 但这不是我的问题。

我的问题是:从OOP的角度来看,我明白,通过定义方法final,类设计者保证这种方法将始终如所描述或暗示的那样工作。但是,这通常可能超出了班级作者的影响,如果该方法正在做的事情更复杂,那么只是提供aproperty。

句法约束对我来说很清楚,但OOP意义上的含义是什么? Isfinal在这个意义上被大多数班级作者正确使用了吗?
afinal方法承诺什么样的"合同"?


#1 热门回答(127 赞)

如上所述,final与Java方法一起使用,以标记该方法不能被覆盖(对于对象范围)或隐藏(对于静态)。这允许原始开发人员创建子类无法更改的功能,这是它提供的所有保证。

这意味着如果该方法依赖于其他可自定义的组件(如非公共字段/方法),则最终方法的功能仍可以自定义。虽然(有多态性)它允许部分自定义,但这很好。

有许多理由可以防止某些内容被定制,包括:

  • 性能 - 一些编译器可以分析和优化操作,尤其是没有副作用的操作。
  • 获取封装数据 - 查看不可变对象,其中属性在构造时设置,不应更改。或者从这些属性派生的计算值。一个很好的例子是Java String类。
  • 可靠性和契约 - 对象由基元(int,char,double等)和/或其他对象组成。并非适用于这些组件的所有操作都应适用,或者在更大的对象中使用时也应该是合乎逻辑的。具有最终修饰符的方法可用于确保。 Counter类就是一个很好的例子。
public class Counter {
    private int counter = 0;

    public final int count() {
        return counter++;
    }

    public final int reset() {
        return (counter = 0);
    }
}

如果public final int count()方法不是final,我们可以这样做:

Counter c = new Counter() {   
    public int count() {
        super.count();   
        return super.count();   
    } 
}

c.count(); // now count 2

或类似的东西:

Counter c = new Counter() {
    public int count() {
        int lastCount = 0;
        for (int i = super.count(); --i >= 0; ) {
            lastCount = super.count();
        }

        return lastCount;
    }
}

c.count(); // Now double count

#2 热门回答(23 赞)

最终方法承诺什么样的"合同"?

从另一个角度来看,任何非最终方法都会产生明显的保证,你可以使用自己的实现来覆盖它,并且类仍然可以按预期工作。当你不能保证你的班级支持覆盖一个方法时,你应该让它成为最终的。


#3 热门回答(8 赞)

首先,你可以将非抽象类final标记为字段和方法。这样整个类不能被子类化。因此,课程的行为将得到修复。

我同意标记方法final并不保证如果这些方法调用非最终方法,它们的行为在子类中是相同的。如果确实需要修复行为,则必须通过惯例和精心设计来实现。并且不要忘记在javadoc中使用这个概念!(java文档)

最后但并非最不重要的是,final关键字在Java内存模型(JMM)中扮演着非常重要的角色。 JMM保证,为了实现final字段的可见性,你不需要正确的同步。例如。:

class A implements Runnable {
  final String caption = "Some caption";                           

  void run() {
    // no need to synchronize here to see proper value of final field..
    System.out.println(caption);
  }
}