package com.parllay.scala.type_parameterizitor

/**

* Created by richard on 15-8-7.

* 第53讲：Scala中结构类型实战详解

*/

class Structural { def open() =print("A class instance Opened")}

object Structural_Type {

def main (args: Array[String]) {

init(new { def open() = println("Opened")})

type X = { def open():Unit }

def init(res:X) = res.open

init(new { def open()=println("Opened again")})

object A { def open() {println("A single object opened")}}

init(A)

val structural = new Structural

init(structural)

}

def init( res: {def open(): Unit}): Unit ={

res.open

}

}

/**

* 结构类型(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方法

*/