错误 Kotlin: 类型不匹配: 推断类型为 T? 但是期望的是 Nothing

Question

class MyExample {
  abstract class Field<in E, T : Any>(private val getter: (E) -> T?) {
    fun get(entity: E): T? { return getter(entity) }
  }

  interface Meta<T: Any> {
    fun getFields(): List<MyExample.Field<T, *>>
  }


  interface MetaRepository {
    fun <T : Any> getMeta(klass: KClass<T>): Meta<T>?
  }

  lateinit var metaRepository: MetaRepository

  fun <T : Any> doSomthing(entity: T?) {

    val meta = metaRepository.getMeta(entity!!::class)!!

    meta.getFields().forEach { field ->
      val fieldValue = field.get(entity) // <-- Error Kotlin: Type mismatch: inferred type is T? but Nothing was expected
      Unit
    }
  }
}

有人知道为什么会出现编译错误"Error Kotlin: Type mismatch: inferred type is T? but Nothing was expected"吗？针对上述代码，我该如何解决此错误？

- auser

Answer 1

请看

val meta = metaRepository.getMeta(entity!!::class)!!

你期望的meta类型是什么？可能是Meta<T>，但如果你尝试注释它，你会发现是错误的。实际上被推断为Meta<out T>（基本上是因为entity实际上可以属于T的某个子类，所以entity!!::class是KClass<out T>）。

因此，field是Field<Nothing, out Any>，而field.get需要Nothing作为其参数。

解决方案是使用具体化的类型参数来获取KClass<T>：

inline fun <reified T : Any> doSomthing(entity: T?) {

    val meta = metaRepository.getMeta(T::class)!!

    meta.getFields().forEach { field ->
        val fieldValue = field.get(entity!!)
        // Unit at the end isn't needed
    }
}

很遗憾，getMeta 本身无法使用 reified，因为它是一个接口方法，并且没有任何东西可以内联，但是您可以创建一个帮助程序方法来简化对其的调用：

inline fun <reified T : Any> MetaRepository.getMeta1() = getMeta(T::class)

...
val meta = metaRepository.getMeta1<T>()!!

顺便提一句：如果您无论如何都不想让entity为null（使用entity!!），那么将其类型从T?更改为T可能没有好的理由。

- Alexey Romanov

---

这是一个很棒的解释！非常感谢你！ - auser