Kiedy sprawa ma znaczenie syntaktyczne?

Question

Obudowa A/A, nie case.

Widocznie case a pasuje wszystko, a to wiąże się z nazwą a, natomiast case A szuka zmiennej A i pasuje nic == uważa równa A. Było to dla mnie zaskoczeniem; podczas gdy wiem, że Scala rozróżnia małe i wielkie litery, nigdy nie oczekiwałem, że przypadek identyfikatora wpłynie na reguły parsowania.

Czy często w składni Scala zależy na przypadku identyfikatorów, czy też jest tylko niewielka liczba kontekstów, w których to się dzieje? Jeśli jest tylko niewielka liczba takich kontekstów, jakie one są? Nie mogłem znaleźć niczego w Google; wszystko, co dostałem, to wyniki dotyczące dopasowywania wzorców.

Answer 1

Jest jeszcze jeden podobny, o nazwie: type pattern. W przypadku wzorca typu prosty identyfikator rozpoczynający się od małej litery jest zmienną typu , a wszystkie pozostałe próbują dopasować rzeczywiste typy (z wyjątkiem _).

Na przykład:

val a: Any = List(1, 2, 3) 
val c = 1 

// z is a type variable 
a match { case b: List[z] => a } 

// Type match on `Int` 
a match { case b: List[Int] => a } 

// type match on the singleton c.type (not a simple lower case identifier) 
// (doesn't actually compile because c.type will never conform) 
a match { case b: List[c.type] => a } 

Rodzaj dopasowywania jak w pierwszym przykładzie jest mniej znany, ponieważ dobrze, to prawie nie używany.