Thread 的 run() 方法中的最终枚举

Question

为什么 Elvis elvis 定义必须是最终的才能在 Thread run() 方法中使用？

 Elvis elvis = Elvis.INSTANCE; // ----> should be final Elvis elvis = Elvis.INSTANCE
 elvis.sing(4);

 Thread t1 = new Thread(
   new Runnable() {
   @Override
   public void run() {
   elvis.sing(6); // --------> elvis has to be final to compile
  }
}
);


 public enum Elvis {
   INSTANCE(2);

   Elvis() {
     this.x = new AtomicInteger(0);
   }

   Elvis(int x){
     this.x = new AtomicInteger(x);
   }

   private AtomicInteger x = new AtomicInteger(0);

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

   public void setX(int x) {this.x = new AtomicInteger(x);}

   public void sing(int x) {
      this.x = new AtomicInteger(x);
      System.out.println("Elvis singing.." + x);
   }
 }

Answer 1

elvis 变量的值被匿名内部类捕获。

仅 Java（当前）按值捕获变量。编译器要求该变量是最终变量，以便在新线程中调用 run 方法时不会混淆实际使用的内容：如果您更改了 elvis< 的值/code> 在创建新线程之后但在启动它之前，您希望它做什么？

这是 C# 和 Java 中闭包有效使用方式之间的差异。有关更多详细信息，请参阅我的闭包文章。 Java 7 将使闭包更加简洁 - 我一直没有关注是否有任何方法可以捕获变量本身而不是特定值。

Answer 2

这与线程无关，与构造匿名类有关。问题是您正在从匿名类中引用局部变量。现在考虑以下问题：

int c = 5;
Runnable r = new Runnable(){ public void run(){ System.out.println(c); } };
c = 6;
r.run();

在上面的代码片段中，代码应该打印 5 还是应该打印 6？如果 r 要保留对当前堆栈帧的引用来解析 c，则可以想象它可以打印 6。也可以想象它可以更早地绑定/捕获 c 的值并打印 5。Java 强制您将 c 设置为 Final，以便完全清楚地说明这一点，同时也使 Java 无需挂在当前堆栈帧上。

Answer 3

这不是你问题的一部分，但我只是好奇：如果 Elvis.x 是一个 AtomicInteger，你为什么要重新分配它？这有点忽略了 AtomicInteger 线程安全的要点。考虑重写：

public Elvis {

   final static private Elvis INSTANCE = new Elvis(2);
   static public Elvis getInstance() { return INSTANCE; }

   final private AtomicInteger x; 


   Elvis() { this(0); }

   Elvis(int x){ 
      this.x = new AtomicInteger(x);
   }

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

   public void setX(int x) {this.x.set(x); }

   public void sing(int x) {
      setX(x);
      System.out.println("Elvis singing.." + x);
   }
 }

因为它具有可变内容，所以它不应该是一个枚举。