Java 模块服务加载的可选实现与回退路径

Java 模块服务加载要解决的核心问题是：可选实现存在时使用它，模块缺失或没有提供者时仍保留一个可用的默认实现。稳定做法是让服务接口成为契约，由使用方声明 uses，实现方声明 provides ... with ...，业务代码再用 ServiceLoader.findFirst() 配合 Optional 回退。需要注意，服务没有提供者，与服务接口本身在运行时不可用，是两种不同故障。

官方参考地址：https://dev.java/learn/organizing/modules/services/

uses 与 provides 如何组成服务边界

先把服务接口放在稳定的契约模块中，例如 PaymentService。应用模块只依赖接口，不直接依赖某个速度更快的实现；默认实现和增强实现分别放在自己的模块里。这样切换实现时，业务代码无需跟着改变。

// module-info.java：使用方只声明需要发现 PaymentService
module app.module {
    requires service.api; // 读取服务接口所在模块
    uses com.example.payment.PaymentService; // 允许 ServiceLoader 查找实现
}

// module-info.java：实现模块声明自己提供服务
module fast.provider {
    requires service.api; // 实现需要访问服务接口
    provides com.example.payment.PaymentService
        with com.example.payment.FastPaymentService; // 注册实现类
}

如果增强实现不是每个环境都安装，可以让使用方通过 requires static 表达可选依赖。但它并不会替应用自动选择默认实现；默认策略仍应写在代码中，且要把“接口不可用”和“接口可用但没有实现”区分开。

用 ServiceLoader 选择实现并保留默认回退

服务接口和模块图准备好后，加载代码可以保持很小。findFirst() 返回首个可发现提供者；没有提供者时返回空的 Optional，再交给默认实现兜底。

// ProviderSelector.java：优先使用模块提供者，没有时使用默认实现
public final class ProviderSelector {
    private static final PaymentService DEFAULT = new LocalPaymentService();

    public static PaymentService load() {
        // findFirst 只负责“有没有提供者”，不吞掉配置错误
        return ServiceLoader.load(PaymentService.class)
                .findFirst()
                .orElse(DEFAULT); // 空结果回退到本地实现
    }
}

不要把 orElse 当作万能异常处理器。提供者类无法加载、没有公开合适构造方式，或 module-info.java 中的服务声明不一致时，遍历或实例化可能抛出 ServiceConfigurationError。这类错误通常意味着部署或模块声明有问题，应记录并让启动检查失败，而不是静默降级。

可选服务与默认实现的边界

默认实现要满足最低业务能力，但不应伪装成增强实现。比如本地实现可以保证支付请求进入人工复核，而不能在没有真实能力时宣称支持快速通道。这个边界写清楚，回退才不会把兼容性问题变成数据一致性问题。

部署前的模块排错清单

1. 检查使用方模块是否写了 uses，并且服务接口包确实可读。
2. 检查实现模块是否写了 provides，实现类是否实现了同一个服务接口。
3. 检查可选模块是否真的位于运行时模块路径；缺失时确认代码允许无提供者。
4. 对 ServiceConfigurationError 保留原始原因，优先修正模块声明，不要通过捕获所有异常来掩盖部署错误。

相关问题还包括：为什么模块化应用明明有实现却找不到？先看 uses 和 provides 是否成对出现，再看实现模块是否被放进运行时模块路径。为什么回退没有生效？确认是空提供者结果，而不是接口模块缺失或提供者初始化失败。

小结

Java 模块服务加载的关键不是“把实现藏起来”，而是把服务契约、可选依赖、默认能力和配置故障分层。用 uses 与 provides 建立边界，用 findFirst() 处理可选提供者，再为接口不可用和配置错误保留明确的失败信号，模块化部署才会既灵活又可诊断。