java中的默认实例值初始化

编程问答 2022-04-22

问题描述

我正在尝试在生成的字节码中检查实例变量的默认值（即此处为 0）。 我可以看到 <init>() 被调用，如果我在构造函数中打印 myvar 实例变量，那么我会看到 getfield 调用了 myvar 但是这个默认设置在哪里？

请回答以下问题：

  1. 什么时候在 myvar 中设置默认值？ （在编译或对象创建时间之后）
  2. 谁（编译器或 jvm）在实例变量中初始化（或者说设置默认值）？
public class FieldInit {

    int myvar;

    public static void main(String[] args) {

        new FieldInit(); // and what would happen if I comment out this
    }
}

我正在尝试使用 javap 反汇编字节码，但看不到 <clinit>() 方法，我猜这可能发生了。请告诉我是否可以查看 <clinit>() 方法，如果可以，如何查看？

解决方法

在 JVM 中，一个对象实例化被拆分为两条字节码指令：

  1. new 分配一个新的未初始化对象；
  2. invokespecial 调用初始化对象的构造函数。

new 字节码 says 的 JVM 规范：

该类的新实例的内存是从 垃圾收集堆，以及新对象的实例变量 被初始化为它们的默认初始值

JVM 在执行 new 指令时将所有实例字段设置为零。因此，在调用构造函数时，所有字段都已设置为其默认值。您不会在字节码中找到这种“归零”——它是在对象分配期间由 JVM 隐式完成的。

,
  1. 您的问题无法回答，因为它比您想象的要复杂。

java 中的字段被编码在一个字段数据结构中，这个数据结构包括初始值的空间。 但是，此数据结构中唯一可能的初始值是数字和字符串。

让我们看看它的实际效果！ （请注意，L 只是告诉 java 的 java 语法：此数字是 long，而不是 int。5 是常数，5L 也是如此）。

class Test {
    public static final long mark = 5L;
}

javac Test.java
javap -v c Test

.....
public static final long mark;
   descriptor: J
   flags: (0x0019) ACC_PUBLIC,ACC_STATIC,ACC_FINAL
   ConstantValue: long 5l

嘿，看，恒定值 5L。

但如果它不是恒定的呢？

啊，这是个问题。你不能在这里编码。

所以，现在是语法糖时间！

您可以在类的静态初始化期间运行的任何类中编写特殊方法。您还可以编写一个在创建新实例时运行的特殊方法。那几乎与构造函数完全相同，只有奇特的差异。它看起来像这样：

public class Test {
    static {
        System.out.println("What voodoo magic is this?");
    }

    public static void main(String[] args) {
        System.out.println("In main");
    }
}

让我们看看它的实际效果！

javac Test.java
java Test
What voodoo magic is this?
In main

javap -c -v Test
...
static {};
   descriptor: ()V
   flags: (0x0008) ACC_STATIC
   Code:
     stack=2,locals=0,args_size=0
        0: getstatic     #7                  // Field >java/lang/System.out:Ljava/io/PrintStream;
        3: ldc           #21                 // String Voodoo...
        5: invokevirtual #15                 // Method >java/io/PrintStream.println:(Ljava/lang/String;)V
        8: return
     LineNumberTable:
       line 3: 0
       line 4: 8
}

如你所见，那个奇怪的 static{} 东西被编译成看起来完全像一个方法、字节码等等的东西，但方法的名字很奇怪，它只是 static{}。>

线索来了

但是如果我们把它弄得更复杂一点会发生什么。让我们将此字段初始化为当前时间！

class Test {
    public static final long mark = System.currentTimeMillis();
}

这只是语法糖。这解释了这是如何工作的，因为正如我告诉你的，在类文件级别，你不能用非常量来初始化字段。因此，它编译为与以下内容相同的内容：

class Test {
    public static final long mark;

    static {
        mark = System.currentTimeMillis();
    }
}

您可以javap确认这一点。

一个叫做“编译时常量”。另一个不是。这以各种方式表现出来。例如，您可以将 CTC 作为注释参数传递。尝试：尝试使用 static final long MARK = 5L;（您将能够），然后使用 static final long MARK = System.currentTimeMillis(); - 这将不被允许。

那么，初始值在哪里？如果它是一个常量值，javap -c -v 将显示它。如果不是，则卡在静态块中。

bytecodeinstance-variablesjavajavajavacjvm