Совпадение шаблонов без классов классов

Question

Возможно ли с помощью сопоставления с образцом определить подтип класса, который не является классом case?

Мне нужно использовать существующие классы Java, поэтому я не могу объявить свои собственные классы case.

Answer 1

Да! Вы можете сопоставить шаблон по типу, поэтому, если у вас разные случаи для разных подтипов, вы можете получить повод, который вы ищете:

trait A 
class B extends A 
class C extends A 

def f(a: A) = a match { 
    case b: B => "a B!" 
    case c: C => "a C!" 
} 

f(new B) // a B! 
f(new C) // a C!