如何在泛型密封类与接口中对主/子类型T做类型约束转换？

问题根源分析 #

原代码出现「Type mismatch：Required: Nothing? Found: T & Any」错误，核心原因有三点：

• 接口泛型命名冲突且约束不明确：MergeableCollection用Collection作为泛型参数名（与标准库类重名），且未限定泛型参数与实现类的关联，导致merge方法的参数类型无法和实现类对齐。
• 密封类与函数的泛型重复声明：finalCollection函数重新定义了泛型<T: MergeableCollection<*>>，与类级别的泛型T是两个完全独立的类型参数，编译器无法关联两者，进而导致类型推断失败。
• 泛型通配符使用不当：CollectionType的泛型约束用了MergeableCollection<*>，通配符丢失了具体类型信息，使得values的类型无法和standard的类型匹配。

修正方案 #

1. 修正MergeableCollection接口

使用自限定泛型约束，确保实现类的merge方法只能接受自身类型的参数，同时修改泛型参数名避免冲突：

interface MergeableCollection<C : MergeableCollection<C>> {
    fun merge(with: C?)
}

2. 修正密封类CollectionType及其子类

• 类级泛型约束改为T: MergeableCollection<T>，明确T的merge方法接受T类型参数
• 移除finalCollection函数的重复泛型声明，直接使用类级泛型T
• 子类泛型约束与父类保持一致，确保类型统一

修正后的完整代码：

interface MergeableCollection<C : MergeableCollection<C>> {
    fun merge(with: C?)
}

sealed class CollectionType<T : MergeableCollection<T>> {
    class None<T : MergeableCollection<T>> : CollectionType<T>()
    class Standard<T : MergeableCollection<T>> : CollectionType<T>()
    data class Data<T : MergeableCollection<T>>(val values: T?) : CollectionType<T>()

    fun finalCollection(standard: T): T? {
        return when (this) {
            is None -> null
            is Data -> {
                values?.let { standard.merge(it) }
                standard
            }
            is Standard -> standard
        }
    }
}

额外优化说明 #

• 将子类名改为首字母大写（None、Standard、Data），符合Kotlin命名规范
• 使用when表达式替代多个if判断，更符合密封类的使用习惯
• 用let简化空值判断逻辑，代码更简洁

内容的提问来源于stack exchange，提问作者Luc-Olivier