链式依赖下Java与Kotlin编译行为差异及报错排查

场景复现 #

测试环境：Java 1.8/11，Kotlin 1.7.21，移除Gradle直接使用原生工具测试，依赖链为 Main → Lib2 → Lib1

• Lib1：Java接口
• Lib2：继承Lib1的Java接口，包含静态常量msg
• JavaMain：仅将Lib2.jar加入类路径，引用Lib2的msg，编译运行均正常
• KotlinTest：仅将Lib2.jar加入类路径，引用相同的msg，编译报错：

error: supertypes of the following classes cannot be resolved. Please make sure you have the required dependencies in the classpath: class com.test.lib2.Lib2, unresolved supertypes: com.test.lib1.Lib1

疑问 #

1. 为何Java和Kotlin的编译行为存在差异？
2. 按逻辑Lib2对Lib1的依赖不应被上层的Main/KotlinTest感知，为什么Kotlin会报错？

原因解析 #

Java编译的特性：静态常量内联机制 #

Java编译器处理静态常量时，会在编译阶段直接把常量值内联到引用它的类中，而非运行时读取Lib2的类文件。同时，对于仅引用静态常量的场景，Java编译器不会解析Lib2的父接口依赖——因为静态常量属于类本身，和继承关系无关，只要能找到Lib2的类文件并读取常量值即可完成编译，无需加载它的父类/父接口。

Kotlin编译的特性：严格的类型完整性校验 #

Kotlin编译器处理类引用时，会执行更严格的类型校验：哪怕只引用了Lib2的静态常量，Kotlin编译器也会尝试解析Lib2的完整类型信息，包括它的父接口Lib1。这是Kotlin类型系统的设计特性，它要求所有涉及的类型（包括父类型）都必须在类路径中存在，否则会判定类型不完整，抛出依赖缺失错误。

简言之，Java在该场景下只关注「能否获取常量值」，而Kotlin关注「类的完整类型结构是否合法」。

解决方式 #

要让KotlinTest编译通过，必须将Lib1.jar也加入编译类路径——哪怕代码中没有直接引用Lib1的任何内容，这是由Kotlin编译器的类型校验机制决定的。

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