与mixins一起使用模式匹配时的怪异行为

Question

object T {
  def method: Unit = {
    trait Mixin
    case class Foo(foo: String)

    val f = new Foo("hi") with Mixin
    f match {
      case Foo(s) => println(s)
    }
  }
}

当我调用test.method时，它编译并打印“hi”。模式匹配代码甚至可以在嵌套方法或嵌套函数中，并且可以工作。但是，如果我将case类移到方法之外并直接附加到t2:

object T2 {

  case class Foo(foo: String)

  def method: Unit = {
    trait Mixin

    val f = new Foo("hi") with Mixin
    f match {
      case Foo(s) => println(s)
    }
  }
}

它将引发以下错误：

Error:(183, 12) constructor cannot be instantiated to expected type;
 found   : T2.Foo
 required: T2.Foo with Mixin
      case Foo(s) => println(s)
           ^

如果现在我不使用Mixin，而只使用val f=new Foo（“hi”），它又能正常工作了。如果我试图匹配它的类型，它也可以工作：

val f = new Foo("hi") with Mixin
f match {
  case f: Foo => println("I am a Foo")
}

Answer 1

我相信有几件事正在发生。

• Scala编译器正在尝试找出匹配的类型。
• 您将顶级类型与本地类型混合在一起，这似乎会使编译器感到困惑。

在t中，foo和mixin都在方法的作用域中本地声明。本地类型不需要在其作用域之外可用（在本例中是method)。因为一切都在同一个范围内，所以编译器很容易弄清楚您要做什么。

object T2 {
  case class Foo(foo: String)
  def method: Unit = {
    trait Mixin
    val f: Foo = new Foo("hi") with Mixin
    f match {
      case Foo(s) => println(s)
    }
  }
}