Kotlin中带泛型的密封类如何正确使用？解决类型不匹配问题

报错的核心原因是：Base<Data>的构造函数要求接收Base<Data>.() -> Unit类型的扩展函数，但你传给A的是A.() -> Unit类型的扩展函数。Kotlin不允许直接将子类的扩展函数赋值给父类的扩展函数类型——因为如果Base内部调用该函数时，this可能指向Base<Data>的其他子类实例，而你的函数是针对A编写的，会引发类型安全问题。

推荐使用带自类型（Self-type）的泛型来解决这个问题，让Base类明确接受子类自身的扩展函数：

data class Data(val s: String)
// 新增Self泛型参数，限定为Base<T, Self>的子类
sealed class Base<T, Self : Base<T, Self>>(val t: T, val f: Self.() -> Unit)
// A继承时指定Self为A自身
class A(data: Data, f: A.() -> Unit) : Base<Data, A>(data, f)

这种方式既保证了类型安全，又能让你在f函数中使用A类的专属成员。

如果无法修改Base类的定义，也可以通过类型转换（不推荐，存在安全风险）临时解决，但仅当你能确保Base内部调用f时，this一定是A的实例：

data class Data(val s: String)
sealed class Base<T>(val t: T, val f: Base<T>.() -> Unit)
class A(data: Data, f: A.() -> Unit) : Base<Data>(data, f as Base<Data>.() -> Unit)

注意：类型转换的方式会绕过Kotlin的类型检查，若后续Base类的逻辑发生变化，可能导致运行时异常，谨慎使用。

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