Java泛型是编译期机制，运行时经类型擦除后仅保留原始类型；模块系统不处理泛型，只管控包导出、开放及依赖关系，泛型跨模块传递需确保导出、opens和requires配置完整。
module-info.java 本身不处理泛型变量的定义、类型擦除或运行时行为，它也不参与泛型参数的具体传递逻辑。泛型是 Java 语言层面的编译期机制，类型信息在字节码中被擦除（type erasure），模块系统只负责包可见性、依赖可见性和反射访问控制——这三点才是影响“复杂泛型变量能否在模块间安全传递”的真实边界。
明确泛型传递的本质限制
所谓“泛型变量在模块间传递”，实际是指：一个模块 A 定义了含泛型的类（如 Response<t></t>）、接口或方法，另一个模块 B 使用它。此时是否能正常使用，取决于：
- 模块 A 是否
exports了包含该泛型类型的包（否则 B 根本看不到这个类） - 模块 A 是否
opens了相关包（若 B 需通过反射实例化或设值，比如 JSON 反序列化） - 模块 B 是否声明了对模块 A 的
requires（或requires transitive，视是否暴露给下游而定） - 泛型类型参数（如
T）本身是否来自另一个模块？该模块是否也被正确导出/开放/依赖？
实战配置关键三步
1. 正确导出含泛型的 API 包
假设模块 com.example.api 提供通用响应结构：
module com.example.api {<br> requires java.base;<br> exports com.example.api.model;<br> exports com.example.api.service;<br>}其中 com.example.api.model.Response<t></t> 是 public 类，且包已导出，模块 B 才能 import 并声明 Response<user></user>。
立即学习“Java免费学习笔记（深入）”；
2. 对需反射操作的泛型类型开放包
若模块 B 使用 Jackson 解析 Response<order></order>，而 Order 在模块 com.example.domain 中，则：
-
com.example.domain必须exports com.example.domain.model; - 还需
opens com.example.domain.model to com.fasterxml.jackson.databind;（因 Jackson 依赖反射设值） -
com.example.api若含泛型字段（如private T data;），其 model 包也建议同样opens给 Jackson
3. 传递性依赖要覆盖泛型所需的全部类型链
例如：
– 模块 C 定义 Event<payload></payload>，Payload 来自模块 D
– 模块 B 使用 Event<payload></payload>，但只依赖模块 C
→ 则模块 C 应声明：requires transitive com.example.domain;
否则模块 B 编译会报错：“cannot access class com.example.domain.Payload”。
常见踩坑点与绕过方式
• 泛型通配符（? extends T）无法跨模块推断？
不是模块问题，是类型擦除导致的 JVM 限制。解决方案是：在 API 模块中提供带 Class<t></t> 参数的工厂方法，显式传入类型信息。
• Response<list>></list> 反序列化失败？
Jackson 默认不支持嵌套泛型类型推断。应在模块 B 中用 TypeReference 显式指定，而非依赖模块 A 的导出规则。
• 模块 A 导出了泛型类，但模块 B 调用 getDeclaredMethods() 报 IllegalAccessError？
说明反射访问被模块封装拦截。必须在模块 A 的 module-info.java 中添加：opens com.example.api.model to com.example.client;（明确授权给调用方模块）
