Question

我有一个通用的特性，如下所示：

trait MyTrait[T] {
  def doSomething(elems: Seq[T])
}

然后我有一个对象工厂，其定义如下：

object MyTraitFactory {
  def apply[T](param1: Boolean, param2: Boolean): MyTrait[T] = {
    // based on the type of T, I would like to instantiate sub types
  }
}

我已经有了具体的实现，例如：

class MyStringTrait extends MyTrait[String]

class MyIntTrait extends MyTrait[Int]

我现在需要那个在我的对象工厂中寻找类型并实例化相应实现的魔术位。有什么建议吗？

Answer 1

这可以使用隐式类型类在scala中解决。使用针对每种类型的具体实现创建工厂特征：

object MyTraitFactory {

  def apply[T](param1: Boolean, param2: Boolean)(implicit factory: MyTraitCreator[T]): MyTrait[T] = {
    // call the typeclass create method
    factory.create(param1, param2)
  }

  // factory trait
  trait MyTraitCreator[T] {
    def create(param1: Boolean, param2: Boolean): MyTrait[T]
  }

  // provide an implicit factory object for the specific types:
  object MyTraitCreator {

    implicit object MyStringTraitCreator extends MyTraitCreator[String] {
      override def create(param1: Boolean, param2: Boolean): MyTrait[String] = {
        // create the String type here
        new MyStringTrait
      }
    }

    implicit object MyIntTraitCreator extends MyTraitCreator[Int] {
      override def create(param1: Boolean, param2: Boolean): MyTrait[Int] = {
        // create the Int type here
        new MyIntTrait
      }
    }
  }
}

Scala使用隐含参数“隐藏”类型类。但为了实现这一点，您必须确保将隐式工厂对象保留在编译器查找隐含的位置（例如，如上所述的MyTraitCreator的伴随对象）。该模式在没有implicit的情况下也可以正常工作，但随后需要调用者在每次调用时提供具体工厂。

此解决方案包含大量锅炉板代码，但在编译时静态工作，不会遭受类型擦除。它甚至还带有scala中的语法糖：

def apply[T: MyTraitCreator](param1: Boolean, param2: Boolean): MyTrait[T] = {
    // call the typeclass create method
    implicitly[MyTraitCreator[T]].factory.create(param1, param2)
}

Scala从通用类型

1 个答案: