Kotlin：继承接口时无法调用接口方法的问题

看起来你遇到的问题大概率和泛型逆变的使用细节或者代码小笔误有关，我来帮你一步步排查和解决：

先重现你的代码 #

首先把你的代码整理出来方便分析：

import io.reactivex.rxjava3.core.Single

sealed class ScanParameters
data class Type1ScanParameters(val somethingProbably: Unit): ScanParameters()

interface ScannerAdapter<in P> where P : ScanParameters {
    fun scan(scanParameters: P): Single<Boolean>
}

class Type1ScannerAdapter: ScannerAdapter<Type1ScanParameters> {
    override fun scan(printParameters: Type1ScanParameters): Single<Boolean> {
        TODO("not implemented")
    }
}

可能的问题与对应解决方案 #

情况1：方法参数名的笔误（虽不影响覆写，但易引发调用混淆） #

你的实现类Type1ScannerAdapter里，覆写的scan方法参数名写成了printParameters，而接口定义的参数名是scanParameters。虽然Kotlin允许覆写时修改参数名，但如果调用时你下意识用了接口里的参数名，或者自己混淆了变量名，就会导致编译报错。

修正方案：统一参数名即可（也可以保留不同名称，但建议统一提升代码可读性）：

class Type1ScannerAdapter: ScannerAdapter<Type1ScanParameters> {
    override fun scan(scanParameters: Type1ScanParameters): Single<Boolean> {
        TODO("not implemented")
    }
}

情况2：泛型逆变的使用误区 #

你的接口用了in P的逆变声明，这里的核心逻辑是：

• 因为Type1ScanParameters是ScanParameters的子类，所以ScannerAdapter<ScanParameters>是ScannerAdapter<Type1ScanParameters>的子类型。
• 换句话说：你可以把ScannerAdapter<ScanParameters>的实例赋值给ScannerAdapter<Type1ScanParameters>的变量，但反过来绝对不行。

如果你尝试了下面的代码，编译器会直接报错，导致无法调用scan方法：

// 错误！Type1ScannerAdapter是ScannerAdapter<Type1ScanParameters>，不能赋值给ScannerAdapter<ScanParameters>
val adapter: ScannerAdapter<ScanParameters> = Type1ScannerAdapter()
// 这里会报错：因为adapter的scan方法声明接受ScanParameters，但实际实现只接受Type1ScanParameters
adapter.scan(Type1ScanParameters(Unit))

解决方案：根据业务需求二选一

1. 直接使用子类泛型调用：
   如果业务只需要处理Type1ScanParameters，直接用实现类实例调用即可，完全没问题：

   val adapter = Type1ScannerAdapter()
   // 正常调用，无编译错误
   adapter.scan(Type1ScanParameters(Unit))
   

2. 调整接口设计以支持多子类统一调用：
   如果你需要用统一的ScannerAdapter类型处理多种ScanParameters子类，可以去掉泛型逆变，重新设计接口（利用密封类的特性做分支处理）：

   interface ScannerAdapter {
       fun scan(scanParameters: ScanParameters): Single<Boolean>
   }
   
   class Type1ScannerAdapter: ScannerAdapter {
       override fun scan(scanParameters: ScanParameters): Single<Boolean> {
           return when(scanParameters) {
               is Type1ScanParameters -> {
                   // 在这里处理Type1的扫描逻辑
                   Single.just(true)
               }
               // 因为ScanParameters是密封类，编译器会强制你处理所有子类分支
           }
       }
   }
   

其他排查点 #

别忘了检查是否导入了Single类：如果代码里没有import io.reactivex.rxjava3.core.Single，会导致Single<Boolean>类型无法识别，进而引发方法签名不匹配的问题。

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