Scala3中的结构性类型深度解析-CSDN博客

本文链接：https://blog.csdn.net/gitblog_01052/article/details/148487923

Scala3中的结构性类型深度解析

scala3 The Scala 3 compiler, also known as Dotty. 项目地址: https://gitcode.com/gh_mirrors/sc/scala3

什么是结构性类型

结构性类型（Structural Types）是Scala语言中一种独特的类型系统特性，它允许我们基于类型的结构而非名称来定义类型约束。简单来说，如果一个类型包含了我们需要的成员（字段或方法），那么它就符合结构性类型的定义，而不需要显式地继承某个接口。

语法结构

Scala3中结构性类型的语法定义如下：

SimpleType    ::= ... | Refinement
Refinement    ::= ‘{’ RefineStatSeq ‘}’
RefineStatSeq ::=  RefineStat {semi RefineStat}
RefineStat    ::= ‘val’ VarDcl | ‘def’ DefDcl | ‘type’ {nl} TypeDcl

这种语法允许我们在类型后面通过花括号{}来添加结构性的细化（refinement），定义所需的成员。

实现机制

Scala3通过scala.Selectable特质来实现结构性类型：

trait Selectable extends Any

标准库中提供了基于Java反射的实现scala.reflect.Selectable，但开发者也可以为不支持反射的平台提供其他实现。

核心方法

Selectable的实现需要提供以下一个或两个方法：

selectDynamic - 用于字段访问：

def selectDynamic(name: String): T

applyDynamic - 用于方法调用，有两种形式：

def applyDynamic(name: String)(args: Any*): T
def applyDynamic(name: String, ctags: Class[?]*)(args: Any*): T

类型转换规则

编译器会根据访问的成员类型进行不同的转换：

访问值类型成员v.a会被转换为：

v.selectDynamic("a").asInstanceOf[U]

访问方法类型成员v.a(...)会被转换为：

v.applyDynamic("a")(...).asInstanceOf[R]

如果需要参数类型信息，会进一步转换为：

v.applyDynamic("a", classOf[T11], ...)(...).asInstanceOf[R]

使用限制

不支持依赖方法类型：结构性调用无法处理依赖方法类型。
不能引入重载：如果父类型中已有方法m，细化中的m签名必须正确覆盖父类方法。
擦除类型一致性要求：当证明S <: T { def m(x: A): B }时，如果m是结构性成员，则S中m的参数类型A'必须与A有相同的擦除类型。

例如以下代码会报错：
```
class Sink[A] { def put(x: A): Unit = {} }
val a = Sink[String]()
val b: { def put(x: String): Unit } = a  // 错误
```
因为Sink中put的参数擦除类型是Object，而细化要求的是String。
可变变量限制：Scala3的结构性类型中不再允许定义可变变量(var)。

与Scala2的差异

实现机制不同：Scala2完全依赖Java反射，而Scala3引入了Selectable机制。
重载规则不同：Scala2允许在细化中引入重载方法。
可变性支持：Scala2允许在细化中定义var，Scala3不再支持。
类型安全增强：Scala3增加了擦除类型一致性检查，减少了运行时错误。

高级用法

对于确实需要绕过擦除类型检查的场景，可以继承Selectable.WithoutPreciseParameterTypes：

trait MultiMethodSelectable extends Selectable.WithoutPreciseParameterTypes:
  def applyDynamic(name: String, paramTypes: Class[_]*)(args: Any*): Any = ???

class Sink[A] extends MultiMethodSelectable:
  def put(x: A): Unit = {}

val a = new Sink[String]
val b: MultiMethodSelectable { def put(x: String): Unit } = a  // 通过