问题

在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);
  }
}

原文链接