原子类的 getAndUpdate():如何利用函数式接口实现基于当前值的复杂原子业务计算逻辑
原子类的getAndUpdate()方法基于CAS循环与函数式接口UnaryOperator,实现基于当前值的原子更新并返回旧值。适用于条件更新、状态机跃迁等复杂业务,强调函数需幂等、无副作用,避免长耗时。与updateAndGet()返回新值、accumulateAndGet()接收二元操作相区别。
说起原子类的 getAndUpdate() 方法,它本质上允许你基于当前值执行一个确定性的更新操作,然后返回更新前的那个旧值。这个方法接收一个 UnaryOperator ——也就是函数式接口 T → T ——让你用纯函数的方式,把“读取当前值 → 计算新值 → 原子写入”这一整套逻辑封装起来,省去了手动加锁或编写循环重试的麻烦。
核心机制:CAS 循环 + 函数式计算
它并非简单地“读一次、算一次、写一次”。实际上,底层的 CAS 自旋机制是这么工作的:
- 先读取当前值
current - 调用你传入的函数
fn.apply(current)得到新值next - 尝试用 CAS 将值从
current更新为next - 如果更新失败(说明期间有其他线程修改了值),就重试整个流程:重新读取最新值,再次计算,再次 CAS
这意味着你的函数必须是无副作用、幂等、快速完成的——不能依赖外部状态,不能阻塞,也不能抛出受检异常(如果有,需要自己包装成 RuntimeException)。
适用典型场景:非简单加减的原子更新
当 incrementAndGet() 或 addAndGet() 不够用的时候,getAndUpdate() 就派上用场了。举几个例子:
- 带条件的更新:比如当前值小于某个阈值才翻倍,否则归零。
atomicInteger.getAndUpdate(v -> v < 100 ? v * 2 : 0); - 状态机跃迁:用整数编码状态(比如 0=INIT, 1=RUNNING, 2=STOPPED),实现安全的状态流转。
status.getAndUpdate(s -> s == 0 ? 1 : s); // 仅允许从 INIT → RUNNING - 统计聚合:维护最小值,每次用新值和当前最小值比较更新。
minValue.getAndUpdate(v -> Math.min(v, newValue));(注意,这里的newValue需要在闭包中捕获且保持不变)
与 updateAndGet()、accumulateAndGet() 的关键区别
这三个方法容易被混淆,需要区分清楚:
getAndUpdate(fn):返回旧值,适合需要“先拿到旧值做判断或记录”,然后再更新的逻辑。updateAndGet(fn):返回新值,语义更贴近“更新后立刻要用结果”。accumulateAndGet(x, binOp):接收一个二元操作(比如Integer::max),等价于getAndUpdate(v -> binOp.apply(v, x)),专门为“用外部值参与运算”做了优化,代码更简洁。
选择哪个方法,核心取决于你关心的是旧值、新值,还是想省掉闭包捕获外部变量的那些样板代码。
实战提醒:避免常见陷阱
在使用时,有几个容易踩的坑需要格外留意:
- 函数内不要修改外部变量:闭包引用的变量必须是 final 或事实 final。如果需要累积中间结果,应该把状态封装进原子变量本身(比如用
AtomicReference)。 - 不保证函数只执行一次:因为 CAS 可能失败重试,函数可能被多次调用。务必确保幂等性——比如不要在函数里发 HTTP 请求或写日志。
- 避免长耗时计算:自旋期间会持续占用 CPU,还会增加 CAS 冲突概率。复杂逻辑建议先在外部预计算,再用
compareAndSet()手动控制。 - 类型匹配要小心:比如
AtomicLong对应的是LongUnaryOperator,而不是UnaryOperator。虽然 lambda 写法看起来一样,但编译器推导依赖函数式接口的定义。
Windows 10 是一款微软推出的经典操作系统,拥有硬件兼容性与多任务处理能力。它更偏向把系统状态查看和常用调节动作放在一起,适合需要持续观察和微调设备状态的场景。
极度公式是一款跨平台专业LaTeX公式识别编辑软件,支持OCR公式识别和多平台编辑。和使用说明,避免使用,享受完整功能与稳定支持。做扫描整理、文字提取和表格转换时,它能把识别后的处理步骤接得更顺,资料录入这类场景会省下不少时间。
















