为什么 volatile 不能保证 i++ 的原子性？但对 long 和 double 却是例外？

大家好，我是你们的技术小伙伴小米！今天我们来聊一个 Java 社招面试中经常被问到的问题：volatile 能使得一个非原子操作变成原子操作吗？这道题看似简单，实际上却暗藏玄机。如果你觉得 volatile 仅仅是“保证可见性”，那这次你可能要涨涨姿势了！

故事开始：面试现场的灵魂拷问

阿康最近在准备 Java 高级开发的社招面试，今天他来到了一家互联网大厂，和面试官聊得还不错。然而，到了关键时刻，面试官微微一笑，丢出了这样一个问题：

“volatile 关键字能让一个非原子操作变成原子操作吗？”

阿康心里想：“volatile 不是保证可见性吗？原子性不是 synchronized 和 Lock 解决的吗？” 但为了谨慎起见，他决定仔细思考一下再回答。

如果你是阿康，你会怎么回答？

volatile 的主要作用

我们先复习一下 volatile 关键字的两个主要作用：

保证变量的可见性（visibility）：

当一个变量被 volatile 修饰时，所有线程对这个变量的修改都会立即刷新到主内存中，其他线程读取时能够立刻看到最新值，而不会使用线程本地缓存（CPU 缓存或寄存器）。

禁止指令重排序（ordering）：

volatile 变量的读/写操作不能和前后的指令发生重排序，确保代码执行的