在使用内部类时，局部变量是最终的，而外部类字段不是

Question

本地风险值背后的想法是最终的，而领域不是。

void test() {
  var a = "a"; // outer local variable 
  class InnerClass {
     void print() {sout(a);} // InnerClass(String a)
  }
}

String a = "a" // outer field
void test() {
  class InnerClass {
    void print() { a = newA;} // OuterClass.this.a = newA
  }
  sout(a) // newA
}

Answer 1

内部类有一个引用外部类的隐藏的未命名字段。为了回答这个问题，我们将其命名为$outer。

第一个版本：

public class OuterClass {
  void test() {
    var a = "a"; // Local variable
    class InnerClass {
      void print() { sout(a); } // sout("a")
    }
    new InnerClass().print();
  }
}

它实际上被编译为：

public class OuterClass {
  void test() {
    final String a = "a";
    new OuterClass$0$InnerClass(this, a).print();
  }
}
final class OuterClass$0$InnerClass {
  private final OuterClass $outer;
  private final String a;
  OuterClass$0$InnerClass(OuterClass $outer, String a) {
    this.$outer = $outer;
    this.a = a;
  }
  void print() { sout(this.a); } // sout("a")
}

public class OuterClass {
  String a = "a"; // Outer field
  void test() {
    class InnerClass {
      void setA(String newA) { a = newA; }
    }
    new InnerClass().setA("b");
    sout(a); // sout("b")
  }
}

public class OuterClass {
  String a = "a"; // Outer field
  void test() {
    new OuterClass$0$InnerClass(this).setA("b");
    sout(a); // sout("b")
  }
}
class OuterClass$0$InnerClass {
  private final OuterClass $outer;
  OuterClass$0$InnerClass(OuterClass $outer) {
    this.$outer = $outer;
  }
  void setA(String newA) { this.$outer.a = newA; }
}