科特林泛型：科特林不承认我的类继承正确

Question

这是我简单的例子：

interface IMyView 

interface IMyViewModel<VIEW : IMyView, in ITEM> { 

    fun attachView(view: VIEW) 

    fun getView(): VIEW? 
} 


class myView : IMyView 

class MyViewModel : IMyViewModel<myView, String> { 
    override fun attachView(view: myView) { 
     TODO("not implemented") 
    } 

    override fun getView(): myView? { 
     TODO("not implemented") 
    } 
} 


abstract class MyBaseClass<VIEWMODEL : IMyViewModel<out IMyView, *>> : IMyView { 

    protected lateinit var viewModel: VIEWMODEL 

    fun myInvocation(): Unit { 
     viewModel.attachView(this as IMyView) 
    } 
} 

class MyMainClass : MyBaseClass<MyViewModel>() 

的问题是最后一行，因为MyViewModel未被识别为IMyViewModel。错误消息如下：

Type argument is not within its bounds. 
Expected: IMyViewModel<IMyView, *> 
Found: MyViewModel 

在Java中它工作。我必须适应什么才能让它在Kotlin中也可行？

******更新******

如果使用

abstract class MyBaseClass<VIEWMODEL : IMyViewModel<out IMyView, *>> 

（请参见上面的更新科特林代码）

那么我不能叫myInvocation因为那个电话我需要'IMyView'。 因此这是一场灾难。我所做的一切都会导致其他问题。在Java中更容易。

Answer 1

我现在解决了这个问题。我犯了一个概念错误。这里是解决方案：

interface IMyViewModel<VIEW : IMyView, in ITEM> { 

    fun attachView(view: VIEW) 

    fun getView(): VIEW? 
} 


class MyViewModel : IMyViewModel<IMyView, String> { 
    override fun attachView(view: IMyView) { 
     TODO("not implemented") //To change body of created functions use File | Settings | File Templates. 
    } 

    override fun getView(): IMyView? { 
     TODO("not implemented") //To change body of created functions use File | Settings | File Templates. 
    } 
} 


abstract class MyBaseClass<VIEWMODEL : IMyViewModel<IMyView, *>> : IMyView { 

    protected lateinit var viewModel: VIEWMODEL 

    fun myInvocation(): Unit { 
     viewModel.attachView(this) 
    } 
} 

class MyMainClass : MyBaseClass<MyViewModel>() 

Answer 2

与您的代码的问题是，当你做出一个上限VIEWMODEL : IMyViewModel<IMyView, *>，一种能满足这种约束只有是否实现IMyViewModel与VIEW类型参数与IMyView取代正是，没有IMyView亚型允许（因此MyViewModel被拒绝）。换句话说，VIEW is invariant。

由于科特林让您无论是在声明的网站和使用网站指定类型参数的变化，则可以通过执行下列操作之一解决这个问题：

• 让IMyViewModel协的VIEW类型参数与报关现场方差：

  interface IMyViewModel<out VIEW : IMyView, in ITEM> 
           ^^^ 
  

• 在IMyViewModel使用现场的VIEWMODEL上限添加out -projection：

  abstract class MyBaseClass<VIEWMODEL : IMyViewModel<out IMyView, *>> 
                  ^^^ 
  

• 在IMyViewModel<T, *>添加其他类型的参数T到MyBaseClass并使用它：

  abstract class MyBaseClass<T : IMyView, VIEWMODEL : IMyViewModel<T, *>> 
  class MyMainClass: MyBaseClass<myView, MyViewModel>()