关于在Java[重复]中初始化新创建的空字符串的问题

Question

我正在阅读＜code＞String的源代码。OpenJDK jdk16u中的java。

其中一个构造函数如下所示：

    /**
     * Initializes a newly created {@code String} object so that it represents
     * an empty character sequence.  Note that use of this constructor is
     * unnecessary since Strings are immutable.
     */
    public String() {
        this.value = "".value;
        this.coder = "".coder;
    }

显然那个<代码>。value是指这个私有< code >字节数组:

    /**
     * The value is used for character storage.
     *
     * @implNote This field is trusted by the VM, and is a subject to
     * constant folding if String instance is constant. Overwriting this
     * field after construction will cause problems.
     *
     * Additionally, it is marked with {@link Stable} to trust the contents
     * of the array. No other facility in JDK provides this functionality (yet).
     * {@link Stable} is safe here, because value is never null.
     */
    @Stable
    private final byte[] value;

这意味着当我们使用String（）作为构造函数时，this.value引用". value.然而，我找不到". value的确切定义。在我看来，这是一个循环定义。

编辑:不是循环定义。我的意思是Java怎么知道""是空字符串的意思。

Answer 1

这是正在构建的对象。由文本“”表示的空字符串是一个已经存在的字符串对象，它独立于正在构造的对象。值是字符串上的私有字段。代码将预先存在的空字符串值赋给新对象的值。这里没有循环。

一个对象可以看到另一个对象的私有成员有点奇怪，只要另一个对象具有相同的类型，这在类定义中是允许的。通常，您会在等于方法中看到这一点。

字符串的文字语法被编码到编译器中。不同的JVM语言允许对不同类型的对象使用不同的文字语法，语法是语言的一部分。Groovy、Clojure和Scala对各种事物都有非常不同的文字语法。文字规则在https://docs.oracle.com/javase/specs/jls/se16/html/jls-3.html#jls-3.10.5