Java模块解析中区分requires与requires transitive的作用疑问

核心目的是控制依赖的可见性与传递性，既保证模块封装性，又避免冗余的依赖声明，具体可拆解为两点：

1. 隐藏内部依赖，维护模块边界 #

当模块A用requires B声明依赖时，B属于A的内部实现依赖——A的对外API不会暴露B的类型，依赖A的其他模块（比如C）完全不需要知道B的存在。解析时，B只会被加载给A，不会自动传递给C。

这种设计能大幅降低模块间耦合：C只需要关注A提供的API，不用关心A底层依赖了什么工具模块；就算后续A把内部依赖从B换成D，C也不需要修改自己的模块声明。

2. 传递API级依赖，保证可用性 #

如果模块A的对外API直接依赖了模块B的类型（比如A的方法返回B的对象、参数接受B的实例），那依赖A的模块C必须能访问B的类型才能正常使用A的API。这时A需要用requires transitive B，解析时B会自动传递给C，C无需手动声明requires B。

举个实际场景：

• 模块payment-api对外提供支付接口，其中一个方法返回money-utils模块定义的Currency类型，那么payment-api需要声明requires transitive money-utils；
• 依赖payment-api的e-commerce模块，调用支付接口时能直接使用Currency类型，不用自己再声明依赖money-utils，完全符合API设计的预期——用户使用支付接口时自然需要处理货币类型。

解析规则的补充说明 #

宿主系统可决定是否枚举非transitive的依赖，这是为了兼容调试、全量依赖扫描等特殊场景，但默认逻辑下非transitive依赖不会传递，本质是为了严格维护模块的封装边界，避免不必要的依赖被引入到上层模块中。

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