在Java类中，可以将方法定义为final，以标记该方法不能被覆盖：
public class Thingy {
public Thingy() { ... }
public int operationA() {...}
/** this method does @return That and is final. */
public final int getThat() { ...}
}这很明显，它可能对防止意外的覆盖或性能有所帮助-但这不是我的问题。
我的问题是：从OOP的角度，我理解，通过定义一种方法final，类设计器保证该方法将始终按所描述或隐含的方式工作。但这通常可能超出了类作者的影响，如果该方法执行的操作更为复杂，则仅提供属性即可。
语法约束对我来说很清楚，但是在OOP意义上有什么含义？final大多数班级作者在这种意义上是否正确使用了？
一种final方法承诺什么样的“合同” ？
Answers:
如前所述，final它与Java方法一起使用以标记该方法不能被覆盖（对于对象范围）或隐藏（对于静态）。这使原始开发人员可以创建子类无法更改的功能，这就是它提供的所有保证。
这意味着，如果该方法依赖于其他可自定义的组件（例如非公共字段/方法），则最终方法的功能仍可以自定义。这样做很好，因为（具有多态性）它允许部分定制。
阻止某些内容可自定义的原因有很多，其中包括：
性能 -一些编译器可以分析和优化操作，尤其是没有副作用的编译器。
获取封装的数据 -查看不可变对象，这些对象的属性在构造时设置，并且永远不要更改。或从这些属性派生的计算值。Java String类就是一个很好的例子。
可靠性和合同 -对象是由基元（的int，char，double等等）和/或其它对象。当在较大的Object中使用这些操作时，并非所有适用于那些组件的操作都应该适用甚至是逻辑上的。带有final修饰符的方法可以用来确保这一点。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首先，您可以标记非抽象类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);
}
} String，而是在用户定义的类中）。但是您所说的“最终不能保证行为” 正是我的观点。我同意，文档和设计很重要。
final不能确保对复合对象（例如）所做更改的可见性Map。
我不确定您是否可以对“最终”的使用以及对软件的总体设计合同有何影响进行断言。您可以确保没有开发人员可以覆盖此方法并以这种方式使其合同无效。但是另一方面，final方法可能依赖于其值由子类设置的类或实例变量，并且可以调用其他被重写的类方法。因此，最终充其量是非常薄弱的保证。
const。如在char const * const = "Hello"或char const * const addName(char const * const name) const...
不，这不是在班级作者的影响之外。您不能在派生类中重写它，因此它将按照基类作者的意图进行操作。
http://download.oracle.com/javase/tutorial/java/IandI/final.html
值得一提的是，该部分建议从构造函数调用的方法应为final。