标签:scala
本文简单探讨一下Scala语言Case Class的实现机制
Case Class是Scala语言模式匹配功能的基础。如果定义类的时候加上case关键字,那么它就变成了Case Class,比如下面这个简单的类CC:
case class CC(x: Int, y: Int)那么加上case关键字对于一个类来说,到底意味着什么呢?下文将进行详细的解释。
编译CC,会产生两个class:CC.class和CC$.class。这说明,Scala会给case类自动添加一个单例对象。下面是反编译CC$.class之后的(部分)代码:
public final class CC$ extends scala.runtime.AbstractFunction2 implements scala.Serializable {
public static final CC$ MODULE$;
static {
new CC$();
}
private CC$() {
MODULE$ = this;
}
public Object readResolve() {
return MODULE$;
}
...
}
CC$定义了apply()方法,这样我们就可以不用敲new关键字,而是通过下面这样的方式来创建CC实例:
val cc = CC(2, 16)CC$还定义了一个和apply()互补的方法:unapply(),它把CC拆成一个Option<Tuple>。apply()和unapply()方法的代码如下所示:
public final class CC$ ... {
...
public CC apply(int x, int y) {
return new CC(x, y);
}
public scala.Option<scala.Tuple2<Object, Object>> unapply(CC cc) {
if (cc == null) {
return scala.None$.MODULE$;
}
return new scala.Some(new scala.Tuple2$mcll$sp(cc.x, cc.y))
}
}
Case类的字段,默认会被编译器加上val关键字,也就是说,CC类实际上是下面这样:
case class CC(val x: Int, val y: Int)下面是CC.class反编译之后的相应代码:
public class CC implements scala.Product, scala.Serializable {
private final int x;
private final int y;
public CC(int x, int y) {
this.x = x;
this.y = y;
scala.Product$class.$init$(this);
}
public int x() {
return x;
}
public int y() {
return y;
}
}
Scala编译器负责(根据字段)给Case类重写toString()、hashCode()和equals()方法。
copy()方法让Case类实例可以完整的,或者有少量变化的复制自己。如下面的代码所示:
val cc = CC(1, 2) val cc1 = cc.copy() val cc2 = cc.copy(y = 8) // Named arguments上面的代码去掉语法糖之后,实际上是下面这样:
val cc = CC(1, 2) val cc1 = cc.copy(cc.copy$default$1(), cc.copy$default$2()) val cc2 = cc.copy(cc.copy$default$1(), 8)下面是反编译之后copy()和copy$default$n()方法代码:
public class CC ... {
...
public CC copy(int x, int y) {
return new CC(x, y);
}
public int copy$default$1() {
return x();
}
public int copy$default$2() {
return y();
}
...
}
Case类还实现了scala.Product和scala.Serializable接口(Product和Serializable实际上都是Traits)。
下面是CC.class和CC$.class的完整代码,仅供参考:
public class CC implements scala.Product, scala.Serializable {
private final int x;
private final int y;
public CC(int x, int y) {
this.x = x;
this.y = y;
scala.Product$class.$init$(this);
}
public int x() {
return x;
}
public int y() {
return y;
}
public int hashCode() {...}
public boolean equals(Object) {...}
public String toString() {...}
public boolean canEqual(Object obj) {
return obj instanceof CC;
}
public CC copy(int x, int y) {
return new CC(x, y);
}
public int copy$default$1() {
return x();
}
public int copy$default$2() {
return y();
}
// Product
// def productArity: Int
// def productElement(n: Int): Any
// def productIterator: Iterator[Any]
// def productPrefix = ""
public int productArity() {
return 2;
}
public Object productElement(int n) {
switch (n) {
case 0: return x();
case 1: return y();
default: throw new IndexOutOfBoundsException();
}
}
public scala.collection.Iterator productIterator() {
return scala.runtime.ScalaRunTime$.MODULE$.typedProductIterator(this);
}
public String productPrefix() {
return "CC";
}
public static CC apply(int x, int y) {
return CC$.MODULE$.apply(x, y);
}
public static scals.Option<scala.Tuple2<Object, Object>> unapply(CC cc) {
return CC$.MODULE$.unapply(cc);
}
public scala.Function1 static tupled() {
return CC$.MODULE$.tupled();
}
public scala.Function1 static curried() {
return CC$.MODULE$.curried();
}
}public final class CC$ extends scala.runtime.AbstractFunction2 implements scala.Serializable {
public static final CC$ MODULE$;
static {
new CC$();
}
private CC$() {
MODULE$ = this;
}
public Object readResolve() {
return MODULE$;
}
public String toString() {
return "CC";
}
public CC apply(int x, int y) {
return new CC(x, y);
}
public scala.Option<scala.Tuple2<Object, Object>> unapply(CC cc) {
if (cc == null) {
return scala.None$.MODULE$;
}
return new scala.Some(new scala.Tuple2$mcll$sp(cc.x, cc.y))
}
}
<<Programming in Scala>>第二版
标签:scala
原文地址:http://blog.csdn.net/zxhoo/article/details/40454075