Dopasowywanie wzorców bez klas przypadków

Question

Czy możliwe jest, poprzez dopasowanie do wzorca, wykrycie podtypu klasy, która nie jest klasą przypadku?

Potrzebuję użyć istniejących klas Java, więc nie mogę zadeklarować własnych klas przypadków.

Answer 1

Tak! Możesz dopasować wzór do typu, więc jeśli masz różne przypadki dla różnych podtypów, możesz uzyskać zachowanie, którego szukasz:

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!