Scala编译器对内部类访问字段的命名编码与权限为何存在差异？

Scala 3 测试代码 #

object NameEncodingTest:
    class HasInner:
        private val x: Int = 0
        private val y: Int = 0

        def getX: Int = x
        def getY: Int = y

        class Inner:
            val inner: Int = y

Scala编译后反编译的Java代码 #

/*
 * Decompiled with CFR 0.152.
 */
public static class NameEncodingTest.HasInner {
    private final int x;
    public final int NameEncodingTest$HasInner$$y;

    public NameEncodingTest.HasInner() {
        this.x = 0;
        this.NameEncodingTest$HasInner$$y = 0;
    }

    public int getX() {
        return this.x;
    }

    public int getY() {
        return this.NameEncodingTest$HasInner$$y;
    }
}

Java对比示例 #

Java源代码 #

// HasInner.java
public class HasInner {
    private int x = 0;
    private int y = 0;

    class Inner {
        final int inner = y;
    }
}

Java编译后反编译的代码 #

/*
 * Decompiled with CFR 0.152.
 */
public class HasInner {
    private int x = 0;
    private int y = 0;

    class Inner {
        final int inner;

        Inner() {
            this.inner = HasInner.this.y;
        }
    }
}

疑问解答 #

1. 为何字段x和y采用不同的命名编码规则？
   字段x仅被外部类自身的getX方法访问，不需要对内部类开放，因此保持原私有命名规则；字段y被内部类Inner直接访问，Scala编译器通过添加前缀的命名编码方式，绕过Java的私有访问限制，同时避免与其他成员命名冲突，这是Scala处理跨类私有成员访问的特定策略。

2. 为何字段y被修改为public，使用private是否可行？
   不可行。Java的访问控制规则中，内部类无法直接访问外部类的私有成员（除非编译器生成合成访问方法），而Scala编译器没有选择生成合成方法，而是通过将字段改为public+编码名称的方式，让内部类可以合法访问该字段。编码后的名称在Scala语义层面仍属于私有，外部无法通过原名称y之外的方式访问，不会破坏Scala代码的封装性。

3. 能否像javac一样对两种场景都采用简单命名规则？
   理论上可以，但Scala编译器选择了与javac不同的实现策略：javac会为外部类私有成员生成access$xxx这类合成方法供内部类调用，而Scala采用字段重命名+放宽权限的方案，这是为了兼容自身更灵活的内部类模型，同时减少合成方法的生成。若要切换到javac的方式，需要修改Scala编译器的私有成员访问逻辑，但目前官方并未采用该方案。

内容的提问来源于stack exchange，提问作者esse