Scala 3中Refinement Type与Anonymous Subclass的区别是什么？

先从《Programming in Scala Fifth Edition》里的官方定义说起：

Anonymous Class（匿名类） #

匿名类是Scala编译器从new表达式生成的合成子类，该表达式中类或 trait 名称后紧跟花括号。花括号包含匿名子类的主体，可为空。但如果new后的名称指向包含抽象成员的 trait 或类，则必须在定义匿名子类主体的花括号内实现这些抽象成员。

Refinement Type（细化类型） #

细化类型是通过在基类型后添加花括号并在其中定义若干成员形成的类型。花括号内的成员会细化基类型中已存在的类型。例如，“食草动物”的类型为Animal { type SuitableFood = Grass }。

问题：Refinement type与Anonymous class的区别是什么？能否通过简单示例进行说明？ #

你的理解已经抓准了核心，咱们再把这个区别拆解得更清晰：

核心差异

• 本质定位不同：

  • 匿名类是具体的对象实例：当你写new A { type T = String }时，编译器会在后台悄悄生成一个A的匿名子类，紧接着就创建这个子类的对象，o1就是这个实例的引用——它是实实在在的内存里的对象。
  • 细化类型是类型约束描述：A { type T = String }只是定义了一类对象的类型标准："所有继承自A，并且把type T设定为String的对象"。它本身不创建任何实例，只是用来给变量、方法参数/返回值设定更严格的类型要求。

• 使用场景不同：

  • 匿名类适合快速创建一次性使用的实例，同时补全抽象成员的实现，不用专门去定义一个命名子类。
  • 细化类型适合精确约束类型特征，比如你需要限定某个变量必须是A的子类且满足特定成员定义，或者给方法返回值设定更具体的类型边界。

结合你的代码示例分析

abstract class A:
  type T

// 匿名类：直接生成A的匿名子类，并创建该子类的实例，o1指向这个实例
var o1 = new A { type T = String }

// 细化类型：o2的类型被限定为"A且type T为String"，这里只是声明类型，没有创建实例
var o2: A { type T = String } = null

o1 = o2 // 合法：o2的类型符合o1的实例类型（属于A的子类型且T为String）
o2 = o1 // 合法：o1的实例完全满足o2的细化类型约束

你说的"Refinement type是创建新类型的便捷方式，而Anonymous class会隐式地完成这一操作"非常准确——匿名类在生成子类的同时，其实也隐式对应了一个细化类型（这个子类的类型就是A { type T = String }），所以两者才能互相赋值。但细化类型本身只是类型定义，不涉及实例创建，而匿名类直接落地为可使用的对象。

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