Scala 类型系统:结构类型

结构类型(structural type)为静态语言增加了部分动态特性,使得参数类型不再拘泥于某个已命名的类型,只要参数中包含结构中声明的方法或值即可。举例来说,java里对所有定义了close方法的抽象了一个Closable接口,然后再用Closable类型约束参数,而scala里可以不要求参数必须继承自Closable接口只需要包含close方法;如下:

scala> def free(res: {def close():Unit}) { res.close }

scala> free(new { def close()=println("closed") })
closed

也可以通过type在定义类型时,将其声明为结构类型

scala> type X = { def close():Unit }
defined type alias X

scala> def free(res:X) = res.close

scala> free(new { def close()=println("closed") })
closed

上面传入参数时,都是传入一个实现close方法的匿名类,如果某个类/单例中实现了close方法,也可以直接传入

scala> object A { def close()={println("A closed")} }
scala> free(A)
A closed

scala> class R { def close()=print("ok") }
scala> val r = new R
scala> free(r)
ok

结构类型还可以用在稍微复杂一点的“复合类型”中,比如:

scala> trait X1
scala> trait X2
scala> def test(x: X1 with X2 { def close():Unit } ) = x.close

上面声明test方法参数的类型为:

X1 with X2 { def close():Unit }

表示参数需要符合特质X1和X2同时也要有定义close方法。

From: scala类型系统:5) 结构类型


- - - - - - - - End Thank For Your Reading - - - - - - - -