java - 为什么我应该 "final"在多线程程序中共享变量

Question

我的问题是为什么我应该使用final来修饰变量list？它被匿名内部类的实例使用，没有final，将无法编译。

代码如下所示:

public class TwoThreadsOneListCurrModi
{
  public static void main(String[] args)
  {    
     final List<String> list = Collections.synchronizedList(new ArrayList<String>());

    for (int i =0 ; i<20;i++)
      list.add(String.valueOf(i));
    Thread t1 = new Thread(new Runnable(){

      @Override
      public void run()
      {
          synchronize(list) {
          System.out.println("size of list:" +list.size());
          }
      }
    });

    t1.start();  
  }
}

但是如果我使用普通类，那就没问题了。

public class TwoThreadsOneListCurrModi2

{
  public static void main(String[] args)
  {    
     final List<String> list = Collections.synchronizedList(new ArrayList<String>());
    initialize list;

    Thread t1 = new WorkThread(list);
    Thread t2 = new WorkThread(list);    
    t1.start();  
    t2.start();
  }
}
class WorkThread extends Thread{
    List<String> list;
    public void run(){
       do sth with list and synchronize block on list
  }
  Work1(List<String> list)
  {    this.list = list;  }
}

Answer 1

这与多线程无关。它在那里是因为您试图从匿名内部类的方法访问 list 。在这种情况下，Java 总是会标记一个错误。

在您的情况下，您将使用 new 关键字在此处创建 Runnable 的匿名实例。您尝试从 run 取消引用的所有内容都需要是 final。

如果您对 Final 关键字的必要性感到好奇，您可以查看 Jon Skeet 的 exhaustive answer这对其进行了深入的解释。

要点是，当您创建匿名内部类的实例时，该类中使用的任何变量都会通过自动生成的构造函数复制其值，如果该变量可以被其余的构造函数修改，那么看起来会很奇怪方法，反之亦然。