JAVA基础知识（二）------final修饰符

final具有“不可改变的”含义，它可以修饰非抽象类、非抽象成员方法和变量。

•  用final修饰的类不能被继承，没有子类。
•  用final修饰的方法不能被子类方法覆盖。
• 用final修饰的变量表示常量，只能被赋值一次。

1、final类

    在以下情况下，可以考虑把类定义成final类型，使得这个类不能被继承：

•  不是专门为继承而设计的类，类本身的方法之间有复杂的调用关系。假如随意创建这些类的子类，子类有可能错误地修改父类的实现细节。
•  出于安全的原因，类的实现细节不允许有任何改动。
• 在创建对象模型时，确定这个类不会再被护。

2、final方法

    在某些情况下，出于安全的原因，父类不允许子类覆盖某个方法，此时可以把这个方法声明为final类型

3、final变量

    final变量具有以下特征：

    （1）final修饰符可以修饰静态变量、实例变量、局部变量分别表示静态常量、实例常量、局部常量。

    （2）被final修饰的成员变量必须显式初始化，否则会导致编译错误。如：

          

public class Sample {
  final int va1;                       //编译出错，va1实例常量必须被显式初始化
 final static int val2;             //编译出错，val2静态常量必须被显式初始化
 
 int val3;                              //合法，被初始化默认值0
  static int val4;                    //合法，被初始化默认值0
}

    对于final类型的实例变量，可以在定义变量或在构造方法中进行初始化；对于final类型的静态变量，可以在定义变量时进行初始化，也可以在静态代码块中进行初始化。例如：

        

public class Sample {
  final int a = 1;                       //合法
  final int b;
  static final int c = 3;              //合法
  static final int d;
	
  static{
    d = 4; //合法
 }
  public Sample() {
    b = 2; //合法
  }
}

 

   （3）final变量只能赋值一次。例如：

         

public class Sample {
  private final int var1 = 1;           //定义并初始化var1实例变量  
  public Sample() {
    var1 = 2;                                 //编译出错，不允许改变val1实例变量的值
 }

  public void method(fina int param) {
     final int var2 = 1;                   //定义并初始化var2局部变量
   var2++;                                //编译出错，不允许改变var2局部变量的值
   param++;                             //编译出错，不允许改变final类型参数的值
 }
}

   （4）如果引用类型的变量用final修饰，那么该变量只能始终引用一个对象，但可以改变对象的内容。例如：

         

public class Sample {
  public int var;
  public Sampe(int var){this.var = var;}

  public static void main(String args[]) {
    final Sample s = new Sample(1);  //合法，定义并初始化final类型的引用变量s
    s.var = 2;             //合法，修改引用变量s所引用的Sample的对象var属性
   
   s = new Sample(2);                     //编译错误，不能改变引用变量s所引用的Sample对象
  }
}