Java 字节码最终字段分配 (jasmin)

Question

在Java语言中，最后一个字段在初始化时立即取值，不能再更改。在java字节码(jasmin(中，如果我制作最后一个字段，它会忽略我在初始化时分配给它的即时值，我可以稍后像任何其他变量一样更改它。

例如.java代码：

public class App{
    final int CONST = 2;
    App(){
        CONST = 3;
    }
    public static void main(String[] args){
        App app = new App();
    }
}

输出：

App.java:4 error: cannot assign a value to final variable CONST

例如茉莉花字节码：

.class App
.super java/lang/Object
.field private final CONST I = 2 ;!!! the immediate value is ignored, 0 assigned
.method public <init>()V
    .limit stack 3
    .limit locals 1
    aload_0
    invokespecial java/lang/Object/<init>()V
    aload_0
    bipush 3
    putfield App/CONST I ;!!! overwritting final field
    return
.end method
.method public static main([Ljava/lang/String;)V
    .limit stack 1
    .limit locals 1
    new App
    invokespecial App/<init>()V
    return
.end method

输出：

Generated: App.class

没有错误？我还测试了打印出新的 CONST 值，它就像普通变量一样工作。为什么最后一个字段不像在 java 代码中那样工作？

Answer 1

Java 语言强制执行许多在字节码级别未强制执行的约束。其中之一是处理最终字段。

在 Java 字节码中，对最终字段的唯一约束是静态最终字段不能在<clinit>方法外部分配，非静态最终字段不能在<init>方法(即构造函数(外部分配。

您可以为最终字段分配 0、1、2 或任何次数。如果链接构造函数，则可以在一个构造函数中分配给它，然后在另一个构造函数中覆盖它。

要了解有关字节码工作原理的更多信息，您应该阅读 JVM 规范。

附带说明一下，以下内容是完全不同的东西，尽管语法看似相似。

final int CONST = 2;
.field private final CONST I = 2 ;!!! the immediate value is ignored, 0 assigned

在第一个示例中，这是一个(非静态(初始值设定项。所有初始值设定项的主体实际上只是复制粘贴到每个构造函数中。因此，您可以获得与在构造函数中编写CONST = 2相同的效果。

相比之下，Jasmin语法正在创建一个ConstantValue属性。这通常用于为静态最终字段提供初始值。可以为任何字段指定它，但对于非静态字段则忽略它，因此您会看到该值被忽略。