Scala特质中能否多次重赋值this？自我类型使用报错咨询

错误原因 #

你这段代码编译失败的核心问题是：Scala规定一个特质只能声明一次自我类型约束，不能像这样分开写两次this: X =>。这种写法违反语法规则，因此编译器报出';' expected but '=>' found的错误。

修正后的代码 #

要同时依赖Account和Profile两个类型，需要把它们合并到同一个自我类型声明里，用with连接：

trait DepositAccount {
    this : Account with Profile =>
    def print(): Unit = {
        println(s"Balance: $getBalance")
    }

    def printName(): Unit = {
        println(s"Name: $getName")
    }
}

自我类型的底层原理 #

• 自我类型本质是给特质内部的this变量添加类型约束，确保混入该特质的类（或其他特质）必须实现指定类型，相当于编译期的依赖检查机制。
• 当你声明this: Account =>时，编译器会将特质内的this类型从默认的DepositAccount细化为Account，因此你可以直接调用Account的getBalance方法。但多次声明会打乱编译器的类型推导逻辑，所以语法上不允许。
• 和继承（extends）不同，自我类型是"依赖于"的关系，而非"是一个"的关系，能更灵活地实现跨特质的成员访问，避免继承层级的臃肿。

注意事项 #

• 多个类型约束必须合并在同一个自我类型声明中，用with串联。
• 自我类型声明通常要放在特质体的最顶部，在任何方法、字段定义之前，确保编译器先处理类型约束。

内容的提问来源于stack exchange，提问作者Philip George