铸件问题

Question

    import scala.annotation.unchecked.uncheckedVariance
    import scala.collection.immutable.Queue
    import scala.collection.mutable.ListBuffer


  abstract class Exp[+T:Manifest] { // constants/symbols (atomic)
    def tp: Manifest[T @uncheckedVariance] = manifest[T] //invariant position! but hey...
  }
  case class Sym[+T:Manifest](val id: Int) extends Exp[T] {
  }
  abstract class Def[+T] { // operations (composite)
    override final lazy val hashCode = scala.runtime.ScalaRunTime._hashCode(this.asInstanceOf[Product])
  }
  abstract class Stm
  case class TP[+T](sym: Sym[T], rhs: Def[T]) extends Stm

  abstract class Trial{
  }

  class M1() extends Trial{}
  class M2() extends Trial{}

  class N1() extends Def[M1]{}
  class N2() extends Def[M2]{}

  TP(Sym[M1]{4},new N1())

这会产生以下错误：

斯卡拉

我期待着一个TP类型的对象[试验]，发生了什么？因为Sym和Def是协变类型。我错过什么了吗？

谢谢

Answer 1

在Scastie，它不可复制为https://scastie.scala-lang.org/tCD4HahgTqO4WTnlGcfWqQ但可指责为https://scastie.scala-lang.org/L46PWLF2S5i4d1IGoT6UuQ

在本地，只有删除定义哈希代码的懒惰代码，我才能复制ClassCastException。

协方差是不相关的。

在<代码>中。a安装[产品]您正试图将Def的转换为产品。创建新N1（）时，它是当前的定义。

new N1（）作为类N1的值不能转换为Products，因为N1不扩展产品。

在Scala中，默认情况下，类不扩展产品，而case类扩展产品。

要修复ClassCastException，就足以使N1成为case类。