java中的final与可变类型、不可变类型的关系

如果你对final和不可变类型的概念与区别有疑问的话，可以打开这篇文章。希望我的解答可以帮到您！

 

1.不可变类型：

什么是可变类型，什么是不可变类型呢？

首先我们看一下下面的这行代码：

String s=new String("a");
s=s+"b";
System.out.println(s);

　只要你懂得一点java，那么你一定可以推测出最后的结果是“ab”。

但是，事情其实并没有那么简单。如果你debug这三行代码，会发现一个“微不足道”的变化：

对象s的id值在s=s+"b"执行过后发生了变化！

但是，只有不同的对象才有不同的id值啊？

是的，没错，你又创建了一个新的对象。如下图所示：

s的引用指向了另一个对象。这两个String对象的id值不同，字符串也不同。这就是不可变类型的最重要特征：首次确定，不可更改。

好了，现在再给出不可变类型的定义吧。

所谓的不可变类是指这个类的实例一旦创建完成后，就不能改变其成员变量值。如JDK内部自带的很多不可变类：Interger、Long和String等。

2.可变类型：

接下来来看一下与之相对应的可变类型：

StringBuilder s=new StringBuilder("a");
s.append("b");
System.out.println(s);

还是输出字符串，最后的结果还是“ab”，但是，再次debug，你会发现对象s的id值没有任何变化。

唉？这和前面那个String类好像不一样啊？这次居然直接修改了对象s中的字符串，而不是再创建一个对象。

 

 

是的，这就是可变类型的最重要特征：重复修改。

 

可变类型比不可变类型要多。相对于不可变类，可变类创建实例后可以改变其成员变量值，开发中创建的大部分类都属于可变类。

3.final关键字：

final关键字有多种适用条件。第一种用法，修饰变量：

final int a=1;

此后变量变常量，a不能等于除1之外的其他值。

事实上，final也可以用来修饰对象，一经确定，这个对象就不会有第二个：

final String s=new String("a");

那么我们此时就会遇到一个问题，有final修饰的可变类型与不可变类型是否会有区别呢？

答案是肯定的。举例如下：

final String s=new String("a");
s=s+"b";

如果你试图输入上述的代码，编译器会在第二行告诉你一个语法错误。这是为什么呢？

上面提到了一个概念：一经确定，这个对象就不会有第二个。也就是说，你的引用s已经和字符串为“a”的对象锁死了。

而你在第二行却通过引用s创建了一个新的对象，这哪里行？和上面黑体字矛盾了。

举个形象的例子：一对夫妻已经结婚了，肯定是不允许谈第二个的呀。

但是，下面这个代码确实是可以运行的：

final StringBuilder s=new StringBuilder("a");
s.append("b");

这是为什么呢？不是说一经确定，这个对象就不会有第二个吗？的确如此！

对象还是那个对象，但是对象是自身可变的类型！所以下面的操作是被允许的。

 

总之，想要搞清楚上述的关系，建议多跑一跑代码了，希望这篇文章能帮到您！