Answers:
是的,类型别名 FunctorType
只是的简写
(LocalDate, HolidayCalendar, Int, Boolean) => LocalDate
类型别名通常用于使其余代码保持简单:现在,您可以编写
def doSomeThing(f: FunctorType)
编译器将其解释为
def doSomeThing(f: (LocalDate, HolidayCalendar, Int, Boolean) => LocalDate)
例如,这有助于避免定义许多自定义类型,这些自定义类型仅仅是元组或在其他类型上定义的函数。
还有其他一些有趣的用例type
,例如本章《Scala编程》中所述。
实际上type
,Scala中的关键字不仅可以将复杂的类型别名为较短的名称,还可以做更多的事情。它介绍了类型成员。
如您所知,类可以具有字段成员和方法成员。好吧,Scala还允许类具有类型成员。
type
实际上,在您的特定情况下,确实引入了一个别名,使您可以编写更简洁的代码。在执行类型检查时,类型系统仅将别名替换为实际类型。
但是你也可以有这样的东西
trait Base {
type T
def method: T
}
class Implementation extends Base {
type T = Int
def method: T = 42
}
像类的任何其他成员一样,类型成员也可以是抽象的(您只是不指定其实际值),并且可以在实现中覆盖。
类型成员可以看作是泛型的对偶,因为您可以使用泛型实现的许多事情都可以转换为抽象类型成员。
是的,它们可以用于别名,但不仅限于此,因为它们是Scala类型系统的强大功能。
请查看此出色的答案以获取更多详细信息:
我喜欢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
现在每个人都很高兴:-)