至于这不起作用的原因，那是因为您继承自相同的接口，只是类型参数不同.而你不能做that的原因解释了here.

Composition

当继承不起作用时，我们可以try 组合.(另见:"Prefer Composition Over Inheritance")

与其让ITestSet和OTestSet继承TestAdder，这是"从相同接口继承，但类型参数不同"问题的根本原因，不如将类型TestAdder的仅获取属性添加到ITestSet、OTestSet和IOTestSet.

那么IOTestSet人将能够继承ITestSet和OTestSet.完整代码如下:

// I have added variance modifiers where appropriate
interface ITest<in I> {
    operator fun invoke(p: I)
}

interface OTest<out O> {
    operator fun invoke(): O
}

interface IOTest<in I, out O> {
    operator fun invoke(p: I): O
}

interface TestAdder<in T> {
    fun add_f(p: T) {}  //default impl
}

interface ITestSet<I> {
    val i_v: I
    val inputAdder: TestAdder<ITest<I>>
    fun i_f1(p: I) {}  // default impl
    fun i_f2(p: I) {}  // default impl
    fun i_f3(p: I) {}  // default impl
}

interface OTestSet<O> : TestAdder<OTest<O>> {
    val o_v: O
    val outputAdder: TestAdder<OTest<O>>
    fun o_f1(p: O) {}  // default impl
    fun o_f2(p: O) {}  // default impl
    fun o_f3(p: O) {}  // default impl
}

interface IOTestSet<I, O> : ITestSet<I>, OTestSet<O> {
    val ioAdder: TestAdder<IOTest<I, O>>
    fun io_f1(p: I): O
}

Implementing the interfaces

在我看来，您仍然可以像以前一样实现这组新的接口--例如，要实现ITestSet<String>，您只需:

class Foo: ITestSet<String> {
    override val i_v: String = "Some String"
    override val inputAdder = object: TestAdder<ITest<String>> {
        // implementation goes here...
    }
}

请注意，可以为inputAdder提供默认实现:

interface ITestSet<I> {
    val i_v: I
    val inputAdder: TestAdder<ITest<I>> get() = object: TestAdder<ITest<I>> {
        // implement your thing here...
    }
    ...
}

但这会在您每次访问inputAdder时重新创建对象，这可能不是您想要的语义.

这给我带来了这个设计与您的原始设计的另一个不同之处:您允许实现以他们喜欢的任何方式实现inputAdder、outputAdder和ioAdder.这意味着它们的实现不一定是这样的，例如，每个ITestSet总是具有same inputAdder，就像在原始设计中一样，其中每个ITestSet的"inputAdder"始终是itself.当然，如果您完全控制代码，这不是问题.