Соответствие класса случаев

Question

Если кто-то может объяснить это поведение простым английским языком, я был бы очень признателен. В частности, существует ли разница между case _:Foo и case Foo()?

myvariable match { 
    case _: Foo => println("its a foo!") 
    case Foo() => println("It's also a Foo") 
    case Foo => println("Oops, this will *not* match a Foo! It will never be called") 
    case _ => println("This will be called for all unmatched items") 
} 

Answer 1

Это обычное совпадение типа, похожее на instanceOf в Java, например.

case x: Foo => ??? 

Это гарантирует, что вы можете использовать й как Foo на правой стороне

case Foo(a,b,c) => ??? 

С другой стороны, пытается вызвать исключить его (который вы получаете бесплатно на случае классе) и позволяет вы должны «втянуться» в экземпляр и поймать все поля как vals, которые вы можете использовать с правой стороны.

Сторона примечания: определение класса case без полей по существу идентично использованию объекта case, что и большинство людей в Scala, просто представляют одно возможное значение. Таким образом, ваш второй случай является немного странным, и, вероятно, довольно быть сделано с помощью тематических объектов:

case object Foo 

case Foo => ???