我在谷歌中搜索了case类和class之间的区别。每个人都提到,当你想在类上做模式匹配时,用例类。否则使用类,并提到一些额外的好处,如等号和哈希代码重写。但是这些就是为什么应该使用case类而不是类的唯一原因吗?
我想在Scala中应该有一些非常重要的原因。有什么解释,或者有资源可以学习更多关于Scala案例类的知识吗?
我在谷歌中搜索了case类和class之间的区别。每个人都提到,当你想在类上做模式匹配时,用例类。否则使用类,并提到一些额外的好处,如等号和哈希代码重写。但是这些就是为什么应该使用case类而不是类的唯一原因吗?
我想在Scala中应该有一些非常重要的原因。有什么解释,或者有资源可以学习更多关于Scala案例类的知识吗?
当前回答
case类是可以与match/case语句一起使用的类。
def isIdentityFun(term: Term): Boolean = term match {
case Fun(x, Var(y)) if x == y => true
case _ => false
}
你可以看到case后面跟着一个Fun类的实例,它的第二个参数是Var。这是一个非常漂亮和强大的语法,但它不能用于任何类的实例,因此对case类有一些限制。如果遵守了这些限制,就可以自动定义hashcode和equals。
模糊的短语“通过模式匹配的递归分解机制”仅仅意味着“它适用于大小写”。(实际上,match后面的实例与case后面的实例进行比较(匹配),Scala必须将它们都分解,并且必须递归地分解它们的组成部分。)
案例类对什么有用?维基百科上关于代数数据类型的文章给出了两个很好的经典例子,列表和树。支持代数数据类型(包括知道如何比较它们)是任何现代函数式语言都必须具备的功能。
哪些案例类是无用的?有些对象有状态,像connection.setConnectTimeout(connectTimeout)这样的代码不是用于case类的。
现在你可以读到Scala指南:Case Classes
其他回答
根据Scala的文档:
Case类只是常规类,它们是: 默认是不可变的 可通过模式匹配进行分解 用结构相等代替参照进行比较 简单的实例化和操作
case关键字的另一个特性是编译器自动为我们生成几个方法,包括Java中熟悉的toString、equals和hashCode方法。
下面列出了case类的一些关键特性
Case类是不可变的。 可以实例化case类而不需要new关键字。 案例类可以根据值进行比较
scala fiddle的示例代码,摘自scala文档。
https://scalafiddle.io/sf/34XEQyE/0
Scala中的case类构造也可以看作是删除一些样板文件的便利工具。
在构造一个case类时,Scala提供了以下内容。
它创建了一个类及其伴生对象 它的伴生对象实现了apply方法,您可以将其用作工厂方法。你不必使用new关键字,从而获得了语法上的优势。
因为类是不可变的,所以你得到了访问器,它只是类的变量(或属性),而没有突变器(因此没有改变变量的能力)。构造函数参数作为公共只读字段自动提供给您。比Java bean构造好用得多。
默认情况下还可以获得hashCode、equals和toString方法,equals方法从结构上比较对象。生成一个复制方法来克隆一个对象(其中一些字段具有提供给该方法的新值)。
正如前面提到的,最大的优点是可以在case类上进行模式匹配。这是因为您获得了unapply方法,该方法允许您分解case类以提取其字段。
实际上,在创建case类(或者case对象,如果你的类不带参数)时,你从Scala得到的是一个作为工厂和提取器的单例对象。
没有人提到case类有val构造函数参数,但这也是常规类的默认值(我认为这是Scala设计中的不一致)。达里奥暗示了这一点,他指出它们是“不可改变的”。
注意,可以通过在每个构造函数参数前加上var来覆盖默认值。然而,使case类可变会导致它们的equals和hashCode方法是时变的
sepp2k已经提到case类自动生成equals和hashCode方法。
同样没有人提到case类会自动创建一个与类同名的伴生对象,其中包含apply和unapply方法。apply方法允许在不使用new前置的情况下构造实例。unapply提取器方法启用了其他人提到的模式匹配。
此外,编译器还优化了大小写类[2]的匹配大小写模式匹配速度。
案例类很酷
[2]案例类和提取器,第15页。
没有人提到case类也是Product的实例,因此继承了这些方法:
def productElement(n: Int): Any
def productArity: Int
def productIterator: Iterator[Any]
其中productArity返回类参数的个数,productElement(i)返回第i个参数,productIterator允许遍历它们。