Kotlin 具体化类型参数不智能转换

Question

我正在尝试设置 未初始化的 值，并试图让以下内容起作用。这主要是对具体化泛型的力量（和局限性）的好奇。

我试图为数据的可选参数提供默认值类。

inline fun <reified T> uninitialized(): T = when (T::class) {
  Long::class -> -1L // Type mismatch. Required: T  Found: Long
  String::class -> "" // Type mismatch. Required: T  Found: String
  // and so on...
  else -> throw UnsupportedOperationException("No uninitialized value defined for " + T::class)
}

data class Thing(
    var id: Long = uninitialized(),
    var name: String = uninitialized() // and so on...
)

当 when 包含 is Type 子句时，Kotlin 具有 智能转换 。在此示例中，智能转换未启动，因此无法编译。

有什么想法可以完成类似的事情吗？

Answer 1

在您使用 is 检查其类型或将其与 null 进行比较后，智能转换将应用于特定对象。在您的示例中，没有要检查类型的特定对象，也没有要应用智能转换的对象。

但是，您可以将手动转换应用于 T，这将按预期工作。这是示例函数的工作版本，已更新以处理将在 1.1 中修复的 Kotlin 反射库的特性：

inline fun <reified T : Any> uninitialized(): T = when (T::class.java) {
  Long::class.javaPrimitiveType, Long::class.javaObjectType -> -1L as T      
  String::class.java -> "" as T
  // and so on...
  else -> throw UnsupportedOperationException("No uninitialized value defined for " + T::class)
}

data class Thing(
    var id: Long = uninitialized(),
    var name: String = uninitialized() // and so on...
)

fun main(args: Array<String>) {
    val t = Thing()
    println(t.id)
}

Kotlin 具体化类型参数不智能转换

Kotlin reified type parameter doesn't smart cast

generics

inline

kotlin

reification