Scala Case类匹配编译错误和别名内部类型？

Question

如何使用与别名类型匹配的案例类？当我从容器中取出CB等时,这就有效.

class DoStuff[TKey](
  val c : Container[TKey]#CB
)
{
  type CB = Container[TKey]#CB
  type C1 = Container[TKey]#C1
  type C2 = Container[TKey]#C2

  c match {
    case C1(e1) => e1  //   - not found: value e1   - not found: value C1
    case C2(e2) => e2 //    - not found: value e2   - not found: value C2
  }
}

trait Container[TKey]
{
    abstract trait CB
    case class C1(val e : AnyRef) extends CB
    case class C2(val e : AnyRef) extends CB
}

谢谢!

Answer 1

对...... Scala中的内部类有点繁琐.在我向您展示您提供的代码的重写版本之前,让我们尝试一个简单的示例.

case class Foo(x: Int) {
  case class Bar(y: String) 
}

现在,请考虑以下代码段:

val x = new Foo(1)
val y = new Foo(2)

val a = new x.Bar("one")
val b = new y.Bar("two") 

最普通类型的a和b是Foo#Bar,这意味着内部类Bar与类型的任何外部对象Foo.但是,我们可以在说的类型,更具体的a就是x.Bar和类型b是y.Bar-这意味着a是内部类的一个实例Bar与外部对象x,类似的b.

实际上,你可以看到,类型,通过调用不同的typeOf(a)和typeOf(b),其中typeOf是一种实用工具方法定义为这样的.(它只是通过非常好的类型推断和Manifests 的一些使用给出了它的参数类型)

def typeOf[T](x: T)(implicit m: scala.reflect.Manifest[T]) = m.toString

当内部对象保存对其封闭对象的引用时,如果不以某种方式指定其外部对象,则无法实例化内部对象.因此,您可以调用new x.Bar("one")但不能调用new Foo#Bar("?")- 在第二种情况下,您没有指定您尝试构造的新对象的内部对象是什么.

那么,让我们回到你的代码片段.当你进行模式匹配时,你实际上是在调用一个构造函数C1(e1).作为C1别名,Container[TKey]#C1 您试图调用内部类的构造函数而不指定其外部对象,由于上述原因而失败.我编写代码的方式如下:

trait Container[TKey] {
    abstract trait CB
    case class C1(val e : AnyRef) extends CB
    case class C2(val e : AnyRef) extends CB
}

class DoStuff[TKey] (val c: Container[TKey], val element: Container[TKey]#CB) {
  element match {
    case c.C1(e1) => Some(e1)
    case c.C2(e2) => Some(e2)
    case _        => None
  }
}

现在这个编译,并希望它做你想要的.但要小心谨慎!由于类型擦除,斯卡拉不能保证element是真正的类型c.CB或类型d.CB,其中CB在的情况下,c和d碰巧是相同的.

考虑这个例子:

def matcher(arg: Foo#Bar) = {
  arg match {
    case x.Bar(n) => println("x");
    case y.Bar(n) => println("y");
  }
}

在哪里x和y以前一样.尝试运行以下内容:

matcher(a)
matcher(b) 

他们都打印x!

因此,我会重写代码以在容器中显式地拥有一个元素:

trait Container[TKey] {
    abstract trait CB
    case class C1(val e : AnyRef) extends CB
    case class C2(val e : AnyRef) extends CB
    val element: CB
}

class DoStuff[TKey](val c: Container[TKey]) {
  c.element match {
    case c.C1(e1) => Some(e1)
    case c.C2(e2) => Some(e2)
    case _        => None
  }
}

希望能帮助到你 :)

- Flaviu Cipcigan