java--内部类访问final成员

局部类只能访问外包方法中的final成员。
位于方法内部的局部类，可以访问局部类之外，外包方法之内的所以变量和方法，但是生命周期不同，延长生命周期的办法就是将变量设置为final类型。

1)从程序设计语言的理论上:局部内部类(即:定义在方法中的内部类),由于本身就是在方法内部(可出现在形式参数定义处或者方法体处),因而访问方法中的局部变量(形式参数或局部变量)是天经地义的.是很自然的
2)为什么JAVA中要加上一条限制:只能访问final型的局部变量?
3)JAVA语言的编译程序的设计者当然全实现:局部内部类能访问方法中的所有的局部变量(因为:从理论上这是很自然的要求),但是:编译技术是无法实现的或代价极高.
4)困难在何处?到底难在哪儿?
局部变量的生命周期与局部内部类的对象的生命周期的不一致性!
5)设方法f被调用,从而在它的调用栈中生成了变量i,此时产生了一个局部内部类对象inner_object,它访问了该局部变量i .当方法f()运行结束后,局部变量i就已死亡了,不存在了.但:局部内部类对象inner_object还可能一直存在(只能没有人再引用该对象时,它才会死亡),它不会随着方法f()运行结束死亡.这时:出现了一个"荒唐"结果:局部内部类对象inner_object要访问一个已不存在的局部变量i!
6)如何才能实现?当变量是final时,通过将final局部变量"复制"一份,复制品直接作为局部内部中的数据成员.这样:当局部内部类访问局部变量时,其实真正访问的是这个局部变量的"复制品"(即:这个复制品就代表了那个局部变量).因此:当运行栈中的真正的局部变量死亡时,局部内部类对象仍可以访问局部变量(其实访问的是"复制品"),给人的感觉:好像是局部变量的"生命期"延长了.

 

【要保证内部类访问外部的方法的局部变量时生命周期，在实现时必须使内部类也持有对那个外部方法中局部变量的引用，也就是在内部类的方法中也要有一个句柄指向那个对象，这样当外部的方法退出后，内部类自己的句柄还指向那个对象，所以不会被回收。】

那么:核心的问题是:怎么才能使得:访问"复制品"与访问真正的原始的局部变量,其语义效果是一样的呢?
当变量是final时,若是基本数据类型,由于其值不变,因而:其复制品与原始的量是一样.语义效果相同.(若:不是final,就无法保证:复制品与原始变量保持一致了,因为:在方法中改的是原始变量,而局部内部类中改的是复制品)

当变量是final时,若是引用类型,由于其引用值不变(即:永远指向同一个对象),因而:其复制品与原始的引用变量一样,永远指向同一个对象(由于是final,从而保证:只能指向这个对象,再不能指向其它对象),达到:局部内部类中访问的复制品与方法代码中访问的原始对象,永远都是同一个即:语义效果是一样的.否则:当方法中改原始变量,而局部内部类中改复制品时,就无法保证:复制品与原始变量保持一致了(因此:它们原本就应该是同一个变量.)

【对于局部变量int i=3;方法中代码修改的是这个真正的变量i,而内部为对象修改的是i的复制品copy_i，这样这两个i就会发生值的不一致性，（这一点正是这个实现技术的缺陷),所以干脆就不允许这个int i=3;局部变量发生值的改变!由于不允许改int i的值,所以这两个int i的值就始终保持值的一致了,这才是final的这个规定的由来!  是一种不得不如此的无奈之举!】

 

package Test;

abstract class C525{
    abstract void foo();
}

class B525{
//    局部类只能访问外包方法中的final成员。
//    位于方法内部的局部类，可以访问局部类之外，外包方法之内的所以变量和方法，但是生命周期不同，延长生命周期的办法就是将变量设置为final类型。
    int m = 21;
    public C525 go(int x,final int y){
        final int n = 12;
        return new C525(){
            public void foo(){
                System.out.println(y);
                System.out.println(n);
                System.out.println("m = "+m);
            }
        };
    }
    public void gogo(C525 c00){
        c00.foo();
    }
}
public class A525 {
    public static void main(String[] args) {
        C525 c525 = new B525().go(1, 2);
        c525.foo();
        
        C525 c5252 = new B525().go(1, 20);
        new B525().gogo(c5252);
        
        new B525().gogo(new C525(){
            public void foo(){
                System.out.println("Hello....");
            }
            }//创建一个只有类体没有类名的类。
        );
        
    }
}





 package test;
public class TestFinal 
{
    //只有定义成 final User user 
    public void test( User user)
    {
        (new Thread()
            { 
                public void run()
                    {   
                        System.out.println("user.name-->"+user.name);
                    }
            } 
        ).start();  
    }
    public static void main(String[] args) 
    {
        User user=new User();
        user.setId(007);
        user.setName("zhaoyang");
        
        TestFinal testFinal=new TestFinal();
        testFinal.test(user);    
    }
}


class  User
{
    String name=null;
    int id;
    public String getName() {
        return name;
    }
    public void setName(String name) {
        this.name = name;
    }
    public int getId() {
        return id;
    }
    public void setId(int id) {
        this.id = id;
    }
    
}