Scala中的类类型参数。

时间:2017-03-21 16:05:18

标签: scala generic-variance

我在编写一些非常简单的内容时遇到了困难,但我似乎无法正确理解语法。

我有食物的类层次结构:

Food :> Vegetable :> Bamboo

对于动物:

Animal :> Herbivore :> Panda

而我正试图在动物中定义一种吃法,这样熊猫一般不会吃蔬菜,只能吃竹子。目前,我的代码如下所示:

class Food(val name : String)
class Vegetable(name: String) extends Food(name)
class Bamboo extends Vegetable("bamboo")

class Animal[F <: Food](val name : String) {
    def eat[T <: F](f : T) = println(s"$name eats some yummy ${f.name}")
}
class Herbivore[F <: Vegetable](name :String) extends Animal[Vegetable](name)
class Panda extends Herbivore[Bamboo]("panda")

我的麻烦是,当我制作蔬菜时,熊猫可以吃它:

(new Panda) eat (new Vegetable("potato"))

所以出了点问题:(

非常欢迎任何帮助:)

1 个答案:

答案 0 :(得分:8)

您需要更改:

class Herbivore[F <: Vegetable](name :String) extends Animal[F](name)

为:

{{1}}

否则,您不会使用F。

丢弃类型信息