日常小结-在内部类中必须使用Atomic原子类替换volatile类

Posted 2022-12-16 千念飞羽

最近在看《java并发编程实战》的时候，发现了一些缺乏的知识点，这里做一下整理。这里强力推荐下这本书。

向匿名内部类传递的参数必须是final类型的

在第七章取消与关闭的时候，看到了程序清单7-20的时候有个注解

之所以采用AtomicBoolean来代替volatile类型的boolean，是因为能从内部的Runnable中访问hasNewMail标志，因此它必须是final类型以免修改。

之前在写程序的时候也遇到过必须要加final的情况。但是始终不太明白为什么。当时也没太注意，这里同样说道了必须使用final，再去查看之前写的一些程序发现原来都是在给匿名的Runnable接口的内部传局部变量的时候必须将这些局部变量标记为final类型。
而更严格的定义是在匿名内部类的引用局部变量的时候这些局部变量必须是final类型的。之所以这样设计是由于局部变量的生命周期通常来说不一定与生成的类一致，尤其是在创建的是Runnable之类需要其他线程执行的情况下。这时候如果变量不是final的就会出现等到这个类开始访问这个变量的时候这个变量已经不存在的奇葩情况。因此java的实现是将这个变量深度复制一遍，变成常量固化，然后传递个匿名内部类这样就可以安全的访问这个（变量）了。而实际上这两者已经不是同一个东西的。
参考资料：为什么匿名内部类参数必须为final类型

volatile属性的变量的特效和volatile不可与final公用。

volatile变量的特效这个网上和书上的说的都比较多，我这里就不做完整的归纳了。我的理解是通常来说就是

volatile变量实现了可见性和原子性，但如果要保证一致性则需要外加同步实现。

可见性就是不同线程之间的操作是互相可见的，也就是所谓的缓存禁止标志，原子性就是对读操作和写操作不会被其他线程打断。但是复合操作则会。但是要保证复合操作的一致性或者更加复杂的线程操作顺序特性则需要额外的加其他同步方式实现。

final基本的意思就是对于初始化后不可修改。基本上可以视为常量。

从两者的定义上来看，volatile和final是不可共存的。说实话我之前注意到这一点。主要原因是这两者应用领域基本上不交叉。

匿名内部类的操作需要使用Atomic原子类替换voaltile变量

我个人并发的经验也不是很多，只是最近才接触到一些感觉很重要，关于Atomic原子类没有在实际的实践中用过，我个人对其的理解基本上就是一个强化了的volatile变量，相当于对一些复合操作做了同步处理，这样可以替代volatile，从而实现更强的volatile，但是一般来说我认为没有特殊的要求不应该使用过强的同步要求，因为这样似乎会增加性能损失。
但是在匿名内部类中，如果这个匿名内部类需要多线程操作。那么使用Atomic原子类就是必须的选择，因为volatile是不可与final共存的。