Kotlin Generics - 递归泛型 - 转换擦除类型的实例失败

Question

当我遍历 Sprite 列表并检查它们是否实现 UsesObjectPool 时，由于类型擦除，我遇到了这些问题：

*如果我尝试检查它的类型，我得到：

无法检查已擦除类型的实例：UsesObjectPool

  if(it is UsesObjectPool<Sprite>)
        {
            it.objectPool.releaseObject(it)
        }

• 如果我使用通配符 * 来检查，它会说：

"必填参数Nothing，找到Sprite & UsesObjectPool:

  if(it is UsesObjectPool<*>)
            {
                it.objectPool.releaseObject(it)
            }

*如果我将它转换为 UsesObjectPool，我会得到：

类型参数不在其范围内。预期的： 找到 UsesObjectPool：Sprite

 if(it is UsesObjectPool<*>)
            {
                (it as UsesObjectPool<Sprite>).objectPool.releaseObject(it)
            }

泛型类和接口：

interface UsesObjectPool<T> where T :UsesObjectPool<T>, T : Sprite
     {
         val objectPool: BaseObjectPool<T>
     }
    
abstract class BaseObjectPool<T> where T : UsesObjectPool<T>, T : Sprite
    {
        fun releaseObject(instance: T)
       {
          //Implementation
       }
    }

Answer 1

这里的问题是您实际上并没有说T 应该是实现类型（在某些语言中称为Self）。就 Kotlin 编译器而言，T 可以是实现UsesObjectPool<T> 的任何其他类型。这就是为什么你不能将it 传递给releaseObject。

这是一个例子：

class EvilObjectPool<T>: BaseObjectPool<T>() where T : UsesObjectPool<T>, T : Sprite

class Implementation : Sprite(), UsesObjectPool<Implementation> {
    override val objectPool: BaseObjectPool<Implementation>
        get() = EvilObjectPool()

}
class EvilImplementation : Sprite(), UsesObjectPool<Implementation> {
    override val objectPool: BaseObjectPool<Implementation>
        get() = EvilObjectPool()

}

注意这个编译。一般来说，我们人类认识到这种“自绑定泛型”模式，并且永远不会写像EvilImplementation 这样的东西，但编译器不知道:(

现在想象it 是EvilImplementation。 it.objectPool.releaseObject 会接受Implementation，但你给它的是EvilImplementation！

无论如何，我认为您需要重新考虑您的设计，因为 Kotlin 不像其他一些语言那样支持 Self。

另见a similar problem in Java。