java final修饰符_java final修饰符

一、Java中final修饰符既可以修饰类、方法，也可以修饰变量，基本规则如下：

１)用final修饰的类不能被扩展，也就是说不可能有子类；

２)用final修饰的方法不能被替换或隐藏：

①使用final修饰的实例方法在其所属类的子类中不能被替换(overridden)；

②使用final修饰的静态方法在其所属类的子类中不能被重定义(redefined)而隐藏(hidden)；

３)用final修饰的变量最多只能赋值一次，在赋值方式上不同类型的变量或稍有不同：

①静态变量必须明确赋值一次(不能只使用类型缺省值)；作为类成员的静态变量，赋值可以在其声明

中通过初始化表达式完成，也可以在静态初始化块中进行；作为接口成员的静态变量，赋值只能在其

声明中通过初始化表达式完成；

②实例变量同样必须明确赋值一次(不能只使用类型缺省值)；赋值可以在其声明中通过初始化表达式

完成，也可以在实例初始化块或构造器中进行；

③方法参数变量在方法被调用时创建，同时被初始化为对应实参值，终止于方法体(body)结束，在此

期间其值不能改变；

④构造器参数变量在构造器被调用(通过实例创建表达式或显示的构造器调用)时创建，同时被初始化

为对应实参值，终止于构造器体结束，在此期间其值不能改变；

⑤异常处理器参数变量在有异常被try语句的catch子句捕捉到时创建，同时被初始化为实际的异常对象

，终止于catch语句块结束，在此期间其值不能改变；

⑥局部变量在其值被访问之前必须被明确赋值；

示例一：interface IncludeFinalInterface{

//接口中定义的变量都是public static final的

int staticVar = 2009; //作为接口成员的变量，其赋值只能在声明中完成

}

class IncludeFinal{

static final int staticVar;

final int instanceVar;

IncludeFinal(){

instanceVar = 9; //实例变量的赋值还可以在构造器中进行

}

IncludeFinal(final boolean sameAsStatic){

instanceVar = sameAsStatic ? staticVar : 9;

//      sameAsStatic = false;//不能编译，final修饰的构造器参数变量在构造器体中不能被再次赋值

}

static final void showStaticVar(){

System.out.println("IncludeFinal.staticVar = " + staticVar);

}

final void showInstanceVar(){

System.out.println("IncludeFinal.instatnceVar = " + instanceVar);

}

void show(final boolean showStatic){

if( showStatic )

showStaticVar();

else

showInstanceVar();

//      showStatic = false; //不能编译，final修饰的方法参数变量在方法体中不能被再次赋值

}

static void demoExceptionHandlerParameter(){

try{

System.out.println(10/0);

}

catch(final ArithmeticException ae){

ae.printStackTrace();

//          ae = null;//不能编译，final修饰的异常处理器参数变量在catch语句块中不能被再次赋值

}

}

static void showLocalVar(){

final int localVar;

localVar = 209; //局部变量在其值被访问之前必须被明确赋值，

//当然在其声明中同时指定一个初始化值似乎是一个更好的选择

System.out.println("LocalVar = " + localVar);

}

static{ //除在声明中同时初始化外，作为类成员的静态变量，其赋值还可以在静态初始化块中进行

staticVar = 2009;

}

//  { //实例变量的赋值还可以在实例初始化块中进行

//      instanceVar = 9;

//  }

}

public class FinalTest extends IncludeFinal {

//  static void showStaticVar(){ //编译错误，不能重定义父类中用final修饰的静态方法

//      System.out.println("FinalTest.staticVar = " + staticVar);

//  }

//  void showInstanceVar(){ //编译错误，不能替换父类中用final修饰的实例方法

//      System.out.println("FinalTest.instatnceVar = " + instanceVar);

//  }

public static void main(String[] args){

showStaticVar();

demoExceptionHandlerParameter();

showLocalVar();

new IncludeFinal(false).show(false);

}

}

运行结果：

IncludeFinal.staticVar = 2009

java.lang.ArithmeticException: / by zero

at IncludeFinal.demoExceptionHandlerParameter(FinalTest.java:32)

at FinalTest.main(FinalTest.java:61)

LocalVar = 209

IncludeFinal.instatnceVar = 9

二、关于final变量的进一步说明：

１)定义：blank final变量是其声明中不包含初始化表达式的final变量。

２)对于引用类型变量，final修饰符表示一旦赋值该变量就始终指向堆中同一个对象，不可改变，但是其

所指对象本身(其状态)是可以改变的；不象C++中的const，在Java中没有办法仅通过一个final就可

声明一个对象的不变性(immutability)。３)常变量(constant variable)：

①定义：常变量是用编译时常量表达式初始化的带有final修饰符的基本类型或字符串类型变量；

②无论静态变量还是实例变量，如果它是常变量，则其引用在编译时会被解析成该常变量所表示的值，

在class文件中并不存在任何对常变量域的引用；也正是基于此，当在源代码中修改某个常变量域的

初始值并重新编译后，该改动并不为其他class文件可见，除非对他们也重新编译。

示例二：public class ConstantVariable {

static final int staticVar = 10 + 8; //静态变量staticVar是一个常变量

final int instanceVar =  100 + 8; //实例变量instanceVar也是一个常变量

//静态变量notConstantVariable不是常变量，因为其初始化表达式不是编译时常量表达式

static final int notConstantVariable = (int)(Math.random() * 10);

}

public class Test {

public static void main(String[] args){

//对类ConstantVariable中常变量staticVar的引用

System.out.println("staticVar = " + ConstantVariable.staticVar);

//对类ConstantVariable中常变量instanceVar的引用

System.out.println("instanceVar = " + new ConstantVariable().instanceVar);

//对类ConstantVariable中静态变量notConstantVariable的引用

System.out.println("notConstantVariable = " + ConstantVariable.notConstantVariable);

}

}

运行结果：

staticVar = 18

instanceVar = 108

notConstantVariable = 2Test.class文件的反编译结果：

import java.io.PrintStream;

public class Test

{   //从该文件很容易验证，当在ConstantVariable.java中修改常变量的值并重新编译后，类Test的运行结果不会受任何影

//响，除非把Test.java文件也重新编译一遍    public Test(){}

public static void main(String args[]){

//对常变量ConstantVariable.staticVar的引用在编译后直接被其值“18”替换

System.out.println("staticVar = 18");

(new ConstantVariable()).getClass();//对类ConstantVariable中常变量instanceVar的引用在编译后直接被其值“108”替换        System.out.println((new StringBuilder("instanceVar = ")).append(108).toString());

//ConstantVariable.notConstantVariable不是常变量，所以其引用得以保持System.out.println(

(new StringBuilder("notConstantVariable = ")).append(ConstantVariable.notConstantVariable).

toString()

);

}

}

４)用final修饰的参数变量，虽然并不为所有人喜欢，但它的确为编译器提供了附加的信息，一方面可以

增强其错误检测能力，另一方面也有助于其对代码的优化。

５)final修饰符与其他修饰符共同出现时，书写顺序可参考下面一行：

Annotation public protected private abstract static final synchronized native transient volatile strictfp