Scala 3中如何在特质T中要求实现类必须包含copy方法？

要让特质T强制其实现类具备case类自动生成的、返回自身类型的copy方法，可以结合Scala 3的F-bounded泛型和产品类型约束来实现：

实现方案 #

利用Scala 3的requires子句约束实现类必须是产品类型（case类属于产品类型），而产品类型天然会生成返回自身类型的copy方法。同时通过F-bounded泛型确保返回类型严格为实现类本身。

代码示例 #

import scala.deriving.Mirror

// 定义特质：约束实现类为产品类型，且返回自身类型
trait T[A <: T[A]] requires Mirror.ProductOf[A]:
  self: A =>

验证效果 #

1. case类继承特质：完全符合要求，自动生成的copy方法返回自身类型

case class User(name: String, age: Int) extends T[User]

// 调用copy返回User类型
val alice = User("Alice", 30)
val bob = alice.copy(name = "Bob") // bob: User = User(Bob,30)

2. 非case类继承特质：编译报错，因为不符合产品类型约束

// 编译失败：无法满足requires Mirror.ProductOf[Person]的约束
class Person(name: String) extends T[Person]

手动实现非case类的copy方法 #

如果需要让非case类继承T，必须手动实现返回自身类型的copy方法，同时满足产品类型约束（可以通过实现Mirror.Product来达成，但通常不建议，直接用case类更简洁）：

// 手动实现产品类型和copy方法的非case类
class ProductPerson(val name: String) extends T[ProductPerson]
object ProductPerson:
  given Mirror.ProductOf[ProductPerson] with
    type MirroredElemTypes = Tuple1[String]
    type MirroredElemLabels = Tuple1["name"]
    type MirroredType = ProductPerson
    type MirroredMonoType = ProductPerson
    def fromProduct(p: Product): ProductPerson = new ProductPerson(p.productElement(0).asInstanceOf[String])

// 手动实现copy方法
extension (p: ProductPerson)
  def copy(name: String = p.name): ProductPerson = new ProductPerson(name)

// 测试
val charlie = ProductPerson("Charlie")
val dave = charlie.copy(name = "Dave") // dave: ProductPerson = ProductPerson@...

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