Scala 与实例混合

Question

我想知道是否可以将 Scala 特征与实例混合以创建匿名实例。

基本上我会做这样的事情

trait Duck {
 def walk : Unit
}

def learnToDuckWalk[A](a : A) : A with Duck = a with Duck {
 def walk = print("flic flak floc")
}

这个想法是创建一个新类型，而不必定义一个扩展 2 种类型的全新类。 因为为每种类型定义一个新类可能会导致类数量呈指数级增长，每次我们向 mixin 添加新的 Trait 时都会增长。

我在 ZIO.Has 中很少看到类似这样的东西，但我想知道它是否适用于纯 Scala 2 甚至 Scala 3。

Answer 1

你真的需要一个通用参数A，还是只是为了举例？如果你有一个具体的类型而不是A，那么你可以创建一个混合了这两个特征的实例：

trait Duck {
  def walk: Unit
}

trait Goose {
  def run: Unit
}

def learnToDuckWalk: Goose with Duck = new Goose with Duck {
  def run = println("tip tap top")
  def walk = println("flic flak floc")
}

learnToDuckWalk.walk
learnToDuckWalk.run

但是，拥有一个通用的 A 和“附加”一些额外的特征并不是一个好的设计，即使你设法实现它（例如使用反射）。

更好的方法是，不要说“我有一个与Duck 混合在一起的A”，而是说“我有一个A 有一个Duck 类型的类实例”。

trait Duck [A]{
  def walk : Unit
}

object Duck {

  implicit val duckString = new Duck[String] {
    def walk = print("Stringy flic flak floc")
  }

  implicit val duckInt = new Duck[Int] {
    def walk = print("Inty flic flak floc")
  }

  ...

  implicit def duckA[A] = new Duck[A] {
    def walk = print("Generic flic flak floc")
  }
}

通过这种方式，您可以为您想要的任何类型提供类型类实例，并且您可以让它们根据实际类型表现出不同的行为（请参阅walk 如何为每种类型打印不同的消息）。

那么你的使用站点可以是这样的：

import Duck._

def learnToDuckWalk[A : Duck](a : A) = {
  val aDuck = implicitly[Duck[A]]
  aDuck.walk // prints Stringy flic flak floc
}

learnToDuckWalk("Some string")

这里的重要部分是[A : Duck] 类型，这意味着“任何A 存在Duck 类型的类实例”。