java 中的fanal

三。java中有final

final 修饰符 关键字可用于修饰类，变量和方法，final关键字有点类似于C#里的sealed 关键字，用于表示它修饰的类，方法和变量不可改变。

fina修饰变量时，表示该 变量一旦获得了初始值就不可被改变，final既可以修饰成员变量，也可以修饰局部变量，形参。严格的说法是：final修饰的变量不可被改变，一旦获得了初始值，该final变量的值就不能被重新赋值。

 

final成员变量，成员变量是随类初始化或对象初始化而初始化的，当类初始化时，系统会为该类的类变量分配内存，并分配默认值，当创建对象时，系统会为该 对象的实例变量分配内存，并分配默认值。也就是说，当执行静态初始化块时可以对类变量赋初始值，当执行普通初始化块，构造哭喊时可对实例变量赋初始值。因此成员变量的初始值可以在定义该变量时指定默认值，也可以在初始化块，构造器中指定初始值。

    对于final修饰的成员变量而言，一量有了初始值，就不能被重新赋值，如果既没有在定义成员变量时指定初始值，也没有在初始化块，构造器中为成员变量指定初始值，那么这些成员变量的值将一直是系统默认分配的0 \u0000 false null

 

归纳final修饰的类变量，实例变量能指定初始值的地方如下：

  类变量：必须在静态初始化块中指定初始值或声明该类变量时指定初始值，而且只能在两个地方的其中之一指定。

  实例变量：必须在非静态初始化块，声明该变量或构造器中指定初始值，而且只能在三个地方其中之一指定。

final 修饰的实例变量，要么在定义该实例变量时指定初始值，要么在普通初始化块或构造器中为该 实例变量指定初始化值，但需要注意的是，如果普通初始化块已经为某个实例变量指定了初始值，则不能再在构造器中为该 实例变量指定初始值：final修饰的类变量，要么在定义该 类变量时指定初始值，要么在静态初始化块中为该类变量指定初始值。

实例变量不能在静态初始化块中指定初始值因为静态初始化块是静态成员，不可能访问实例变量 --非静态成员;

类变量不能在变通初始化块中指定初始值，因为类变量在类初始化阶段已经被初始化了，普通初始化块不能对其重新赋值。

public class FinalVariableTest

{

    //定义成员变量时指定默认值 合法

    final int a=6;

    //下面变量将在构造器或初始化块中分配初始值

    final String str;

    final int c;

    final static double d;

    //既没有指定默认值，又没有在初始化块，构造器中指定初始值

    //下面定义的ch实例变量是不合法的

    //fianl char ch;

    //初始化块，可对没有指定默认指定默认值的实例变量指定初始值

    {

        str="Hello";

        //定义a实例变量时已经指定了默认值

        //不能为a重新赋值，因此下面赋值语句非法

        //a=9

    }

    //静态初始化块，可对没有指定默认值的类变量指定初始值

    static

    {

        //在静态初始化块中为类变量指定初始值，合法

        d=5.6;

    }

    //构造器，可对既没有指定默认值，又没有在初始化块中指定初始值的实例变量指定初始值

    public FinalVariableTest()

        {

        //如果在初始化块中已经对str指定了初始值

        //那么在构造器中不能对final变量重新赋值，下面赋值语句非法

        //str="java";

        c=5;

    }

    public void changeFinal()

    {

        //普通方法不能为fianl修饰的成员变量赋值

        //d=1.2

        //不能在普通方法中为fianl成员变量指定初始值

        //ch='a';

    }

    public static void main(String[] srgs)

    {

        FinalVariableTest ft=new FinalVariableTest();

        System.out.println(ft.a);

        System.out.println(ft.c);

        System.out.println(ft.d);

    }

}

 

系统不会对fianl成员变量进行初始化，

系统不会对局部变量进行初始化，局部变量必须由程序员显式初始化。因此使用final修饰局部变量时，既可以在定义时指定默认值，也可以不指定默认值。

 如果final修饰的局部变量在定义时没有指定默认值，则可以在后面代码中对该 final变量赋初始值，但只能一次，不能重复赋值;如果final修饰的局部变量在定义时已经指定默认值，则后面代码中不能再对该变量赋值。

 

final 修饰基本类型变量和引用类型变量的区别

    当使用final修饰基本类型变量时，不能对基本类型变量重新赋值，因此基本类型变量不能被改变。

但对于引用类型变量而言，它保存的仅仅是一个引用，final只保证这个引用类型变量所引用的地址不会改变，即一直引用同一个对象，但这个对象完全可以发生改变。

 

 

 

 

可执行“宏替换”的final变量

对一个fianl变量来说，不管它是类变量，实例变量，还是局部变量，只要该变量满足三个条件，这个final变量就不再是一个变量，而是相当于一个直接量。

  一：使用final修饰符修饰;

 二：在定义该final变量时指定了初始值。

 三：该初始值可以在编译时就被确定下来。

如下：

public class FinalLocalTest

{

    public static void main(String[] args)

    {

    final int a=5;

    System.out.println(a);

    }

}

 

 

final 方法

    final 修改的方法不可被重写，如果出于某些原因，不希望任何类重写这个方法，所以使用final把这个方法密封起来。但对于该类提供的toString()和equals()方法，都允许子重写，因此没有使用final修饰它们。

如下会引起编译错误：

 

 

public class finalMethodTest

{

public final void test(){}

}

class Sub extends FinalMethodTest

{

public void test (){};

}

 

 

上面的程序 中父类是FinalMethodTest，该类里定义的test方法是一个fianl方法，如果其子类试图重写该方法，将会引发编译错误。

对于一个private 方法，因为它公在当前类中可见，其子类无法访问该方法，所以子类无法重写该方法--如果子类中定义一个与父类private 方法有相同方法名，相同参数列表，相同返回值类型的方法，也不是方法重写，只是重新定义了一个新方法，因此，即使使用final修饰一个private 访问权限的方法，依然可以在其子类中定义与该 方法具有相同方法名，相同参数列表，相同返回值类型的方法。

 

 

如下：

 

 

public class finalMethodTest

{

    privete final void test(){}

}

class Sub extends FinalMethodTest

{

    public void test (){};

}

final 类：

final 修饰的类不可以有子类，例如java.lang.Math类就是一个final类，它不可以有子类。

    当子类继承父类时，将可以访问到父类内部数据，并可通过重写父类方法来改变父类方法的实现细节，这可能导致一些不安全的因素。为了保证某个类不可被继承，则可以使用final修饰这个类。下面代码示范了final修饰的类不可被继承。

 

public final claa FianlClass{}

class Sub extends FinalClass{};

这样会出现编译错误。