Dagger与Kotlin结合时泛型父接口绑定出现类型不兼容报错问题

问题根因 #

两个场景的核心差异是泛型参数的使用位置不同，导致型变规则兼容性完全不同：

1. Mapper接口泛型不可形变，无法跨类型赋值 #

你定义的Mapper<DTO, Entity>两个泛型参数同时出现在方法的入参和返回值位置：

• DTO既是toEntity()的入参，又是toDto()的返回值
• Entity既是toEntity()的返回值，又是toDto()的入参

这种泛型参数既作为输入又作为输出的场景，无法为泛型声明协变(out)或逆变(in)，Mapper属于完全不变的泛型类型。因此Mapper<PersistedIntakeEntry, IntakeEntry>和Mapper<Any, Any>不存在任何继承关系，自然无法直接赋值，Dagger的@Binds要求参数类型是返回类型的子类，所以直接报错。

2. ViewModelFactory泛型符合型变规则，允许兼容赋值 #

你定义的ViewModelFactory三个泛型参数的使用位置单一：

• VM仅作为create()方法的返回值，天然符合协变(out)规则，SetCalorieGoalViewModel是ViewModel的子类，因此ViewModelFactory<SetCalorieGoalViewModel, *, *>可以兼容ViewModelFactory<out ViewModel, *, *>
• SavedState和Parameters仅作为create()方法的入参，天然符合逆变(in)规则，SetCalorieGoalUiState是Any的子类、Nothing是所有类型的子类，因此对应泛型位置可以兼容Any类型的声明

只要你在ViewModelFactory的泛型声明处加了对应的out/in形变，或者Dagger在Java编译阶段识别到通配符兼容，就可以完成赋值，因此不会报错。

解决方案 #

你可以选择以下任意一种方案修复Mapper绑定问题：

方案1：改用@Provides手动强转（改动最小） #

把@Binds改成@Provides，手动做一次类型强转，和你后续get()方法的强转逻辑对应：

@Module
object MapperModule {
    @Provides
    @IntoMap
    @MapperKey(PersistedIntakeEntry::class)
    @ModelMappers
    fun providePersistedIntakeEntryMapper(mapper: PersistedIntakeEntryMapper): Mapper<Any, Any> {
        @Suppress("UNCHECKED_CAST")
        return mapper as Mapper<Any, Any>
    }
}

方案2：使用星投影绑定（更安全） #

用星投影Mapper<*, *>作为绑定类型，星投影是所有Mapper实现的共同父类型，不需要额外强转就可以完成绑定：

@Module
interface MapperModule {
    @Binds
    @IntoMap
    @MapperKey(PersistedIntakeEntry::class)
    @ModelMappers
    fun bindPersistedIntakeEntryMapper(mapper: PersistedIntakeEntryMapper): Mapper<*, *>
}

@Singleton
class MapperFactory @Inject constructor(
    @ModelMappers val mappers: Map<Class<out Any>, @JvmSuppressWildcards Provider<Mapper<*, *>>>,
) {
    @Suppress("UNCHECKED_CAST")
    inline fun <reified DTO: Any, Entity> get(): Mapper<DTO, Entity>? {
        return mappers[DTO::class.java]?.get() as? Mapper<DTO, Entity>
    }
}

内容的提问来源于stack exchange，提问作者Dominik G.