ServiceLoader是否真支持动态加载？启动后模块路径新增提供者能否被识别？

我来帮你拆解这个容易混淆的问题——关于ServiceLoader.reload()能不能识别应用启动后新增的模块路径服务提供者，确实存在文档描述不够清晰的地方，甚至会让开发者产生矛盾的理解。下面我分场景给你理清楚：

核心前提：ServiceLoader的缓存机制 #

默认情况下，ServiceLoader在首次调用iterator()或stream()时，会扫描当前类路径/模块路径下的服务提供者，并将结果缓存起来。后续调用会直接使用缓存，不会重新扫描。

reload()的真实作用 #

ServiceLoader.reload()的核心行为是清空当前加载器的提供者缓存，让后续的iterator()/stream()调用像新创建的加载器一样，重新扫描已有的路径/模块来定位服务提供者。但这里有个关键限制：它只能扫描JVM启动时就存在的模块路径条目，无法识别启动后新增的模块路径。

为什么会有文档矛盾？ #

矛盾通常来自对“新增服务提供者”的场景定义不同：

• 场景1：已有模块/类路径下新增提供者
  如果你是在已加载的JAR（类路径）或已存在的模块（模块路径）中，新增了META-INF/services/[服务接口全类名]文件，或者在模块的module-info.java中新增了provides声明，那么调用reload()是有效的。此时ServiceLoader会重新扫描这些已存在的路径，发现新的提供者。

• 场景2：启动后新增模块路径条目
  如果你是在应用启动后，动态添加了一个新的JAR到模块路径（比如通过自定义类加载器或模块加载API），仅调用reload()是没用的。因为JVM的模块系统默认不会自动识别新增的模块路径条目，ServiceLoader扫描的范围还是启动时的模块集合。这种情况下，你需要先通过ModuleLayer相关API将新模块加入到模块层，再创建对应的ServiceLoader实例。

代码示例 #

场景1：已有路径下新增提供者，用reload()加载 #

// 初始化服务加载器
ServiceLoader<MyService> serviceLoader = ServiceLoader.load(MyService.class);

// 第一次迭代，加载现有提供者
for (MyService service : serviceLoader) {
    service.doSomething();
}

// 假设此时在已有类/模块路径下新增了MyService的实现类和对应的服务声明
serviceLoader.reload(); // 清空缓存

// 再次迭代，会加载新的提供者
for (MyService service : serviceLoader) {
    service.doSomething();
}

场景2：动态新增模块，结合ModuleLayer加载 #

// 新模块的路径
Path newModuleJar = Paths.get("./new-service-module.jar");

// 基于启动模块层创建新的配置
ModuleLayer bootLayer = ModuleLayer.boot();
Configuration newConfig = bootLayer.configuration().resolve(
    ModuleFinder.of(newModuleJar),
    ModuleFinder.of(),
    Set.of("com.example.newmodule") // 新模块的名称
);

// 定义新的模块层，使用系统类加载器
ModuleLayer newModuleLayer = bootLayer.defineModulesWithOneLoader(newConfig, ClassLoader.getSystemClassLoader());

// 从新模块层加载服务
ServiceLoader<MyService> newServiceLoader = ServiceLoader.load(newModuleLayer, MyService.class);
for (MyService service : newServiceLoader) {
    service.doSomething();
}

总结 #

简单来说：

• reload()负责重新扫描已有的路径/模块，解决的是“已有路径下新增提供者”的问题；
• 若要处理“启动后新增模块路径”的场景，需要结合ModuleLayer的动态模块加载API，而不是仅靠reload()。

很多文档只强调了reload()的缓存清空能力，却没明确区分这两种场景，才导致了你的困惑。

内容的提问来源于stack exchange，提问作者Mordechai