final关键字简单总结

final关键字可用与修饰类、变量、方法

final修饰变量时，表示该变量一旦获取了初始值就不可被改变，final既可以修饰成员变量（包括类变量和实例变量），也可以修饰局部变量、形参。
由于final变量获得初始值之后不能被重新赋值，因此final修饰成员变量和修饰局部变量时有一定的不同。

---

final成员变量

要点：

1. 非final成员变量在定义时不手动初始化，系统会自动默认初始化（隐式初始化0、‘\u0000’、false、null）
2. 系统不会对final成员变量进行默认初始化，因为final成员一但被赋值之后就再也不能被赋值，所以Java语法干脆规定，final修饰的成员变量必须由程序员显示地指定初始值。

规则：

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

指定完之后再赋值都会出错！

---

final局部变量

系统不会对局部变量进行初始化，局部变量必须由程序员显示初始化。因此final修饰局部变量时，既可以在定义时指定默认值，也可以不指定默认值（在后面可以赋值一次，但是只能赋值一次！）

另外，final修饰形参的时候，因为在调用该方法时，由系统根据传入的参数来完成初始化，因此使用final修饰的形参不能被赋值。

---

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

当使用final修饰基本类型变量时，不能对基本类型变量重新复制，因此基本类型变量不能被改变。但对于引用类型变量而言，它保存的仅仅是一个引用，final只保证这个引用类型变量所引用的地址不会改变，即一直引用用一个对象，但这个对象完全可以发生改变（注意！数组也是引用类型，数组的值也可以发生改变）。

可执行“宏替换”的final变量
对于一个final变量来说，不管它是类变量、实例变量、还是局部变量，只要该变量满足三个条件，这个final变量就不再是一个变量，而是相当于一个直接量。

• 使用final修饰符修饰
• 在定义该final变量时指定了初始值
• 该初始值可以在编译时就被确定下来（相当于说该初始值要是从常量池出来的常量）

注意：final修饰符的一个重要的用途就是定义“宏变量”。当定义final变量时就为该变量指定了初始值，而且该初始值可以在编译时就确定下来，那么这个final变量本质上就是一个“宏变量”，编译器会把程序中所有用到该变量的地方直接替换成该变量的值。

例子：

1、

String s1 = "ha"; 
final String s2 = "ha";
s1==s2//true

运行时s1和s2是一样的。
但编译时作为初始值就不一样了，s1是普通变量，s2是字符串直接量
2、

String s1 = "haha";
String str1 = "ha";
String str2 = "ha";
String s2  = str1 +str2 ;//在编译时无法确定s2的值，也就无法让s2指向字符串池中缓存的"haha";
s1 == s2 //false

3、有4种完全不同的

1.new String ("haha99");
2.String  str = "haha99" 运行时相当于 final String str1 = "haha99";
3.String str1 = "ha";
  String str2 = "ha99";
  String s2  = str1 +str2 ;
4.String str = "haha" + String.value(99); 

---

final方法

final修饰的方法不可以被重写，重写会报错。但是可以重载
如下

public class Test{
//final修饰的方法不能被重写，但是可以被重载
public final void test(){}
public final void test(String arg)()
}

对于private方法，因为它仅在当前类中可见，其子类无法访问该方法，所以子类无法重写该方法——如果子类中定义一个与父类private方法有相同方法名、相同参数列表、相同返回值类型的方法，也不是方法重写，只是重新定义了一个新方法。

---

final类

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