可空运算符在泛型类中有效吗？

Question

Kotlin 具有处理可空类型的漂亮特性（?. 和 !!.）。但是这个只是打动我——如果你不知道你是在处理可空类型还是不可空类型怎么办？如果你有泛型类MyClass<T>，那么你只有一些类型T，就是这样。

Kotlin 是否允许将“可为空”运算符应用于泛型类型（此处为T），是否可以将类型设为可空在类中（如T?），如果类将被实例化为可为空的类型——比如MyClass<String?>。是否会导致 MyClass 类型内的可空类型（如 C++ 中的指针——**std::string）类型为空？

Answer 1

我刚刚在Web Demo试了一下。

class MyClass<T>(val x: T) {
  fun foo() {
    println(x.toString())
  }

  fun fooSave() {
    println(x?.toString())
  }

}

fun main(args: Array<String>) {
  MyClass<String?>(null).fooSave()
  MyClass<String?>(null).foo()
}

您似乎总是可以应用 null 安全运算符 ?.，即使该类型不一定可以为 null。

另一方面，您可以将泛型类型参数T 绑定到一个可为空的类型，在我的例子中为String?，如果您传递null，实际上会产生NullPointerException .

编辑：自从提出问题以来，没有上限的泛型类型的语义已经改变。 T 现在解释为 T : Any?。但是上面的代码不再崩溃。原因是调用x.toString()会调用扩展函数Any?.toString()正确处理nulls。

如果我们把代码改成如下

class MyClass<T : Any>(val x: T) {
  fun foo() {
    println(x.toString())
  }

  fun fooSave() {
    println(x?.toString())
  }

}

fun main(args: Array<String>) {
  MyClass<String?>(null).fooSave()
  MyClass<String?>(null).foo()
}

它现在甚至不能编译，因为我们不能用String? 实例化T : Any。呼叫x?.toString() 也被标记为警告，表明安全呼叫是不必要的。