Java Optional.orElseGet 为什么能避免无效计算：惰性求值、异常分支与默认值边界

配置服务返回空结果时，最容易被忽略的不是“有没有默认值”，而是默认值什么时候被计算。Optional.orElse 会先计算参数，orElseGet 则把计算交给 Supplier，只有 Optional 为空才调用它；如果默认值本身可能抛异常，还要把异常分支单独设计。

只要默认值需要查询、拼接、读取文件或可能抛异常，优先用 orElseGet；已经有一个轻量、无副作用的现成对象时，orElse 更直接。

orElse 和 orElseGet 的差别，先看默认值是否真的执行

下面的示例把默认配置放在一个带计数器的方法里。这样不用猜编译器行为，运行结果会直接显示默认值函数是否被调用。

import java.util.Optional;
import java.util.concurrent.atomic.AtomicInteger;

public class OptionalFallbackDemo {
    static String loadDefault(AtomicInteger calls) {
        calls.incrementAndGet();
        return "from-default";
    }

    public static void main(String[] args) {
        AtomicInteger eagerCalls = new AtomicInteger();
        String eager = Optional.of("from-cache")
                .orElse(loadDefault(eagerCalls));

        AtomicInteger lazyCalls = new AtomicInteger();
        String lazy = Optional.of("from-cache")
                .orElseGet(() -> loadDefault(lazyCalls));

        System.out.println(eager + ":" + eagerCalls);
        System.out.println(lazy + ":" + lazyCalls);
    }
}

两行结果都会得到 from-cache，但计数分别是 1 和 0。orElse 需要一个已经求好的值；orElseGet 保存的是供应器，Optional 有值时不会进入 loadDefault。

空 Optional 分支才会调用 Supplier

把输入换成 Optional.empty() 后，两种写法都会计算默认值，但调用时机仍然不同：orElse 在进入方法前完成参数求值，orElseGet 在 Optional 判空后调用 Supplier.get。

AtomicInteger calls = new AtomicInteger();
String value = Optional.empty()
        .orElseGet(() -> loadDefault(calls));

if (!"from-default".equals(value) || calls.get() != 1) {
    throw new IllegalStateException("fallback check failed");
}

这里的验收点有两个：返回值必须是 from-default，供应器调用次数必须是 1。如果供应器里访问缓存、读文件或拼装对象，建议把这些动作留在这个空分支中，避免有值路径付出成本。

默认值会抛异常时，为什么要考虑 orElseThrow

有些业务不是“找不到就给默认配置”，而是“找不到就拒绝继续”。这时把异常构造放进 orElse 不仅表达含糊，还可能在有值路径提前创建异常对象。orElseThrow 直接表达缺失即失败：

String tenantId = Optional.ofNullable(requestTenantId)
        .orElseThrow(() -> new IllegalArgumentException("tenantId is required"));

供应器只在 Optional 为空时执行，因此异常消息、日志字段或错误对象的构造都不会污染正常路径。异常类型要和调用方契约一致，不能为了省一行代码把所有缺失都包装成运行时异常。

三个常见误区：副作用、空字符串和重复读取

把有副作用的方法塞进 orElse

例如 Optional.ofNullable(cached).orElse(saveAndReturnDefault())，即使缓存有值，保存动作也会发生。需要条件执行时改成 orElseGet(() -> saveAndReturnDefault())，并为“已有缓存”和“缓存为空”分别测试。

把空字符串误当成空 Optional

Optional.of("") 仍然是有值状态，orElseGet 不会触发。若业务把空字符串视为缺失，应先显式判断，再决定是否转成 Optional.empty()，不要把 Optional 的语义和业务清洗规则混在默认值方法里。

默认值读取两次

不要先调用一次读取方法判断是否为空，再在 orElseGet 中重复读取。把结果先放进 Optional，供应器只负责真正的回退动作，才能保证调用次数可预测。

相关问题

orElseGet 一定比 orElse 快吗？

不一定。默认值是现成常量时差异通常没有意义；当默认值计算昂贵或有副作用时，orElseGet 才能避免有值路径的无效计算。

可以在 Supplier 里修改共享状态吗？

不建议。供应器可能在重构后被多个路径复用，副作用会让调用次数和状态变化变得难以预测；必要时应把状态更新写在明确的业务分支里。

什么时候应该直接抛异常？

当缺失数据意味着请求不完整、配置损坏或业务对象不可继续时，用 orElseThrow 表达失败比悄悄生成默认值更安全。

把默认值策略写成可验收的选择

判断并不复杂：现成且无副作用的值用 orElse；需要延迟计算的回退动作用 orElseGet；缺失就是错误则用 orElseThrow。最后检查供应器的调用次数、异常类型和空字符串规则，Optional 的行为就不会被默认值细节掩盖。