Scala类型:A类不等于T所在的T:类型T = A.

Question

我正在阅读"Scala编程"一书的第20.7节,我想知道为什么这段代码编译时:

class Food
class Fish extends Food
class Grass extends Food

abstract class Animal {
  type SuitableFood <: Food
  def eat(food: SuitableFood)
}


class Cow extends Animal {
  type SuitableFood = Grass
  override def eat(food: Grass) {}
}


val bessy: Animal = new Cow

bessy eat (new bessy.SuitableFood)

此代码没有(其余代码与之前相同,只有最后一行更改):

bessy eat (new Grass)

据我所知,Grass的类型与Cow.SuitableFood相同.

另外,我对此示例有另一个问题:

如果bessy是Animal类型,编译器怎么知道它需要一个类型SuitableFood - > Grass而不是类型Food？'因为尝试提供一个新的食物给我一个类型不匹配的编译错误,但类动物需要一个类型食物和bessy的类型明确定义:动物

Answer 1

这是因为bessie声明Animal而不是Cow.bessie.SuitableFood是一种"路径依赖型"(见下文).

试试这个:

val clarabelle: Cow = new Cow

clarabelle eat (new Grass)

这是有效的,因为编译器可以clarabelle.SuitableFood = Grass从clarabelle声明的类型中推断出它.

既然bessie声明了Animal,那么Cow编译器就无法安全地推断出它bessie.SuitableFood = Grass.*当你说时new bessie.SuitableFood,编译器会生成代码来查看实际bessie对象并生成相应类型的新实例.bessie.SuitableFood是一个"路径依赖类型":通向最后一个标识符()的" 路径 "(bessie.部分)SuitableFood实际上是该类型的一部分.这使您可以为同一个类的每个单独对象提供类型的自定义版本.

*_{嗯,实际上,我认为如果编译器更聪明一些,它可以推断出bessie.SuitableFood = Grass,因为它bessie是a val,而不是a var,因此不会改变它的类型.换句话说,编译器应该知道即使bessie被声明Animal,她也是真的Cow.也许编译器的未来版本将利用这些知识,也许有一个很好的理由为什么这不是一个好主意,哪个人比我更专业的人会告诉我们.(后记:一个刚做过!见下面Travis Brown的评论.)}