结构类型(Structural Type)
所谓”结构类型“,指的是一组关于抽象方法、字段、类型的规格说明。
结构类型为静态语言增加了部分动态特性,使得参数类型不再拘泥某个已命名的类型。只要参数中包含结构中声明的方法或值即可。
举例来说,Java里的接口Closeable(只有一个抽象方法close())-对所有定义了close方法的抽象;我们就可以Closeable类型约束参数。在Scala中,可以不要求参数必须继承或者实现Closeable,只要包含close方法:
def free (res: { def close(): Unit }) = { res.close() }
free(new { def close() = print("close") })
也可通过 type 在定义类型时,将其声明为结构类型:
type Closeable = { def close(): Unit }
def free (res: Closeable) = { res.close() }
free(new { def close() = print("close") })
结构类型在复杂一点的”复合类型“中:
def free (res: Person with Student { def close(): Unit }) = { res.close() }
free(new Student { def close () = print("close") })