Java 并发编程教科书级范例：深入解析 computeIfAbsent 与方法引用

这行代码 expressionCache.computeIfAbsent(spEL, parser::parseExpression); 是 Java 8 之后并发编程和函数式编程结合的典范。

在面试中，如果面试官问："你在项目中是怎么做本地缓存的？"或者"你了解 ConcurrentHashMap 的高级用法吗？"能够清晰阐述这段逻辑的底层原理，绝对是极大的加分项。

本文将这两个核心知识点彻底拆解，带你领略现代 Java 编程的魅力。

一、并发缓存的终极杀器：computeIfAbsent

1. 痛苦的过去（Java 8 之前的写法）

在没有 computeIfAbsent 方法之前，如果想实现一个"缓存池"（有就直接拿，没有就计算后放进去再拿），通常需要编写如下代码：

java 复制代码

// 步骤 1：先查缓存
Expression expr = expressionCache.get(spEL);
// 步骤 2：判断有没有
if (expr == null) {
    // 步骤 3：如果没有，开始极其耗时的解析工作
    expr = parser.parseExpression(spEL);
    // 步骤 4：放进缓存，方便下次用
    expressionCache.put(spEL, expr);
}
return expr;

2. 致命的缺陷：并发漏洞

上面的代码在单线程环境下完美运行。但在高并发的 Web 项目（比如秒杀、高频发送验证码）里，破绽百出。

假设有两个用户同时触发了带 @RateLimit(key="#phone") 的方法：

线程 A 和线程 B 同时执行到了步骤 1，发现缓存里都是 null。
于是，线程 A 和线程 B 同时去执行了极其耗时的 parseExpression。
最后，它们把相同的结果 put 了两次。
这不仅浪费了 CPU 去做了重复的解析工作，在极端情况下还会引发并发安全问题，形成所谓的"缓存击穿"雏形。为了解决这个问题，老一辈程序员只能加锁（synchronized），但加锁会让所有请求排队，系统性能瞬间暴跌。

3. 救世主：computeIfAbsent

Java 8 在 Map 接口中引入了这个方法，而 ConcurrentHashMap 对它进行了最强悍的底层实现：

java 复制代码

Expression expr = expressionCache.computeIfAbsent(spEL, parser::parseExpression);

它的核心优势在于：

绝对的原子性 ：ConcurrentHashMap 在执行这行代码时，会利用底层的 CAS 机制或非常细粒度的锁（只锁当前 Hash 槽位）。它保证了：即使有一万个线程同时来请求 "#phone" 这个表达式，底层的 parseExpression 解析方法绝对只会被执行一次。剩下的 9999 个线程会稍微等待，然后直接拿到第一个线程解析好的结果。
极高的性能 ：因为它锁的粒度极小（只锁具体的那一个 Key 所在的位置），不会像 synchronized 那样把整个 Map 锁住，性能极高。
代码优雅：把"查、判、算、存"四个步骤，压缩成了一行代码。

二、语法糖的极致：方法引用 `::`

很多开发者刚看这个 :: 符号会觉得头晕，认为这是某种高深莫测的指针。其实，它仅仅是一层"伪装"，本质是 Lambda 表达式的进一步简化。

1. 演进过程

computeIfAbsent 这个方法需要两个参数：

第一个参数：你要找的 Key（即 spEL 字符串）。
第二个参数：一个计算规则 （如果找不到，该怎么算出来？）。这个规则在 Java 中对应 Function<T, R> 接口（输入一个 T，返回一个 R）。
阶段一：匿名内部类（原始时代）

java 复制代码

expressionCache.computeIfAbsent(spEL, new Function<String, Expression>() {
    @Override
    public Expression apply(String str) {
        // 拿到输入的字符串，调用 parser 去解析，然后返回
        return parser.parseExpression(str);
    }
});

评价：代码冗长，啰嗦，可读性差。
阶段二：Lambda 表达式（进化）

既然接口里只有一个方法，干脆把外壳全脱了，直接写核心逻辑：

java 复制代码

expressionCache.computeIfAbsent(spEL, str -> parser.parseExpression(str));

评价：非常直观。意思是"你给我一个 str，我把它传给 parser.parseExpression() 并返回结果"。
阶段三：方法引用（终极形态）

Java 语言的设计者发现，上面的 Lambda 表达式里，啥复杂的逻辑都没写，仅仅只是把接收到的参数（str），原封不动地扔给了 parser 对象的 parseExpression 方法。既然如此，何必还要定义一个变量 str 呢？直接用 :: 连起来：

java 复制代码

expressionCache.computeIfAbsent(spEL, parser::parseExpression);

2. 怎么理解和记忆？

对象::方法名 这种格式，可以把它当成一个代办授权书 。

你告诉 computeIfAbsent："兄弟，如果在缓存里没找到，你就去帮我算一下。怎么算呢？去找 parser 这个对象，调用它的 parseExpression 方法去算，参数你直接传给它就行了！"

总结

当下次再看到 expressionCache.computeIfAbsent(spEL, parser::parseExpression); 时，脑海里应该瞬间翻译出这段潜台词：

"去高并发安全的缓存池里拿 spEL 对应的解析结果。如果没有，请保证原子性地、仅由一个线程去调用 parser 的 parseExpression 方法算出来，然后自动放进缓存池并返回给我。"

能把这行代码的"并发安全性"和"函数式编程演进"讲清楚，说明你的 Java 核心基础已经完全超越了普通的 CRUD 工程师层次。

Java 并发编程教科书级范例：深入解析 computeIfAbsent 与方法引用