如何在Kotlin子类中用具体类型重写抽象类的方法级泛型方法？

报错原因 #

父类MainClass中的getChildren是方法级泛型方法，其签名要求该方法能接受任意类型的TParent参数，并返回任意类型的TChild数组。而子类MyClass中定义的方法固定了参数为MyParent、返回值为Array<MyChild>?，与父类的泛型方法签名不匹配，因此编译器报错“'getChildren' overrides nothing”。

解决方案 #

在保持方法级泛型的前提下，有以下几种可行的重写方式：

方式1：添加泛型类型约束，限定处理特定类型的子类型 #

通过给泛型参数添加上界约束，让重写的方法仅处理MyParent及其子类、MyChild及其子类，同时符合父类的泛型方法签名：

class MyClass : MainClass {
    override fun <TParent : MyParent, TChild : MyChild> getChildren(parent: TParent): Array<TChild>? {
        // 安全访问MyParent成员，获取子对象
        return parent.children as Array<TChild>
    }
}

注：这种方式仍允许传入MyParent的子类，若不需要支持子类，仅能通过上界约束限定范围，方法级泛型无法直接指定精确类型。

方式2：重写泛型方法，仅处理目标类型，其他情况返回默认值 #

严格遵循父类的泛型契约，在方法内部判断参数类型，仅对MyParent进行处理，其他类型返回null或抛出异常：

class MyClass : MainClass {
    override fun <TParent, TChild> getChildren(parent: TParent): Array<TChild>? {
        if (parent is MyParent) {
            // 从MyParent获取MyChild的具体逻辑
            val children = parent.fetchChildren()
            return children as Array<TChild>
        }
        // 非目标类型的处理逻辑，可返回null或抛出IllegalArgumentException
        return null
    }
}

方式3：结合重载，对外提供类型安全的具体方法 #

如果希望对外暴露更直观的具体类型方法，同时满足父类的重写要求，可以在子类中定义一个重载的具体方法，然后在重写的泛型方法内部转发：

class MyClass : MainClass {
    // 对外提供的类型安全方法，直接处理MyParent和MyChild
    fun getChildren(parent: MyParent): Array<MyChild>? {
        // 具体获取子对象的逻辑
        return parent.children
    }

    // 重写父类的泛型方法，内部转发到具体方法
    override fun <TParent, TChild> getChildren(parent: TParent): Array<TChild>? {
        return if (parent is MyParent) {
            getChildren(parent) as Array<TChild>?
        } else {
            null
        }
    }
}

适用场景总结 #

• 方式1适合需要支持目标类型子类型的场景，保证一定扩展性。
• 方式2适合仅需处理特定类型、其他类型无需支持的场景，严格遵循父类契约。
• 方式3兼顾类型安全和父类重写要求，调用者可直接使用具体类型方法，避免泛型转换。

内容的提问来源于stack exchange，提问作者tiefenauer