Scala：如何在为 SuperClass 声明的 Map 中插入 SubClass 而不是 Superclass

Question

我需要在已为 SuperClass 声明的 HashMap 中使用子类。 例如：我创建了一个超类和一个子类。 现在我创建一个抽象类 A 和一个扩展 A 的具体类 B。 A 有一个变量 myMap ，声明为 java.util.Map[_ <: Superclass, String] 。在 B 类中，我需要使用 myMap ，但我需要在 myMap 中插入 SubClass 的实例而不是 Superclass。以下是解释的代码

abstract class Superclass {
    def foo(value:String): Boolean
}



class Subclass extends Superclass {
    def foo(value:String) = {
        true // or random boolean expression
    }
}

abstract class A {
    var myMap: java.util.Map[_ <: Superclass, String]
    def addToMap(value:String)
}

class B extends A {
    myMap = new java.util.HashMap[Subclass, String]()

    def addToMap(value:String) { 
        val subclass = new SubClass()
        myMap.put(subclass, value) // getting compilation error here
    }
}

如果我尝试在 myMap 中插入子类实例，我会收到以下错误： 类型不匹配;找到：需要 Subclass.type（具有底层类型 Subclass）：_$2 其中 type _$2 <: superclass>

Answer 1

如果你可以在这里使用SubClass，你将违反里氏替换原则：B 类应该能够做所有可以用A 做的事情，但是在你的例子中，你不能填充 @ 987654324@ 键在其Map 中。

有几种方法可以解决它，例如你可以参数化 A 和 B:

abstract class A[S <: Superclass] {
  var myMap: java.util.Map[S, String]

  def addToMap(value: String)
}

class B extends A[Subclass] {

  var myMap:java.util.Map[Subclass, String] = new java.util.HashMap[Subclass, String]()

  def myMap(map: java.util.Map[Subclass, String]) { myMap = map }

  def addToMap(value: String) {
    val subclass = new Subclass()
    myMap.put(subclass, value)
  }
}

类似的解决方案可以使用抽象类型成员：

abstract class A {

  type S <: Superclass

  var myMap: java.util.Map[S, String]

  def addToMap(value: String)
}

class B extends A {

  type S = Subclass

  var myMap: java.util.Map[Subclass, String] = new java.util.HashMap[Subclass, String]()

  def myMap(map: java.util.Map[Subclass, String]) {
    myMap = map
  }

  def addToMap(value: String) {
    val subclass = new Subclass()
    myMap.put(subclass, value)
  }
} 

我不确定，为什么需要额外的 setter。

一般来说，我认为将var 放在抽象类中并不是一个好主意。实现细节应该像这样泄漏吗？可能不是。即使需要，您真的必须能够替换整个地图吗？如果没有，您可以使用val。或者，您可以使用defs 构建一个用于添加、删除、查询元素的外观，而在A 中完全不提及地图。