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; trait X2;
 
scala> def test(x: X1 with X2 { def close():Unit } ) = x.close

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

X1 with X2 { def close():Unit }

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