提供子类实例代替超类时的Scala错误？

Question

我只是在Scala中尝试了一下，我写了此代码

object Main:
  def main(args: Array[String]): Unit =
    val dInt: Data[Int] = IntData(1)
    val dString: Data[String] = StringData("hello")
    val Data(deconstructedInt) = dInt // unapply
    val Data(deconstructedString) = dString // unapply
    println(deconstructedInt)
    println(deconstructedString)


sealed trait Data[+T]:
  def get: T

case class IntData(get: Int) extends Data[Int]

case class StringData(get: String) extends Data[String]

object Data:
  def apply[T](input: T): Data[T] = input match {
    case i: Int => IntData(i) //compile error here
    case s: String => StringData(s) //compile error here
  }

  def unapply[T](d: Data[T]): Option[String] = d match {
    case IntData(get) => Some(s"int data => get = $get")
    case StringData(get) => Some(s"string data => get = $get")
  }

，我在代码中评论的位置获得了此错误

Found:    IntData
Required: Data[T]
    case i: Int => IntData(i)

，为什么我会遇到此错误，不是intdata（或string> Stringdata ）数据的子类？

Answer 1

intdata是data [int]的子类型。因此，如果t不是int，intdata是 不是data [t]的子类型代码>。现在，您可能会说，如果输入与第一种情况匹配，则清楚地t是int。但是编译器并不明智地意识到这一点！

您可以尝试使用Scala 3的新匹配类型：

type DataOf[T] = T match {
  case Int => IntData
  case String => StringData
}

def apply[T](input: T): DataOf[T] = input match {
  case i: Int => IntData(i)
  case s: String => StringData(s)
}

另一种选择是联合类型：

def apply(input: Int | String): Data[Int | String] = input match {
  case i: Int => IntData(i)
  case s: String => StringData(s)
}

但是，您将失去类型的信息。使用匹配类型解决方案，应用（42）被推断为具有类型intdata。使用联合类型解决方案，可以推断具有类型数据[int |字符串]。

Answer 2

通过这种方式，编译器将 T 之间的点连接起来并且可以工作：

  object Main:
    def main(args: Array[String]): Unit =
      val dInt: Data[Int] = IntData(1)
      val dString: Data[String] = StringData("hello")
      val Data(deconstructedInt) = dInt // unapply
      val Data(deconstructedString) = dString // unapply
      println(deconstructedInt)
      println(deconstructedString)

  sealed trait Data[+T]:
    def get: T

  case class IntData[T <: Int](get: T) extends Data[T]

  case class StringData[T <: String](get: T) extends Data[T]

  object Data:
    def apply[T](input: T): Data[T] = input match {
      case i: Int    => IntData(i)
      case s: String => StringData(s)
    }

    def unapply[T](d: Data[T]): Option[String] = d match {
      case IntData(get)    => Some(s"int data => get = $get")
      case StringData(get) => Some(s"string data => get = $get")
    }