java - 递归类型参数和'this'的类

Question

我们可以确保它A<T>始终是 的一个实例T吗？

open class A<T : A<T>> {
  fun self(): T = this as T // is this safe?
}

还是有任何不正确的情况？

标签： javakotlingenerics