为啥被匿名内部类引用的局部变量要用final修饰

我们都知道一个.java文件在编译的时候会生成一个.class文件，匿名内部类也是会生成一个.class文件的，
就像如图：
TestDemo$1.class是匿名内部类的名字，TestDemo是匿名内部类所在的运行类的名字，
我们知道要获取匿名内部类的实例对象就要 先实例化外部类的对象，匿名内部类需要持有外部类的一个引用，这也是内部类能无条件访问外部类所有成员方法和成员变量的根本原因。
通过反编译工具不难看出，如果匿名内部类使用了局部变量，那么编译器会拷贝一份使用的值作为内部类的第一个参数传递进来（构造函数是编译器自动添加），因为局部变量在方法或者代码块执行完毕就会被销毁，所有编译器在编译的时候就会拷贝一份局部变量的字面值或者地址值存储，这样局部变量被销毁的时候，匿名内部类依然可以使用该变量的值，。
加入传进来的局部变量不加final修饰，那么意味着局部变量可以改变，这样会造成内部类的值得变更和外部变量值得变更不能同步，虽然内部类持有的是局部变量的拷贝，但是也要与外部的局部变量保持一致，基于以上又由于java编译器的设计无法提供两个class文件对象的值保持同步变更，所以就直接锁死，不允许然和一方去修改。
如有错误请指正谢谢