Question

我有一个基类，并从中继承了MString和MInt。

abstract class Base[T](val name:java.lang.String = "") {
    def encode(value:T) : Array[Byte]
}

class MString extends Base[String](name = "string") {
    def encode(value:String) = {
        Array[Byte](10,20)
    }
}

class MInt extends Base[Int](name = "int") {
    def encode(value:Int) = {
        Array[Byte](100,11)
    }
}

我有一个连接类名和它的实例的地图。

val m = Map[String, Base[_]]("string" -> new MString, "int" -> new MInt)

使用此映射，我试图使用字符串作为键来检索对象并调用encode方法。

println(m("string").encode("A"))
println(m("int").encode(10))

但是，我遇到了类型不匹配错误：

error: type mismatch;
 found   : String("A")
 required: _$1 where type _$1
    println(m("string").encode("A"))
                               ^
/Users/smcho/code/codetemplate/_pl/scala/_learn/exploration/2016/04/03. type_inference.scala:25: error: type mismatch;
 found   : Int(10)
 required: _$1 where type _$1
    println(m("int").encode(10))

解决方案是专注于asInstanceOf。

println(m("string").asInstanceOf[MString].encode("A"))
println(m("int").asInstanceOf[MInt].encode(10))

为什么会出现这个错误？ Scala编译器是否足够智能从其参数类型调用方法，例如（“A” - ＆gt; encode（String）和10 - ＆gt; encode（Int））？

这是我的代码的问题，因为我有另一张地图，它用于获取编码结果。

val m2 = Map[String, Any]("int"->10, "string"->"A")

m2 foreach {
 case (key, value) => m(key).encode(value)
}

有什么想法解决这个问题？

Answer 1

也许，我别无选择，只能专门化从Base类继承的每种类型。

def encode(input:String, value:Any, m:Map[String, Base[_]]) = {
    if (input.startsWith("string")) 
        m("string").asInstanceOf[MString].encode(value.asInstanceOf[String])
    else if (input.startsWith("int"))
        m("int").asInstanceOf[MInt].encode(value.asInstanceOf[Int])
    else
        throw new Exception("Not supported type")
}

val m2 = Map[String, Any]("int"->10, "string"->"A")

m2 foreach {
    case (key, value) => println(encode(key, value, m).mkString(":"))
}

运行此代码将显示：

100:11
10:20

我们可以使用匹配/大小写使编码函数更简单：

def encode2(input:String, value:Any, m:Map[String, Base[_]]) = {        
    input match {
        case input if input.startsWith("string") 
            => m("string").asInstanceOf[MString].encode(value.asInstanceOf[String])
        case input if input.startsWith("int") 
            => m("int").asInstanceOf[MInt].encode(value.asInstanceOf[Int])
        case _ => throw new Exception("Not supported type")
    }
}

在Scala中调用方法时键入不匹配错误

1 个答案: