如何让编译器识别传入Kotlin接口的泛型类型？

你的代码中，main函数里的handler被编译器推断为Handler<*>（通配符类型）——因为StringHandler和IntHandler的共同父类型是Handler<*>而非某个具体的Handler<T>。这导致handler.execute()返回的类型是Any，而handler.process(data)需要的参数是未知泛型类型，编译器无法确认两者匹配，因此报错。

方案1：使用类型判断（when表达式） #

通过when判断handler的具体实现类，编译器会自动进行智能类型转换，确保execute和process的类型完全匹配：

fun main() {
    val handler = if (true) {
        StringHandler()
    } else {
        IntHandler()
    }

    when (handler) {
        is StringHandler -> {
            val data = handler.execute()
            handler.process(data)
        }
        is IntHandler -> {
            val data = handler.execute()
            handler.process(data)
        }
    }
}

方案2：封装到泛型函数中 #

将Handler的创建和处理逻辑封装到泛型函数内，让编译器在每个分支中明确泛型类型T：

fun <T> createAndProcess(createHandler: () -> Handler<T>) {
    val handler = createHandler()
    val data = handler.execute()
    handler.process(data)
}

fun main() {
    if (true) {
        createAndProcess { StringHandler() }
    } else {
        createAndProcess { IntHandler() }
    }
}

方案3：强制类型转换（谨慎使用） #

如果能确保运行时类型绝对安全，可以通过强制转换让编译器认可泛型类型的一致性，但这种方式会跳过编译期类型检查，需避免逻辑漏洞：

fun main() {
    @Suppress("UNCHECKED_CAST")
    val handler: Handler<Any> = if (true) {
        StringHandler() as Handler<Any>
    } else {
        IntHandler() as Handler<Any>
    }

    val data = handler.execute()
    handler.process(data)
}

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