为什么Java匿名内部类中的方法参数必须定义为final

今天在做一个功能，就是用户在注册后给他发送帐号激活邮件。在做这个功能的时候，我用匿名内部类来创建一个线程发送激活邮件，代码如下：

@Controller()@RequestMapping(value ="/users")
public class UserController{
    @Autowired
    privateMailManager mailManager;
    public void setMailManager(MailManager  mailManager)                {
        this.mailManager = mailManager;
    }
    @RequestMapping(method =RequestMethod.POST)
public String doingSignUp(@RequestParam("user_email_address")String user_email_address,@RequestParam("user_password")String user_password,@RequestParam("user_name")String user_name){
    try{
        //用户注册代码省略
        new AbstractExecutionThreadService(){
            @Override
            protected void run() throwsException{
                  mailManager.sendActivateMail(user);//发送邮件
            }
        }.start();
    }catch(Exception e){
      e.printStackTrace();
}
return"index";
}
}    

MVC框架用的是SpringMVC，创建多线程的时候使用了Google的 guava 工具包。从代码中可以看到，AbstractExecutionThreadService是抽象类并且里面重写了run方法，而run方法里面就是干发送邮件这一件事。那么到这里就有一个问题了，由于sendActivateMail这个方法需要一个User类作为参数，而这个发送邮件的方法是在匿名内部类的里面，所以这个User类必须满足下列两个条件之一：

• 作为UserController类的实例变量
• 在doingSignUp方法中把User类定义为final的局部变量

一般在写Web程序的时候碰到类的实例变量的时候我们就因该当心多线程问题了，这里也是一样。由于SpringMVC里的Controller类不是线程安全的，所以第一种把User类定义为实例变量的方法就不能用了。剩下就只有用第二种方法：把User类定义为final。到这里第二个问题来了，这个问题也是我以前没有想过的：为什么匿名内部类里的方法参数只能是final的。

在《Core Java 8th Editon》里是这么说的：

A local variable that is declared final cannot be modified after it has been initialized. Thus, it is guaranteed that the local variable and the copy that is made inside the local class always have the same value.

这句话是在介绍局部内部类的时候说的，用到匿名内部类上是一样的。简单的两句话只说了局部变量要和它的拷贝要保持一致，但为什么要保持一致没有说。

继续在Stackoverflow上搜索了，发现了这个帖子： Why inner classes require “final” outer instance variables。 在这个帖子里还提到了另一个词：「Closure」即闭包。这里只给出 维基百科上关于闭包的解释 。在这个帖子里又一次提到了为了防止在匿名内部类中的方法执行之前改变外部类局部变量的值，避免一些不可预测（奇怪）的问题，必须把外部类的局部变量声明为final。

我们再来研究一下编译好的class文件会发现，UserController类被编译成了两个class文件：UserController.class和UserController$1.class。其中UserController.class就是UserController.java编译的字节码文件，而UserController$1.class则是UserController类里的匿名内部类。

现在我们来看一下这两个class文件里面都有些什么。命令行输入：

D:\>javap -privateUserControllerCompiledfrom"UserController.java"publicclass info.liuxuan.controller.UserControllerextends java.lang.Object{private info.liuxuan.mail.MailManager mailManager;public info.liuxuan.controller.UserController();publicvoid setMailManager(info.liuxuan.mail.MailManager);public java.lang.String doingSignUp(java.lang.String, java.lang.String, java.lang.String);static info.liuxuan.mail.MailManager access$0(info.liuxuan.controller.UserController);}

D:\>javap -privateUserController$1Compiledfrom"UserController.java"class info.liuxuan.controller.UserController$1extends com.google.common.util.concurrent.AbstractExecutionThreadService{final info.liuxuan.controller.UserControllerthis$0;privatefinal info.liuxuan.entity.User val$user;
info.liuxuan.controller.UserController$1(info.liuxuan.controller.UserController,  info.liuxuan.entity.User);protectedvoid run()throws java.lang.Exception;}

我们可以清楚的看到在UserController$1.class中User类已经变成了UserController$1的私有成员变量，并且通过构造方法来初始化。现在来看的话就可以理解为什么要保持一致了：构造方法传入外部类方法的局部变量，如果在内部类方法执行之前改变的话将发生与意料之外的结果。

也许你已经注意到了，在UserController.class中的access$0方法被定义成了static，那么这又是为什么呢？答案是为了不被其他子类重写。