Kotlin泛型：不暴露具体类型实现类型安全生产者消费者方案

问题复现 #

现有泛型生产者消费者接口定义、实现类及工厂方法如下：

interface WidgetProducerConsumer<T> {
    fun produce(): Widget<T>
    fun consume(widget: Widget<T>)

    companion object {
        fun getStringWidgetProducerConsumer(): WidgetProducerConsumer<*> {
            return StringWidgetProducerConsumer()
        }
    }
}

data class Widget<T>(val contents: T)

private class StringWidgetProducerConsumer: WidgetProducerConsumer<String> {
    override fun produce(): Widget<String> {
        return Widget("hello world")
    }

    override fun consume(widget: Widget<String>) {
        println(widget.contents)
    }
}

调用方通过工厂方法获取实例后，尝试执行producerConsumer.consume(producerConsumer.produce())时编译失败，根本原因是WidgetProducerConsumer<*>星投影的类型规则限制：

• produce()返回值类型被擦除为Widget<Any?>
• consume()入参类型被擦除为Widget<Nothing>
  二者类型不存在继承关系，无法直接传参。

目标约束 #

• 实现类仅消费自身生产的同类型Widget对象
• 支持注入不同的接口实现
• 对外完全隐藏实现类的具体泛型类型
• 代码中禁止手动类型检查、强制类型转换

实现方案 #

方案1：接口内置自消费逻辑（首选） #

直接在接口层封装生产+消费的闭环逻辑，把泛型匹配的逻辑完全收敛在接口内部，对外不暴露泛型细节，不需要修改任何现有实现类：

interface WidgetProducerConsumer<T> {
    fun produce(): Widget<T>
    fun consume(widget: Widget<T>)

    // 新增内置自消费方法，泛型匹配逻辑由编译器在接口内部保证
    fun runProduceConsumeFlow() {
        consume(produce())
    }

    companion object {
        fun getStringWidgetProducerConsumer(): WidgetProducerConsumer<*> {
            return StringWidgetProducerConsumer()
        }
    }
}

调用方使用时完全不需要感知泛型参数，直接调用即可：

val consumerProducer = WidgetProducerConsumer.getStringWidgetProducerConsumer()
// 编译通过，无类型转换，无泛型细节暴露
consumerProducer.runProduceConsumeFlow()

方案优势：

• 零侵入：现有实现类不需要修改任何代码即可获得该能力
• 绝对类型安全：类型匹配逻辑由编译器在泛型参数作用域内校验，不存在运行时类型异常
• 调用方成本最低：不需要理解泛型投影规则即可使用

方案2：扩展函数捕获星投影类型（适用于需要自定义流程的场景） #

如果需要在生产和消费之间插入自定义逻辑，可以通过泛型扩展函数让编译器自动捕获星投影对应的真实类型，不需要显式类型转换：

// 泛型扩展函数，自动捕获调用者的真实泛型类型
fun <T> WidgetProducerConsumer<T>.consumeSafely(widget: Widget<T>) {
    consume(widget)
}

调用侧代码：

val consumerProducer = WidgetProducerConsumer.getStringWidgetProducerConsumer()
val widget = consumerProducer.produce()
// 编译器自动识别widget和consumerProducer的类型匹配关系，编译通过
consumerProducer.consumeSafely(widget)

注意：使用该方案时不要手动将widget变量声明为Widget<Any?>类型，否则会破坏编译器的类型捕获逻辑，导致编译失败。

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