computeIfAbsent 本身线程安全，但其映射函数若依赖 size() 等非原子状态，仍会导致重复值；根本原因在于不同 key 的并发调用会同时读取同一时刻的 size()，需改用 AtomicInteger 等真正原子计数器。
`computeifabsent` 本身线程安全，但其映射函数若依赖 `size()` 等非原子状态，仍会导致重复值；根本原因在于不同 key 的并发调用会同时读取同一时刻的 `size()`，需改用 `atomicinteger` 等真正原子计数器。
ConcurrentHashMap.computeIfAbsent(key, mappingFunction) 确保对同一个 key 的映射函数最多执行一次（即“key 级原子性”），这是它线程安全的核心保障。但该方法不保证多个不同 key 的 mappingFunction 串行执行——它们可完全并发运行。在您的代码中：
idByName.computeIfAbsent(String.valueOf(jj), x -> (short) idByName.size());
当多个线程几乎同时为不同 key（如 "2" 和 "4"）调用 computeIfAbsent 时，它们都可能在 idByName.size() 尚未更新前读取到相同的初始值（例如 0），从而导致两个 key 被赋予相同 ID（如 2=0 和 4=0）。这与 short/Integer 类型无关，而是逻辑竞态的本质问题：size() 是一个读操作，而 computeIfAbsent 的插入是另一个写操作，二者之间没有同步约束。
✅ 正确解法：使用 AtomicInteger 维护独立、线程安全的计数器：
public static void main(String[] args) throws InterruptedException {
ExecutorService executorService = Executors.newFixedThreadPool(4);
// 每个子 map 对应一个独立的原子计数器
final Map<String, Pair<ConcurrentMap<String, Short>, AtomicInteger>> threadSafeMap
= new ConcurrentHashMap<>();
threadSafeMap.put("0", Pair.of(new ConcurrentHashMap<>(), new AtomicInteger()));
threadSafeMap.put("1", Pair.of(new ConcurrentHashMap<>(), new AtomicInteger()));
for (int i = 1; i <= 10; i++) {
final int jj = i;
executorService.submit(() -> {
int key = jj % 2;
Pair<ConcurrentMap<String, Short>, AtomicInteger> pair = threadSafeMap.get(String.valueOf(key));
ConcurrentMap<String, Short> idByName = pair.getLeft();
AtomicInteger counter = pair.getRight();
// 原子递增并作为 ID 分配，确保全局唯一
short id = (short) counter.getAndIncrement();
idByName.computeIfAbsent(String.valueOf(jj), x -> id);
});
}
executorService.shutdown();
executorService.awaitTermination(5, TimeUnit.SECONDS);
System.out.println(threadSafeMap); // 输出类似：{0={2=0, 4=1, 6=2, ...}, 1={1=0, 3=1, 5=2, ...}}
}? 提示：此处使用 Pair（如 Apache Commons Lang 的 ImmutablePair 或自定义）仅为清晰示意；生产环境建议封装为 IdGenerator 类，将 ConcurrentMap 与 AtomicInteger 绑定管理。
⚠️ 注意事项：
- 避免在 computeIfAbsent 的 lambda 中调用任何非原子、有状态或耗时的操作（如 I/O、锁、size()、keySet().size() 等）；
- 若需基于已有 key 数量动态生成 ID（如“当前第 N 个插入者”），必须用 AtomicInteger 或 LongAdder 替代 size()；
- ConcurrentHashMap 的 size() 方法本身是弱一致性快照，返回近似值，绝不应用于控制逻辑分支或生成唯一标识；
- 即使换成 Integer 也仅因自动装箱隐藏了短整型溢出问题，无法解决并发重复的根本缺陷。
总结：computeIfAbsent 的安全性止步于 key 粒度；要实现跨 key 的顺序/唯一性语义，必须引入显式的原子状态（如 AtomicInteger），而非依赖容器的瞬时视图。
