Khi nào là trường hợp có ý nghĩa cú pháp?

Question

A/a case, chứ không phải case case.

Rõ ràng case a phù hợp với bất cứ điều gì và liên kết nó với tên a, trong khi case A tìm kiếm một biến A và phù hợp với bất cứ điều gì == coi bằng A. Điều này đến như là một bất ngờ đối với tôi; trong khi tôi biết Scala là trường hợp nhạy cảm, tôi không bao giờ mong đợi trường hợp nhận dạng để ảnh hưởng đến các quy tắc phân tích cú pháp.

Có phải thông thường đối với cú pháp của Scala để quan tâm đến trường hợp nhận dạng hoặc chỉ có một số ít bối cảnh trong đó điều này xảy ra? Nếu chỉ có một số ít bối cảnh như vậy, chúng là gì? Tôi không thể tìm thấy bất kỳ thứ gì trên Google; tất cả những gì tôi nhận được là kết quả về sự khớp mẫu.

Answer 1

Có một tính năng tương tự trong tự nhiên, được gọi là type pattern. Trong mẫu kiểu, một số nhận dạng đơn giản bắt đầu bằng chữ cái thường là một loại biến số và tất cả những người khác đang cố gắng so khớp các loại thực tế (trừ _).

Ví dụ:

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 } 

Loại khớp như ví dụ đầu tiên là ít được biết đến bởi vì, tốt, nó hầu như không được sử dụng.