Java并发编程不变性

Posted

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了Java并发编程不变性相关的知识,希望对你有一定的参考价值。

 

提到不变性我首先想到的就是String这个类了。

 

之前学习了很多原子性以及可见性的问题:失效数据,丢失更新操作或者某个对象的状态不一致,都与多线程试图访问同一个可变的相关。

 

如果对象的状态不会发生改变,那么这些问题与复杂性也就自然消失了。

 

如果某个对象在被创建之后其状态就不能被改变,那么这个对象就称为不可变对象。

 

不可变对象一定是线程安全的。

 

不可变对象很简单,它们只有一种状态,并且该状态由构造函数来控制的。

 

1. 不可变对象的状态容易判断

2. 不可信的代码访问不可变对象不会改变其状态,防止留下引用在其他线程中修改

3. 不可变对象可以安全地共享和发布,而不需要保存副本

 

java语言规范并没有给出不可变性的正式定义,不可变性并不等同于给属性加上final修饰。

即使都用final修饰,带对象也不见得是不可变的,因为final类型的域中可以保存对可变对象的引用。

 

满足一下条件时,对象才是不可变的:

1. 对象一经创建便不可修改

2. 对象所有的域都是final类型

3. 对象是正确创建的(在创建的时候this没有逸出)

 

不可变对象只是外部不可以改变其状态,内部还是可以维护的。

在可变对象之上构建不可变对象。

 

String类型指向的字符串可以修改么?

 

 

final类型

 

 

 

volatile来发布不可变对象

以上是关于Java并发编程不变性的主要内容,如果未能解决你的问题,请参考以下文章

Java并发编程实践之对象的组合

Java并发编程实战(chapter_2)(对象发布不变性设计线程安全类)

Java并发编程原子性与易变性

《java并发编程实战》读书笔记2--对象的共享,可见性,安全发布,线程封闭,不变性

第十二章:并发程序的测试——Java并发编程实战

java并发编程实战:第十二章---并发程序的测试