首页 文章

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

提问于
浏览 次
5

我正在阅读“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的类型明确定义：动物

scala types path-dependent-type

3 回答

  • 10

    这是因为 bessie 被声明为 Animal 而不是 Cow . bessie.SuitableFood 是"path-dependent type"（见下文） .

    试试这个：

    val clarabelle: Cow = new Cow

clarabelle eat (new Grass)

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

    由于 bessie 被声明 Animal ，而不是 Cow ，编译器无法安全地推断出 bessie.SuitableFood = Grass . *当您说 new bessie.SuitableFood 时，编译器会生成代码以查看实际的 bessie 对象并生成相应类型的新实例 . bessie.SuitableFood 是"path-dependent type"：导致最后一个标识符（ SuitableFood ）的“path”（ bessie. 部分）实际上是该类型的一部分 . 这使您可以为同一个类的每个单独对象提供类型的自定义版本 .

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

    回复于
  • 1

    关于你问题的第二部分：它没有 . Animal 没有指定它的食物是 Food ，而是 Food 的某些子类型 . 编译器会接受这个，像你的例子那样的代码会编译，而且是错误的 . 编译器不知道必要的子类型是 Grass （这就是为什么 eat(new Grass) 不会吃掉它并且对它持谨慎态度 .

    回复于
  • 1

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

    回复于

相关问题