如何在 scala 中返回通用特征的子类型？

Question

我正在尝试创建一个工厂模式，返回类型是一个参数化特征，实际返回类型将是该特征的子类型，但我事先不知道泛型类型，所以我不知道如何指定返回类型。简化版本是这样的：

trait Mapper[T] {
    def createMap(a: T, b: T): T
}

class MapperA extends Mapper[String]{
    override def createMap(a: String, b: String): String = {
        a + b
    }
}

class MapperB extends Mapper[Int]{
    override def createMap(a: Int, b: Int): Int = {
        a + b + b + b
    }
}

def factory(typeOfMapper: String): Mapper = {
    typeOfMapper match {
        case "mapperA" => new MapperA()
        case "mapperB" => new MapperB()
    }
}

val mapper = factory("mapperA")

这会给我和错误

特征映射器采用类型参数

，但我事先不知道泛型类型。这里的工厂方法的返回类型应该是什么？

Answer 1

好吧，您可以返回 Mapper[_] ...这将编译，但并不是非常有用，正如评论中指出的：您将无法在任何有意义的方式，因为 create 的实际类型将是未知的。

如果映射器的不同实例始终具有不同的类型参数（至少在同一范围内），那么一个巧妙的解决方案是使用隐式：

object Mapper { 
   implicit def strMapper: Mapper[String] = new MapperA
   implicit def intMapper: Mapper[Int] = new MapperB
}

然后在任何可见的地方，您都可以这样做：

      val m1: Mapper[String] = implicitly[Mapper[String]] 
      val m2: Mapper[Int] = implicitly[Mapper[Int]]

您还可以编写工厂函数（不过，我不确定你为什么想要）像这样：

    def mapperFactory[T: Mapper] = implicitly[Mapper[T]]

并像这样使用它：

     val m: Mapper[String] = mapperFactory

或者像这样

    def intMapper = mapperFactory[Int]   

如果你想要相同类型参数的不同映射器，它基本上是相同的想法，除了它看起来不像整洁无隐含。关键是不同类型的工厂不同：

   class Mapper {
       def str(`type`: String): Mapper[String] = `type` match { 
         case "foo" => FooMapper()
         case "bar" => BarMapper()
       }
       def int(`type`: String): Mapper[Int] = `type` match {
          case "baz" => BazMapper()
          case "bak" => BakMapper()
       }
   }

   val fooMapper = Mapper.str("foo")
   val bakMapper = Mapper.int("bak")