Scala：Any 类型和模板类的类型不匹配问题

Question

我的 scala 类型系统存在以下问题，目前我不知道如何解决这个问题。

基本上有以下情况：

我有一个类，我们称之为 Actor。这个类是模板化的。

class Actor[T](){
    def setValue(value: T): Int = {
        //do something with value
    }
}

另一个类具有迭代以下类型的 HashMap 的方法：

var newValues = new HashMap[String, Any]()

此 HashMap 将包含 Int 和 String 类型的值。 HashMap 的 Key 标识一个具体的 Actor 类，并确保值的类型适合它所引用的模板化 Actor 类。

另一个类的方法迭代此 HashMap：

newValues.foreach(
    kv => {
        db.getActor(kv._1).setValue(kv._2) //db.getActor returns an Actor identified by kv._1
    }
)

因为具体值 (kv._2) 具有与运行时收到的模板化类相同的数据类型，所以我认为 scala 引擎能够将任何类型转换为其具体值子类型 T。

但是我在编译过程中收到以下错误：

found   : kv._2.type (with underlying type Any)
required: _$3 where type _$3
   db.getActor(kv._1).setValue(kv._2)

有人知道如何解决这个问题吗？我认为通过使用超类型 Any 可以绕过 switch-case 并使用对象 Any 的 asInstanceOf[T] 。

希望有人能帮助我！

Answer 1

这里的问题是：

因为具体值（kv._2）有
与模板相同的数据类型
类在运行时已收到，

谁说的？

编译器无法在编译时证明这确实是真的。而且，基本上，它不信任你。

您始终可以使用 asIntanceOf 告诉编译器您了解得更多——也称为将枪瞄准您的脚。我想知道 db.getActor 返回什么类型！我半猜测存在主义。