了解Scala中的“类型”关键字的作用


144

我是Scala的新手,我真的找不到很多关于该type关键字的信息。我试图了解以下表达式的含义:

type FunctorType = (LocalDate, HolidayCalendar, Int, Boolean) => LocalDate

FunctorType 是某种别名,但是它表示什么呢?

Answers:


148

是的,类型别名 FunctorType只是的简写

(LocalDate, HolidayCalendar, Int, Boolean) => LocalDate

类型别名通常用于使其余代码保持简单:现在,您可以编写

def doSomeThing(f: FunctorType)

编译器将其解释为

def doSomeThing(f: (LocalDate, HolidayCalendar, Int, Boolean) => LocalDate)

例如,这有助于避免定义许多自定义类型,这些自定义类型仅仅是元组或在其他类型上定义的函数。

还有其他一些有趣的用例type,例如本章Scala编程》中所述


198

实际上type,Scala中的关键字不仅可以将复杂的类型别名为较短的名称,还可以做更多的事情。它介绍了类型成员

如您所知,类可以具有字段成员和方法成员。好吧,Scala还允许类具有类型成员。

type实际上,在您的特定情况下,确实引入了一个别名,使您可以编写更简洁的代码。在执行类型检查时,类型系统仅将别名替换为实际类型。

但是你也可以有这样的东西

trait Base {
  type T

  def method: T
}

class Implementation extends Base {
  type T = Int

  def method: T = 42
}

像类的任何其他成员一样,类型成员也可以是抽象的(您只是不指定其实际值),并且可以在实现中覆盖。

类型成员可以看作是泛型的对偶,因为您可以使用泛型实现的许多事情都可以转换为抽象类型成员。

是的,它们可以用于别名,但不仅限于此,因为它们是Scala类型系统的强大功能。

请查看此出色的答案以获取更多详细信息:

Scala:抽象类型与泛型


44
重要的是要记住,在类内部使用类型会创建类型成员而不是别名。因此,如果只需要类型别名,请在伴随对象中定义它。
吕迪格Klaehn

9

我喜欢Roland Ewald的回答, 因为他用一个非常简单的类型别名用例进行了描述,并且更详细地介绍了一个很好的教程。但是,由于在这篇文章中引入了另一个名为type member的用例,所以我想提到它的最实际的用例,这是我非常喜欢的:(这部分取自此处:)

摘要类型:

type T

上面的T表示将要使用的这种类型尚不清楚,并且将根据具体的子类进行定义。始终了解编程概念的最佳方法是提供一个示例:假设您具有以下情形:

没有类型抽象

在这里,您将得到编译错误,因为Cow和Tiger类中的eat方法不会覆盖Animal类中的eat方法,因为它们的参数类型不同。它是“牛”类的“草”类,“老虎”类的“肉类”与“动物”类的“食物”类,是超类,所有子类都必须符合。

现在回到类型抽象,通过下图并简单地添加类型抽象,您可以根据子类本身定义输入的类型。

与抽象类型

现在看下面的代码:

  val cow1: Cow = new Cow
  val cow2: Cow = new Cow

  cow1 eat new cow1.SuitableFood
  cow2 eat new cow1.SuitableFood

  val tiger: Tiger = new Tiger
  cow1 eat new tiger.SuitableFood // Compiler error

编译器很高兴,我们改进了设计。我们可以用牛喂牛。SuitableFood和编译器阻止我们用适合老虎的食物喂牛。但是,如果我们想区分Cow1适合食品和Cow2吹牛食品的类型,该怎么办?换句话说,在某些情况下,如果我们到达类型(当然是通过对象)的路径确实很重要,那将非常方便。借助scala中的高级功能,可以:

路径相关类型: Scala对象可以将类型作为成员。类型的含义取决于您用于访问它的路径。路径由对对象(即类的实例)的引用确定。为了实现此方案,您需要在Cow内部定义类Grass,即Cow是外部类,Grass是内部类。结构将如下所示:

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

  class Tiger extends Animal {
    class Meat extends Food
    type SuitableFood = Meat
    override def eat(food: this.SuitableFood): Unit = {}
  }

现在,如果您尝试编译此代码:

  1. val cow1: Cow = new Cow
  2. val cow2: Cow = new Cow

  3. cow1 eat new cow1.SuitableFood
  4. cow2 eat new cow1.SuitableFood // compilation error

在第4行,您会看到一个错误,因为Grass现在是Cow的内部类,因此,要创建Grass的实例,我们需要一个cow对象,而该cow对象将确定路径。因此,两个牛对象会产生两个不同的路径。在这种情况下,cow2只想吃专门为其创建的食物。所以:

cow2 eat new cow2.SuitableFood

现在每个人都很高兴:-)


5

只是一个示例,了解如何使用“ type”作为别名:

type Action = () => Unit

上面的定义将Action定义为采用空参数列表并返回Unit的过程(方法)类型的别名。

By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.