Java原子变量类不自动限制取值范围，需通过CAS循环手动加入边界检查逻辑以实现线程安全的范围校验更新。
Java原子变量类（如AtomicInteger、AtomicLong等）本身不直接限制或管理“取值范围”，它们的核心作用是提供线程安全的**无锁更新操作**。要实现带范围校验的安全更新，需在原子操作基础上**手动加入边界检查逻辑**，并确保检查与更新构成不可分割的原子行为——通常借助compareAndSet（CAS）循环实现。
理解原子变量的“安全”边界在哪里
原子类保证单个读-改-写操作（如incrementAndGet()）的线程安全性，但不自动拦截越界值。例如：AtomicInteger可从Integer.MAX_VALUE再加1，结果变为Integer.MIN_VALUE（整数溢出），这属于Java基本类型语义，原子类不会阻止。
若需限定在[0, 100]范围内，必须显式判断：更新前检查目标值是否合法，再用CAS尝试写入。
用CAS循环实现带范围校验的更新
以“仅允许在[0, 100]内递增”为例，关键在于将范围判断和更新封装在一个CAS重试循环中：
立即学习“Java免费学习笔记（深入）”；
- 调用
get()获取当前值 - 计算新值（如+1），并判断是否在允许范围内
- 若合法，用
compareAndSet(current, next)尝试更新；失败则重试 - 若不合法（如已达100），可选择返回false、抛异常或保持原值
示例代码：
public boolean safeIncrement(AtomicInteger counter, int min, int max) {
int current;
int next;
do {
current = counter.get();
if (current >= max) return false; // 已达上限
next = current + 1;
if (next > max) return false; // 防溢出，显式检查
} while (!counter.compareAndSet(current, next));
return true;
}
处理常见范围约束场景
不同业务对范围的要求不同，对应策略也不同：
-
固定区间截断：超出时设为边界值（如超100则设为100），需在CAS中计算目标值为
Math.min(max, current + delta) -
循环取值：如计数器在[0, N)间循环，可用
(current + 1) % N，但注意负数模运算，建议用(current + 1 + N) % N -
动态范围：上下限本身也是共享变量（如由配置更新），需用
AtomicInteger存上下限，并在每次更新前重新读取，避免缓存旧值
注意复合操作的原子性局限
原子变量无法保证多个字段间的逻辑一致性。例如，同时维护“当前值”和“最大允许值”两个AtomicInteger，无法原子地保证“更新值后最大值不被并发修改”。此时需考虑：
- 用
AtomicReference包装一个不可变状态对象（如class State { final int value; final int max; }），用CAS更新整个对象 - 或退回到
synchronized块，尤其当逻辑复杂、CAS重试开销大时
不复杂但容易忽略：范围校验必须在CAS循环内完成，且所有依赖的变量（如上下限）应在循环内重新读取，避免使用过期快照。
