final关键字可以用来修饰类、变量、方法。final修饰的变量不可被改变,一旦获得了初始值,该final变量的值就不能被重新赋值。子类不能覆盖父类的final方法,final类不能有子类。
1.final修饰的成员变量
(1)final修饰的成员变量一旦赋值后,不能被重新赋值。
(2)final修饰的实例Field,要么在定义该Field的时候指定初始值,要么在普通初始化块或构造器中指定初始值。但是如果在普通初始化块中为某个实例Field指定了初始值,则不能再在构造器中指定初始值。
(3)final修饰的类Field,要么在定义该Field的时候指定初始值,要么在静态代码块中定义初始值。类Field不能在普通初始化块中指定初始值,因为类Field在类初始化阶段已经被初始化了,普通初始化块不能对其重新赋值。
(4)如果在构造器或初始化块中对final成员变量进行初始化,则不要在初始化之前就访问该成员的值。
(5)与普通成员变量不同的是,final成员变量(包括实例Field和类Field)必须显示初始化,系统不会对final成员进行隐式初始化。
package cn.lsl; public class FinalTest { final int a = 5; //直接赋值 final String str; //普通代码块中赋值 { str = "zhangsan"; } final int b; //构造器中赋值 public FinalTest(){ b = 7; } final static int c = 8; //直接赋值 final static int d; //静态代码块中赋值 static{ d = 9; } //如果在构造器或初始化块中对final成员变量进行初始化,则不要在初始化之前就访问该成员的值。 final int age; { //System.out.println(age); age = 22; System.out.println(22); } }
2.final修饰的局部变量
(1)系统不会对局部变量进行初始化,局部变量必须要显示的初始化。所以使用final修饰的局部变量,既可以在定义的时候指定默认值,也可以不指定默认值。如果final修饰的局部变量在定义时没有指定默认值,则可以在后面的代码中对该final变量赋初始值,但只能一次,不能重复赋值;如果final修饰的局部变量在定义时已经指定默认值,则后面的代码中不能再对该变量赋值。
(2)final修饰形参的时候,不能为该形参赋值。
3.final修饰基本数据类型变量和修饰引用类型变量的区别
使用final修饰基本类型的变量,一旦对该变量赋值之后,就不能重新赋值了。但是对于引用类型变量,他保存的只是引用,final只能保证引用类型变量所引用的地址不改变,但不保证这个对象不改变,这个对象完全可以发生改变。
eg:
final Person p = new Person(); p.setAge(23); //改变了Person对象的age Field //p=null //编译出错
final修饰的引用类型变量不能被重新赋值,但是可以改变引用变量所引用对象的内容。
4.final的“宏变量”
(1)final修饰符的一个重要用途就是“宏变量”。当定义final变量时就为该变量指定了初始值,而且该初始值可以在编译时就确定下来,那么这个final变量本质上就是一个“宏变量”,编译器会把程序中所有用到该变量的地方直接替换成该变量的值。
package cn.lsl; public class FinalTest { public static void main(String[] args){ final String name = "小明" + 22.0; final String name1 = "小明" + String.valueOf(22.0); System.out.println(name == "小明22.0");//true System.out.println(name1 == "小明22.0");//false } }
final String name1 = "小明" + String.valueOf(22.0);中调用了String类的方法,因此编译器无法再编译的时候确定name1的值,所以name1不会被当成“宏变量”。
package cn.lsl; public class FinalTest { public static void main(String[] args){ String s1 = "小明"; String s2 = "小" + "明"; System.out.println(s1 == s2); //true String str1 = "小"; String str2 = "明"; String s3 = str1 + str2; System.out.println(s1 == s3); //false //宏替换 final String str3 = "小"; final String str4 = "明"; String s4 = str3 + str4; System.out.println(s1 == s4); //true } }
分析:
1.java会使用常量池管理曾经使用过的字符串直接量。String a = "hello"; 那么字符串池中会缓存一个字符串"hello",当执行String b = "hello";会让b直接指向字符串池中的"hello"字符串。所以a==b返回true。
2.String s3 = str1 + str2;由于str1,str2只是两个普通变量,编译器不会执行“宏替换”,因此编译器无法在编译时确定s3的值。
3.String s4 = str3 + str4;因为执行了宏替换,所以在编译的时候就已经确定了s4的值。
5.用final修饰的方法不能被重写。用final修饰的类不能有子类
即使使用final修饰一个private访问权限的方法,依然可以在其子类中定义与该方法具有相同方法名、相同形参列表、相同返回值类型的方法。
final修饰的方法仅仅是不能被重写,并不是不能被重载。
6.不可变类
不可变类是指创建该类的实例后,该实例的Field是不可改变的。
如果创建自定义的不可变类,应该遵循如下规则
(1)使用private和final修饰符来修饰该类的Field。
(2)提供带参数的构造器,用于根据传入参数来初始化类里的Field。
(3)仅为该类的Field提供getter方法,不要为该类的Field提供setter方法。
(4)如果有必要,重写Object类的hashCode和equals方法。
package cn.lsl; public class Address { private final String detail; private final String postCode; public Address() { this.detail = ""; this.postCode = ""; } public Address(String detail, String postCode) { this.detail = detail; this.postCode = postCode; } public String getDetail() { return detail; } public String getPostCode() { return postCode; } public boolean equals(Object obj){ if(this == obj){ return true; } if(obj !=null && obj.getClass() == Address.class){ Address ad = (Address)obj; if(this.getDetail().equals(ad.getDetail()) && this.getPostCode().equals(ad.getPostCode())){ return true; } } return false; } public int hashCode(){ return detail.hashCode() + postCode.hashCode() * 31; } }
因为final修饰引用类型变量时,表示这个引用变量不可重新被赋值,但引用类型变量所指向的对象依然可被改变。所以在创建不可变类的时候,如果包含的Field类型是可变的,那么这个不可变类就创建失败了。
如下:
package cn.lsl; class Name{ private String firstName; private String lastName; public Name() { super(); // TODO Auto-generated constructor stub } public Name(String firstName, String lastName) { super(); this.firstName = firstName; this.lastName = lastName; } public String getFirstName() { return firstName; } public void setFirstName(String firstName) { this.firstName = firstName; } public String getLastName() { return lastName; } public void setLastName(String lastName) { this.lastName = lastName; } } public class Person { private final Name name; public Person(Name name){ this.name = name; } public Name getName(){ return name; } public static void main(String[] args) { Name n = new Name("明","小"); Person p = new Person(n); System.out.println(p.getName().getFirstName()); n.setFirstName("君"); System.out.println(p.getName().getFirstName()); } }
通过n.setFirstName("君");改变了firstName。
为了保证对象的不可变性
可以修改为如下代码
package cn.lsl; class Name{ private String firstName; private String lastName; public Name() { super(); // TODO Auto-generated constructor stub } public Name(String firstName, String lastName) { super(); this.firstName = firstName; this.lastName = lastName; } public String getFirstName() { return firstName; } public void setFirstName(String firstName) { this.firstName = firstName; } public String getLastName() { return lastName; } public void setLastName(String lastName) { this.lastName = lastName; } } public class Person { private final Name name; public Person(Name name){ //this.name = name; this.name = new Name(name.getFirstName(), name.getLastName()); } public Name getName(){ //return name; return new Name(name.getFirstName(), name.getLastName()); } public static void main(String[] args) { Name n = new Name("明","小"); Person p = new Person(n); System.out.println(p.getName().getFirstName()); n.setFirstName("君"); System.out.println(p.getName().getFirstName()); } }
7.实例缓存的不可变类
如果程序需要经常使用想用的不可变类实例,则应该考虑缓存这种不可变类的实例,因为重复创建相同的对象没有太大的意义,而且加大系统的开销。
可以使用一个数组来作为缓存池,实现不可变类。
package cn.lsl; class CacheImmutale { private static int MAX_SIZE = 10; //使用数组来缓存实例 private static CacheImmutale[] cache = new CacheImmutale[MAX_SIZE]; private static int pos = 0; private final String name; private CacheImmutale(String name){ this.name = name; } public String getName(){ return name; } public static CacheImmutale valueOf(String name){ for(int i=0; i < MAX_SIZE; i++){ if(cache[i] != null && cache[i].getName().equals(name)){ return cache[i]; } } if(pos == MAX_SIZE){ cache[0] = new CacheImmutale(name); pos = 1; }else{ cache[pos++] = new CacheImmutale(name); } return cache[pos-1]; } public boolean equals(Object obj){ if(this == obj){ return true; } if(obj != null && obj.getClass() == CacheImmutale.class){ CacheImmutale ci = (CacheImmutale)obj; return name.equals(ci.getName()); } return false; } public int hashCode(){ return name.hashCode(); } } public class CacheImmutaleTest{ public static void main(String[] args) { CacheImmutale c1 = CacheImmutale.valueOf("hello"); CacheImmutale c2 = CacheImmutale.valueOf("hello"); System.out.println(c1 == c2); } }
分析:以上程序缓存池采用“先进先出”规则来决定哪个对象被移除缓存池。
程序中还使用了private修饰来隐藏该类的构造器,通过提供该类的valueOf方法来获取实例。
Java提供的java.lang.Integer类也是采用类似的策略来处理的,但是只能Integer缓存-128~127之间的Integer对象。如果采用new构造器来创建Integer对象,则每次返回全新的Integer对象;如果采用valueOf方法来创建Integer对象,则会缓存该方法创建的对象。
package cn.lsl; public class IntegerTest { public static void main(String[] args) { Integer a = new Integer(23); Integer b = Integer.valueOf(23); Integer c = Integer.valueOf(23); System.out.println(a == b);//false System.out.println(b == c);//true //Integer只能缓存-128~127之间的Integer对象 Integer d = Integer.valueOf(230); Integer e = Integer.valueOf(230); System.out.println(d == e);//false } }
8. static和final的区别和用途
static:
-
修饰变量:静态变量随着类的加载就自动完成初始化,内存中只有一个,且虚拟机只会为它分配一次内存,所有类共享静态变量。
-
修饰方法:静态方法不依赖于于任何实例对象,被类的所有实例共享。静态方法可以直接通过类名调用,静态方法必须实现,不能用abstract修饰。
-
修饰代码块:在类加载完之后会自动执行的代码块。
-
代码执行顺序:父类静态代码块--->子类静态代码块--->父类非静态代码块--->父类构造方法--->子类非静态代码块--->子类构造方法
final:
-
修饰变量:
-
编译期常量:编译期间就将常量值带入到如何计算式汇总,只能是基本类型。
-
运行时常量:可以是基本类型或引用类型,引用不可以改变,引用指向的对象内容可以改变。
-
修饰方法:不能被子类继承,且不能被子类修改。
-
修饰类:不能被继承。
-
修饰形参:形参不能改变。
参考资料
Java笔记:final修饰符:http://www.cnblogs.com/EvanLiu/archive/2013/06/13/3134776.html