如何修改Kotlin泛型类工厂以适配Worker类类型要求？

问题原因 #

你遇到的类型不匹配错误，核心原因是工厂方法的返回类型使用了协变（out）修饰符，导致编译器推断返回的是CapturedType(out Message)这类协变类型——协变类型仅适用于作为"生产者"（只读场景），但Worker的构造函数需要的是可以直接使用的具体Processor/Message类型，协变类型无法满足这个要求。

修复方案 #

以下提供两种常见的修复方式，根据你的实际需求选择：

方案1：直接返回父类类型（简单直接） #

如果不需要在调用工厂方法时获取具体子类类型，直接让工厂方法返回Processor和Message父类即可，完全匹配Worker的参数要求：

// 基础类定义（假设你的代码结构如下）
abstract class Processor
abstract class Message

class ConcreteProcessor : Processor()
class ConcreteMessage : Message()

class Worker(val processor: Processor, val message: Message)

// 修改后的工厂类
class ProcessorsFactory {
    fun createProcessor(): Processor {
        return ConcreteProcessor()
    }

    fun createMessage(): Message {
        return ConcreteMessage()
    }
}

// 调用示例（无类型错误）
fun main() {
    val factory = ProcessorsFactory()
    val proc = factory.createProcessor()
    val msg = factory.createMessage()
    val worker = Worker(proc, msg) // 正常编译
}

方案2：保留泛型支持（需具体子类类型时） #

如果需要工厂方法返回具体的子类类型，同时兼容Worker的构造函数，要去掉out协变修饰符，改用具体化泛型（reified）来实现类型推断：

// 基础类定义同上
abstract class Processor
abstract class Message

class ConcreteProcessor : Processor()
class ConcreteMessage : Message()

class Worker(val processor: Processor, val message: Message)

// 修改后的泛型工厂类
class ProcessorsFactory {
    inline fun <reified T : Processor> createProcessor(): T {
        return when (T::class) {
            ConcreteProcessor::class -> ConcreteProcessor() as T
            // 可扩展其他Processor子类
            else -> throw IllegalArgumentException("不支持的Processor类型")
        }
    }

    inline fun <reified T : Message> createMessage(): T {
        return when (T::class) {
            ConcreteMessage::class -> ConcreteMessage() as T
            // 可扩展其他Message子类
            else -> throw IllegalArgumentException("不支持的Message类型")
        }
    }
}

// 调用示例
fun main() {
    val factory = ProcessorsFactory()
    // 可以指定具体子类类型，或让编译器自动推断
    val proc = factory.createProcessor<ConcreteProcessor>()
    val msg = factory.createMessage<ConcreteMessage>()
    val worker = Worker(proc, msg) // 正常编译
}

关键说明 #

• 协变（out）仅适用于"生产者"场景（比如只读集合List<out T>），当需要将对象作为参数传递给需要具体类型的函数/构造函数时，协变类型会触发类型不匹配错误。
• 去掉out修饰符后，工厂方法返回的是具体的非协变类型，完全符合Worker构造函数的参数要求。

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