Scala：案例类和模式匹配答案

【问题标题】：Scala: case classes and pattern matchingScala：案例类和模式匹配
【发布时间】：2017-02-25 12:05:51
【问题描述】：

我在 scala 中创建了这个案例类和函数：

abstract class Building[T]
case class University[T](a: Building[T], b: Building[T], c: T) extends Building

def u[A,B](a: Building[A]): Building[B] = a match {
  case n: University[A] => University[B](n.a, n.b, n.c);
}

但是编译时会这样说：

[错误] 测试.scala:357: 类型不匹配; [错误] 发现：test.abc.def.University[B] [错误] 必需：test.abc.def.Building[B]

我做错了什么？

【问题讨论】：

标签： scala generics pattern-matching case-class

【解决方案1】：

University 必须扩展 Building[T] 而不仅仅是 Building

case class University[T](a: Building[T], b: Building[T], c: T) extends Building[T]

这是完整的代码

abstract class Building[T]
case class University[T](a: Building[T], b: Building[T], c: T) extends Building[T]

在u 函数中输出类型为Building[B]。您正在返回 University[B] 但 University[B] 采用 a 是 Building[B] b 又是 Building[B] 和 c 这是 B。

n.a 返回Building[A] 而不是Building[B]，所以University[B] 需要两个Building[B] 和一个B。您不能通过n.a、n.b 和n.c 来创建university[B]。

为了编译代码，我更改了输出类型并返回University[B]

def u[A,B](a: Building[A]): Building[A] = a match {
  case n: University[A] => University[A](n.a, n.b, n.c);
}

正确代码

abstract class Building[T]

case class University[T](a: Building[T], b: Building[T], c: T) extends Building[T]

def convert[A, B](a: A): B = ???

def bConvert[A, B](building: Building[A]): Building[B] = ???

def u[A,B](a: Building[A]): Building[B] = a match {
  case n: University[A] => University[B](bConvert(n.a), bConvert(n.b), convert(n.c));
}

【讨论】：