Kotlin密封接口在Java switch表达式中是否需具备穷举性？

问题原因 #

Kotlin密封接口默认编译为字节码时，不会向Java编译器传递permits声明的子类信息。而Java的密封接口会通过字节码明确告知编译器所有允许的子类，因此Java编译器能判断switch表达式是否覆盖了所有情况。Kotlin生成的密封接口缺少这个元数据，导致Java编译器无法确认穷举完整性，从而抛出编译错误。

解决技巧：使用@JvmPermits注解 #

从Kotlin 1.7版本开始，提供了@JvmPermits注解，用于让Kotlin密封接口生成Java兼容的permits元数据。只需在Kotlin密封接口上添加该注解，并指定所有子类，即可让Java编译器识别其穷举性。

修改后的Kotlin代码：

import kotlin.jvm.JvmPermits

@JvmPermits(AorB.A::class, AorB.B::class)
sealed interface AorB {
    data class A() : AorB
    data class B() : AorB
}

此时在Java中使用switch表达式就无需default分支，且不会报错：

// Java代码
AorB aOrB = ...;
switch (aOrB) {
    case AorB.A a -> foo(a);
    case AorB.B b -> bar(b);
    // 无需default，Java编译器能识别已覆盖所有情况
}

是否是Kotlin的bug？ #

这不是Kotlin的bug，而是早期设计中Kotlin密封类/接口的默认行为更侧重Kotlin自身的语法特性，未默认兼容Java的switch表达式穷举检查。后续通过添加@JvmPermits注解的方式补充了兼容性支持，属于合理的设计兼容策略。

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