通用类类型 IDE 警告的未经检查的强制转换

Question

为简单起见，我有这两个类：

abstract class ClassA<T> where T : ClassA<T> {
    fun fooA(): T {
        //Do stuff
        return this as T //<-- Cast warning happens here
    }
}

open class ClassB : ClassA<ClassB>() {
    fun fooB(): ClassB {
        //Do stuff
        return this
    }
}

我在 fooA 函数中标记的那一行被 IntelliJ 标记为以下警告： "Unchecked cast: ClassA<T> to T"。除非我遗漏了什么，否则我设置类的方式应该使函数 fooA 中的返回类型不可能不是 ClassA 的子级，这意味着强制转换检查将是多余的。或者至少我看不到 fooA 可以尝试将 ClassA 强制转换为不是它的子对象的方式。我是否遗漏了什么，或者我可以取消警告？

Answer 1

警告是正确的。因为你可能会用这样的邪恶参数填充泛型参数：

class ClassC : ClassA<ClassB>()

现在您只需在ClassC 上调用fooA 即可生成ClassCastException：

fun main(args: Array<String>) {
    val fooA = ClassC().fooA()
}

这就是fooA 不安全的原因。

在编译时无法检测到此类错误，这就是出现警告的原因。

当然，您可以手动确保您的代码不会以错误的方式填充泛型参数并抑制警告。