泛型与继承引发的问题：B2类中A1类型参数冲突如何解决？

这个报错的原因很明确：你的B2类同时继承了B1和A2<String>，但B1实现的是A1<Any>，A2<String>又继承了A1<String>——这就导致A1接口的类型参数在B2里同时被指定为Any和String，Kotlin不允许这种矛盾的类型约束。

下面给你几个可行的解决思路：

思路1：让B1变成泛型类（推荐） #

把B1改成泛型类，不再固定使用Any作为A1的类型参数，这样B2就能指定B1的泛型参数为String，和A2<String>保持一致：

interface A1<T> { fun f1(t: T) }
// 把B1改成泛型类，适配不同的T
class B1<T> : A1<T> { override fun f1(t: T) { } }
interface A2<T: String>: A1<T> { fun f2(t: T) }
// 这里B1的泛型参数指定为String，和A2<String>的T一致
class B2 : B1<String>, A2<String> { 
    override fun f1(t: String) { } 
    override fun f2(t: String) { } 
}

思路2：使用委托模式规避继承冲突 #

如果B1必须保持非泛型（比如不能修改它的代码），可以用Kotlin的委托来实现A2<String>，避免直接继承带来的类型冲突：

interface A1<T> { fun f1(t: T) }
class B1 : A1<Any> { override fun f1(t: Any) { } }
interface A2<T: String>: A1<T> { fun f2(t: T) }

// 先写一个A2的实现类
class A2Impl : A2<String> {
    override fun f1(t: String) { }
    override fun f2(t: String) { }
}

// B2继承B1，同时委托A2Impl来实现A2<String>
class B2 : B1(), A2<String> by A2Impl()

这种方式下，B2对外依然是A2<String>的实现类，但内部通过委托来处理A2的方法，不会和B1的A1<Any>产生冲突。

思路3：手动处理冲突（不推荐） #

如果上面两种方式都不适用，你可以让B2只继承B1，然后手动实现A2<String>的方法，但需要注意f1方法的兼容性——因为B1的f1接收Any，而A2的f1接收String，你需要确保方法签名符合覆盖规则：

interface A1<T> { fun f1(t: T) }
class B1 : A1<Any> { override fun f1(t: Any) { } }
interface A2<T: String>: A1<T> { fun f2(t: String) }

class B2 : B1(), A2<String> {
    // 用@JvmName避免JVM层面的方法签名冲突
    @JvmName("f1String")
    override fun f1(t: String) { }
    override fun f2(t: String) { }
}

不过这种方式会带来额外的复杂度，比如调用时可能需要区分方法，所以一般不推荐。

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