Scala „nie bierze parametry”, gdy wzorzec-parametrycznego dopasowania case-klasa

Question

Mam następujący kod:

sealed trait A 

case class B[T](v: T) extends A 
case class C[T](v: T) extends A 

object Test { 
    def swap(a: A): A = a match { 
    case a: B[t] => C[t](a.v) // works! 
    case C[t](v) => B[t](v) // error: C[t] does not take parameters 
    } 
} 

spodziewałbym albo oba przypadki na niepowodzenie lub obu z nich do pracy. Jakie jest znaczenie błędu w drugim przypadku? Czy istnieją parametryczne klasy przypadków destrukcji składni?

Uwaga: W tym przypadku kluczowe znaczenie ma "t". Jeśli był to "T", sprawdzający szukałby go w parametrach typu metody.

Answer 1

Kiedy robisz a match { case C(v) => ??? }, rzeczywiście nazwać unapply metodę obiektu C towarzysz coś takiego: C.unapply(a) match {Some(v) => ???}

Jest tylko jeden C przedmiot, a nie cała rodzina C[t]. Nie ma obiektu, który można nazwać jako C[Int], więc case C[t](v) => nie ma sensu.

W twoim przykładzie używasz B[t] jako typu, nie jako wzorca, i dlatego to działa. Pamiętaj, że jeśli mecz może się powieść, nic nie dostaniesz w t, z powodu usunięcia tekstu.

Po wywołaniu C[t](a.v), to przede wszystkim, kompilator usuwa wpisać t tak, a po drugie, to jest przepisany na wezwanie do apply metody na obiekcie towarzysz: C.apply[t](a.v). Zauważ, że parametr type znajduje się w wywołaniu metody, a nie w obiekcie.

Answer 2

Po prostu, nie jest częścią języka.

Używane w tej pozycji kompilator szuka typu w środowisku, tak jakby był zwykłym typem wielkich liter. Przechwytywanie typu, które próbujesz wykonać, działa tylko w formularzu case o numerze case x:Y[z] => ....

Przechwytywanie typu w ten sposób nie jest dobrze znaną częścią języka i kazało mi pobierać dane do Scala reference document (punkt 8.3). Osobiście uważam to za rozróżnienie między małymi i dużymi literami, nie według mojego upodobania.

W twoim przykładzie t przyjmuje typ Any, ponieważ informacja o typie dla parametru nie jest dostępna z A.