Kotlin中为何接口方法HashMap的接收者为Nothing而非接口本身？

核心问题原因：为什么HashMap中方法的接收者是Nothing而非Instanceable？ #

你遇到的类型推断问题，本质是Kotlin函数类型的逆变特性和方法引用的类型匹配逻辑导致的：

1. 你的每个实现类（比如Implementation1）的getInstance是成员方法，对应的方法引用类型是KFunction2<具体实现类, Instanceable.Config, Instanceable>——这里第一个参数是方法的接收者，类型是具体的实现类（而非接口Instanceable）。
2. 当你把多个不同实现类的方法引用（比如Implementation1::getInstance、Implementation2::getInstance）存入同一个HashMap时，编译器需要推导所有值的最具体共同超类型。由于函数类型的第一个参数（接收者）处于逆变位置：
   • 逆变规则要求，若要兼容多个不同的接收者类型，共同超类型的接收者必须是所有具体接收者类型的子类型。
   • 而Kotlin中唯一能成为所有类型子类型的就是Nothing，因此编译器最终推断出的HashMap值类型是out KFunction2<Nothing, Instanceable.Config, Instanceable>。

另外，你尝试定义的Instanceable.(Instanceable.Config)->Instanceable是接口扩展方法类型，它要求接收者是Instanceable类型；但你的成员方法引用接收者是具体实现类（比如Implementation1），两者属于逆变方向不匹配的类型，因此会出现类型错误。

解决方案 #

根据你的需求（通过ID获取方法创建实例），推荐调整方法设计，避免用成员方法实现实例创建逻辑：

方案1：用伴生对象方法实现工厂逻辑 #

把getInstance改为实现类伴生对象的方法，这样方法引用就不需要接收者，类型统一为(Instanceable.Config)->Instanceable：

interface Instanceable {
    data class Config(val someData: String)
}

class Implementation1 : Instanceable {
    companion object {
        const val ID = "impl1"
        fun getInstance(config: Instanceable.Config): Instanceable {
            return Implementation1()
        }
    }
}

// 定义HashMap
val instanceFactories = mutableHashMapOf<String, (Instanceable.Config)->Instanceable>().apply {
    put(Implementation1.ID, Implementation1.Companion::getInstance)
    // 添加其他实现类的方法引用
}

// 调用示例
val config = Instanceable.Config("test_data")
val instance = instanceFactories["impl1"]?.invoke(config)

方案2：定义工厂接口，存储工厂实例 #

更符合面向接口设计的方式，定义专门的工厂接口，让实现类的伴生对象实现该接口，然后存储工厂实例：

interface Instanceable {
    data class Config(val someData: String)
    interface Factory {
        fun create(config: Config): Instanceable
    }
}

class Implementation1 : Instanceable {
    companion object : Instanceable.Factory {
        const val ID = "impl1"
        override fun create(config: Instanceable.Config): Instanceable {
            return Implementation1()
        }
    }
}

// 定义HashMap
val factories = mutableHashMapOf<String, Instanceable.Factory>().apply {
    put(Implementation1.ID, Implementation1)
    // 添加其他实现类的伴生对象
}

// 调用示例
val instance = factories["impl1"]?.create(config)

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