封装为AAR的Kotlin嵌套密封接口实现类无法被IDE识别

我开发了一个包含Kotlin密封接口的AAR库，核心代码结构如下：

interface SampleResult {
    object SampleOneSuccess: SampleResult, OperationOne

    object SampleOneError: SampleResult, OperationOne

    object SampleTwoSuccess: SampleResult, OperationTwo

    object SampleTwoError: SampleResult, OperationTwo

    sealed interface OperationOne

    sealed interface OperationTwo
}

生成结果的函数：

fun doOperationOne(): SampleResult.OperationOne {
    return if (true) {
        SampleResult.SampleOneSuccess
    } else {
        SampleResult.SampleOneError
    }
}

原项目中编译正常，IDE能识别OperationOne/OperationTwo是有实现的密封接口，调用doOperationOne()也无警告。但打包成AAR发布到Maven（同时上传源码Jar）后，在新项目中引入依赖，执行以下代码时：

val x = doOperationOne()
if (x is SampleResult.SampleOneSuccess) {
    Log.e("TAG", "x is SampleResult.SampleOneSuccess")
}

IDE提示警告Condition 'x is SampleResult.SampleOneSuccess' is always false，但运行时日志正常打印，调试确认x确实是SampleOneSuccess类型，且IDE不再识别OperationOne/OperationTwo为有实现的密封接口。

已尝试的操作：

• 更换Kotlin版本（1.7.21、1.9.0）打包，问题依旧
• 移除父接口SampleResult后，IDE识别恢复正常，但不符合业务需求

疑问：这种层级结构是否过于复杂？还是AAR/Jar生成过程中存在问题？

这是Kotlin编译器处理嵌套密封接口+跨层级实现类时的元数据暴露问题：

• OperationOne是SampleResult内部的密封接口，但它的实现类SampleOneSuccess/SampleOneError同时实现了外部的SampleResult接口，这种双重实现的层级结构，导致编译器生成的元数据中没有正确标记OperationOne的实现类归属。
• 依赖项目的IDE仅通过AAR中的元数据（而非源码Jar）分析密封类型完整性，因此无法识别SampleOneSuccess是OperationOne的实现类，进而误判类型检查条件永远为false。

方案1：调整密封接口层级，将实现类移入密封接口内部 #

把实现类归到对应密封接口内部，确保编译器能正确生成实现关系元数据：

interface SampleResult {
    sealed interface OperationOne {
        object SampleOneSuccess: OperationOne, SampleResult
        object SampleOneError: OperationOne, SampleResult
    }

    sealed interface OperationTwo {
        object SampleTwoSuccess: OperationTwo, SampleResult
        object SampleTwoError: OperationTwo, SampleResult
    }
}

调用代码需同步调整为：

val x = doOperationOne()
if (x is SampleResult.OperationOne.SampleOneSuccess) {
    Log.e("TAG", "x is SampleResult.OperationOne.SampleOneSuccess")
}

这种结构能让IDE正常识别密封接口的实现关系，消除错误警告。

方案2：用@SealedSubclasses显式声明实现类（Kotlin 1.8+） #

在Kotlin 1.8及以上版本中，可通过注解强制编译器将实现关系写入元数据：

interface SampleResult {
    object SampleOneSuccess: SampleResult, OperationOne
    object SampleOneError: SampleResult, OperationOne
    object SampleTwoSuccess: SampleResult, OperationTwo
    object SampleTwoError: SampleResult, OperationTwo

    @SealedSubclasses(SampleOneSuccess::class, SampleOneError::class)
    sealed interface OperationOne

    @SealedSubclasses(SampleTwoSuccess::class, SampleTwoError::class)
    sealed interface OperationTwo
}

该注解会告诉编译器指定类为密封接口的子类，即使它们不在密封接口内部，依赖项目的IDE也能通过元数据识别实现关系。

问题并非层级结构过于复杂，而是Kotlin编译器在处理跨层级密封接口实现时的元数据暴露限制。通过调整结构或使用@SealedSubclasses注解，即可解决IDE识别异常的问题，同时保留原有的业务接口层级。

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