Scala 中通用策略模式的类型推断

Question

我想完成什么

我想利用策略模式，而策略类具有类型参数。

代码是什么样子的

假设我有以下通用抽象策略类：

abstract class Strategy[T, V]() {
    def doSomething(x: Int): V
    def unDoSomething(x: V): T
}

我现在得出两个具体的策略：

class StrategyOne() extends Strategy[Int, String] {
    def doSomething(x: Int): String = { x.toString() }
    def unDoSomething(x: String): Int = { x.toInt }
}


class StrategyTwo() extends Strategy[Double, List[Int]] {
    def doSomething(x: Int): List[Int] = { List(x, 10, 20)}
    def unDoSomething(x: List[Int]): Double= { x.reduceLeft(_ + _) + 0.1 }
}

现在，我们有一个使用该策略的类：

class Worker[T, V](strategy: Strategy[T, V]) { 
    def run() {
        val res = strategy.doSomething(5) //res is a T
        val res2 = strategy.unDoSomething(res) //res2 is a V
        println(res2)
    }

}

正如预期的那样，我现在能够实例化没有显式类型的新工作人员：

val worker1 = new Worker(new StrategyOne())
val worker2 = new Worker(new StrategyTwo())

问题

不过，我也想利用某种动态策略选择，像这样：

val strategies = Map("one" -> new StrategyOne(), "two" -> new StrategyTwo())
val worker = new Worker(strategies(args(0)))

自然地，编译器告诉我，我想要的是不可能的，因为无法推断出任何类型。

问题

我知道这个星座很不幸，但我需要Worker 中的T 和V 类型。 是否有可能使这种模式适用于这种特定情况？

Answer 1

在这里，抽象类型成员应该比类型参数更能帮助您。确实，您最想绕过Strategys 而不关心它们的两种类型（包括将它们放在地图中）。在某一时刻（在 Worker 中），您需要这些类型。

所以我建议如下（在此模型中，您可能应该为 V 和 T 提供更具描述性的名称，但我无法弄清楚它们的含义，所以我保留了它们）：

abstract class Strategy {
  type T
  type V

  def doSomething(x: Int): V
  def unDoSomething(x: V): T
}

class StrategyOne extends Strategy {
  type T = Int
  type V = String
  def doSomething(x: Int): String = {...}
  def unDoSomething(x: String): Int = {...}
}

class StrategyTwo extends Strategy {
  type T = Double
  type V = List[Int]
  def doSomething(x: Int): List[Int] = {...}
  def unDoSomething(x: List[Int]): Double= {...}
}

class Worker(strategy: Strategy) { 
  def run(): Unit = {
    val res = strategy.doSomething(5) //res is a strategy.T
    val res2 = strategy.unDoSomething(res) //res2 is a strategy.V
    println(res2)
  }
}

在这种情况下，推断res 和res2 的类型。但是如果您需要写下它们的类型，它们是 strategy.T 和 strategy.V，正如我在 cmets 中所写的（路径相关类型，如果您想在 Google 上搜索这个概念）。

您仍然可以轻松制定策略：

val worker1 = new Worker(new StrategyOne)
val worker2 = new Worker(new StrategyTwo)

现在你也可以这样做了：

val strategies = Map("one" -> new StrategyOne, "two" -> new StrategyTwo)
val worker = new Worker(strategies(args(0)))

如您所愿。它会很好地进行类型检查。