Java泛型父类改造后，如何让Kotlin无需显式传类型即可继承？

场景描述 #

原本的Java基类：

class BaseActivity extends Activity { ... }

将其修改为泛型版本后：

class BaseActivity<T extends BaseActivity<T>> { ... }

在Java环境中，现有子类无需修改代码，直接继承即可：

class HomeActivity extends BaseActivity { ... }

仅会收到「Raw use of parameterized class 'BaseActivity'」的警告，但不影响正常运行。

但在Kotlin中，必须显式指定泛型类型参数：

class HomeActivity : BaseActivity<HomeActivity>() { ... }

否则会触发错误：「One type argument expected for class BaseActivity<T : BaseActivity<*>!>」。

解决方案 #

有两种可行方式实现Kotlin子类无需显式指定类型即可继承：

方案1：给泛型基类添加默认类型参数（适用于Kotlin定义的BaseActivity） #

修改BaseActivity的泛型定义，为类型参数指定默认值：

open class BaseActivity<T : BaseActivity<T> = BaseActivity<*>>() : Activity() { ... }

之后Kotlin子类就可以直接继承，无需指定类型：

class HomeActivity : BaseActivity() { ... }

方案2：新增非泛型中间基类（适用于Java定义的BaseActivity） #

在Java中新增一个非泛型的中间类，作为原有BaseActivity的子类：

class NonGenericBaseActivity extends BaseActivity<NonGenericBaseActivity> {
    // 复用BaseActivity的所有逻辑，无需额外实现
}

然后Kotlin子类直接继承这个中间类即可：

class HomeActivity : NonGenericBaseActivity() { ... }

这种方式无需修改原有泛型BaseActivity的定义，也能兼容Java环境下的旧子类代码。

内容的提问来源于stack exchange，提问作者Николай Костин