需要澄清Scala方差和类型边界

发布时间：2020-12-16 10:03:14 所属栏目：安全来源：网络整理

导读：我有一个 scala特征定义如下： trait AdvertisementDAO[A : Advertisement] extends CrudRepository[A,Integer] {... 我希望能够获得这个DAO的实例,它可以用于Advertisement的子类或基本的Advertisement类本身.我不确定如何达到预期的效果. 这是我尝试过的：

我有一个 scala特征定义如下：

trait AdvertisementDAO[A <: Advertisement] extends CrudRepository[A,Integer] {
...

我希望能够获得这个DAO的实例,它可以用于Advertisement的子类或基本的Advertisement类本身.我不确定如何达到预期的效果.

这是我尝试过的：

@Inject
var advertisementDAO: AdvertisementDAO[+Advertisement] = _

有人可以帮忙吗？

解决方法

看起来您正在尝试将特征的类型参数A定义为广告DAO,作为协变.下面是使用协方差注释的上一个答案的代码示例的变体.

trait Advertisement {}

class AdvertisementImpl extends Advertisement{}

class CrudRepository[+A,B]  {}

trait AdvertisementDAO[+A <: Advertisement] extends CrudRepository[A,Integer] {}

class AdvertisementDAOImpl[+A <: Advertisement] extends AdvertisementDAO[A]{}

class AdvertisementDAOImpl2 extends AdvertisementDAO[AdvertisementImpl]{}

class AdvertisementDAOImpl3 extends AdvertisementDAO[Advertisement]{}

object Tester
{
  def main(args:Array[String]):Unit =
  {
    var advertisementDAO: AdvertisementDAO[Advertisement] = null
    advertisementDAO = new AdvertisementDAOImpl
    advertisementDAO = new AdvertisementDAOImpl2 
    advertisementDAO = new AdvertisementDAOImpl3
  }
}

协变泛型的另一个例子是scala.collection.immutable.List.将泛型(类或特征)C定义为协变意味着C [S]是C [T]的子类型,如果类型S是类型T的子类型.例如,AdvertisementDAO [AdvertisementImpl]是AdvertisementDAO的子类型[Advertisement] ]因为AdvertisementImpl是子类型Advertisement(因为AdvertisementImpl扩展了Advertisement).我发布了一个paper,其中包含许多语言中出现的差异教程(例如Scala,C#,Java). Slides也可用于快速浏览.希望这可以帮助.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!