在对此question 的评论中，我声称final 在某些情况下必须得到JVM 的认可。已经询问了final 变量的safe publication 和handling of static final members。但是强制类和方法是最终的并禁止覆盖最终字段呢？恕我直言，这可以而且必须在类加载时完成。
我的观点是
String 是 final，因此不得加载扩展它的手工类。public final 字段也是如此。虽然反射可以改变它们，但它会在运行时进行检查。因此，在加载时也必须拒绝重新分配最终字段的字节码。但我找不到证据。我说的对吗？
【问题讨论】：
是的，你是对的。
对于标记为final 的类，请参阅The Java Virtual Machine Specification: Java SE 8 Edition, §4.10 "Verification of class Files"，其中部分内容是：
[...] Java 虚拟机需要自己验证它尝试合并的
class文件是否满足所需的约束。 Java 虚拟机实现验证每个类文件在链接时满足必要的约束 (§5.4)。[…]
[...] 在验证期间必须执行
Code属性之外的三项额外检查：
- 确保
final类不是子类。- […]
（请参阅那里了解更多详细信息，包括当class 文件违反此约束时JVM 应该做什么。）
对于标记为final 的字段，请参阅ibid., §§6.5–6 "putfield" and "putstatic"，其中部分内容为putfield：
否则，如果字段为
final，则必须在当前类中声明，且指令必须出现在当前类的实例初始化方法（<init>）中。否则，将抛出IllegalAccessError。
同样适用于putstatic，但使用“<clinit> 方法”而不是“实例初始化方法 (<init>)。
（你可能已经猜到了，putfield 和 putstatic 分别是设置实例和静态字段的字节码指令。）
【讨论】：
Integer.MAX_VALUE = -1 对大多数服务器来说将是一场灾难，但看不出它是如何预防的。
final。这可以说是两个独立的问题（您当前的问题有点像询问 JVM 是否强制执行 private 和 @Override），但是，好的，我已经更新了我的答案以涵盖两者。