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 - ＆gt;草而不是一种食物？＆＃39;因为尝试提供一个新的食物给我一个类型不匹配的编译错误，但类动物需要一个类型食物和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.）的“path”（SuitableFood部分）实际上是该类型的一部分。这使您可以为同一类的每个单独对象提供类型的自定义版本。

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

Answer 2

关于你问题的第二部分：它没有。 Animal并未指定其食物为Food，而是Food的某些子类型。编译器会接受这个，像你的例子那样的代码会编译，而且是错误的。编译器不知道必要的子类型是Grass（这就是为什么eat(new Grass)也不起作用的原因），它只知道你的奶牛不能吃一些食物而且要谨慎它

Answer 3

我相信bessy eat (new bessy.SuitableFood)编译是一个错误（在2.11中修复）。因为Animal的另一个子类型可能有SuitableFood new没有意义，例如type SuitableFood = Food甚至type SuitableFood = Food with Int（Food with Int是Food非常好的子类型！）。

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

3 个答案: