为什么我应该在多线程程序中“最终”共享变量

时间:2013-07-21 20:51:48

标签: java concurrency

我的问题是为什么我应该使用final来装饰变量,列表?它由匿名内部类的实例使用而没有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;  }
}

1 个答案:

答案 0 :(得分:11)

这与多线程无关。它就在那里,因为您试图从匿名内部类方法访问list。在这种情况下,Java将始终签署错误。

在您的情况下,您使用Runnable关键字在此处创建new的匿名实例。您尝试从run取消引用的所有内容都必须为final

如果您对最终关键字的必要性感到好奇,可以查看Jon Skeet的exhaustive answer,它会对此进行深入解释。

关键在于,当您创建匿名内部类的实例时,该类中使用的任何变量都会通过自动生成的构造函数复制它们的值,如果变量可以被其余部分修改,则看起来很奇怪方法,反之亦然。