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"吗？我该如何解决这个错误？

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作为其自变量。

解决方案是reified type parameters代替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?而不是{{ 1}}。

错误Kotlin：类型不匹配：推断类型为T？但没想到

1 个答案: