Scala结构类型与复合类型解析-优快云博客

本文介绍了Scala中的结构类型和复合类型的使用方法。通过实例展示了如何定义和使用结构类型来指定参数的行为，以及如何通过复合类型来组合多个特质，限制参数必须具备多种特质的行为。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

结构类型：定义方法或者表达式时，要求传参具有某种行为，但又不想使用类，或者接口去限制，可以使用结构类型。

点击(此处)折叠或打开

class Structural { def open()=print("A class instance Opened") }
object Structural__Type {
def main(args: Array[String]){
init(new { def open()=println("Opened") }) //创建了一个匿名对象，实现open方法
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")} } //创建的单例对象里面也必须实现open方法
init(A)
val structural = new Structural
init(structural)
}
def init( res: {def open():Unit} ) { //要求传进来的res对象具有open方法，不限制类型
res.open
}
}

Scala复合类型解析：

点击(此处)折叠或打开

trait Compound_Type1;
trait Compound_Type2;
class Compound_Type extends Compound_Type1 with Compound_Type2
object Compound_Type {
def compound_Type(x: Compound_Type1 with Compound_Type2) = {println("Compound Type in global method")} //限制参数x即是Type1的类型，也是Type2的类型
def main(args: Array[String]) {
compound_Type(new Compound_Type1 with Compound_Type2) //匿名方式，结果：Compound Type in global method
object compound_Type_oject extends Compound_Type1 with Compound_Type2 //object继承方式，trait混入object对象中
compound_Type(compound_Type_oject) //结果都一样，Compound Type in global method
type compound_Type_Alias = Compound_Type1 with Compound_Type2 //定义一个type别名
def compound_Type_Local(x:compound_Type_Alias) = println("Compound Type in local method") //使用type别名进行限制
val compound_Type_Class = new Compound_Type
compound_Type_Local(compound_Type_Class) //结果：Compound Type in local method
type Scala = Compound_Type1 with Compound_Type2 { def init():Unit } //type别名限制即是Type1，也是Type2，同时还要实现init方法
}
}