final修饰符:
final关键字用于修饰类、变量和方法,用来表示修饰的类 变量和方法不可改变。
(1)final修饰变量时,表示该变量一旦获得初始值就不能被改变,final既可以修饰成员变量(类变量和实例变量),也可以修饰局部变量和形参。
(2)final修饰的成员变量必须由程序员显示的指定初始值。
(3)类变量:必须在静态初始化或者声明类变量时指定初始值,只能二选一。
(4)实例变量:只能在非静态初始化、声明实例变量或者构造器中指定初始值,只能三选一。
(5)final修饰局部变量时,既可以在定义时指定默认初始值,也可以不指定默认值。
(6)用final修饰的形参不能被赋值。
————————————————————————————————————————————————————————————
final修饰基本类型变量和引用类型变量的区别:
final修饰修饰基本类型变量时,不能对基本类型变量重新赋值,因此基本类型变量不能被改变。
但对于引用变量而言,它仅仅保存的是一个引用,final只保证这个引用类型变量所引用的地址不会改变,即一直引用同一个对象,但这个对象完全可以发生改变。
————————————————————————————————————————————————————————————————
可执行“宏替换”的final变量:
final修饰符的一个重要作用就是定义“宏变量”,当定义该变量时便为该变量指定了初始值,而且该初始值在编译时就可以确定下来,那么这个final变量在本质上就是一个“宏变量”,编译器会把程序中所有用到该变量的地方直接替换成该变量的值。
————————————————————————————————————————————
示例代码:
public class StringJoinTest
{
public static void main(String[] args)
{
String s1="linkinpark";
//s2引用的字符处可以在编译时就确定下来,因此s32直接引用常量池中已有的linkinpark字符串
String s2="linkin"+"park";
System.out.println(s1 = s2);//将输出true
//定义两个字符串常量
String str1= "linkin";
String str2="park";
//进行连接运算
String s3= str1+str2;
System.out.println(s1 = s3);//将输出false
//s3由str1和str2进行连接得到,由于str1和str2只是两个普通变量,编译器不会执行“宏替换”,
//因此编译器无法在编译阶段就确定s3的值,也就是无法让s3
//指向字符串常量池中缓存的"linkinpark",所以,s1==s3将输出false。
//如果要s1==s3,只要让编译器对str1 str2两个变量执行“宏替换”,这样在编译阶段就可以确定s3的值,
//就会在编译阶段指向字符串池中缓存的"linkinpark",也就是将String str1= "linkin";
//String str2="park";用final修饰即可。
}
}
java使用常量池来管理曾经使用过的字符串直接量,例如执行String a=”linkinpark”;语句之后,常量池中就会缓存一个字符串”linkinpark” 如果程序再次执行
String b=”linkinpark”,系统将会让b直接指向常量池中的 linkinpark字符串,所以 a==b将返回true.
_————————————————————————————————————————————————————————————————
final方法
final修饰的方法不能被重写,如果处于某些原因,不希望子类重写父类的某个方法,则可以使用final修饰该方法。
————————————————————————————————————————————————————
final类:
final修饰的类不能有子类。
不可变类:不可变类就是创建该类的实例后,该实例的实例变量是不可改变的。java提供的8个包装类和java.lang.String都是不可变类,当他们创建实例后,其实例的实例变量不可改变。 Double d= new Double(9.9); String s =new String(“linkinpark”);