Scala类型：结构类型

结构类型(Structural Type)

所谓”结构类型“，指的是一组关于抽象方法、字段、类型的规格说明。

结构类型(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; trait X2;

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

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

X1 with X2 { def close():Unit }

表示参数需要符合特质X1和X2同时也要有定义close方法。对于“复合类型”下一篇再介绍。

转载自：http://hongjiang.info/scala/ 推荐大家阅读下这位大哥出版的书《Scala函数式编程》

Scala类型 ： 结构类型

猜你喜欢

Scala类型：结构类型