月度归档:2014年02月

匿名类型的语法

参考自
http://hongjiang.info/scala-type-system-structural-type/
http://hongjiang.info/scala-type-system-compund-type/

trait T1
trait T2
type X = T1 with T2 {def f(i: Int): Int}

X 即是组合了三种定义的类型,最后的 {def f(i: Int): Int} 一定要放在最后面,创建的时候也一样

new T1 with T2 {def f(i: Int): Int = i + 100}
class A extends T1 with T2
可以理解为
class A extends (T1 with T2)