tuple khớp với null

Question

Tôi không hiểu tại sao trường hợp sau không khớp. Null nên là một thể hiện của Any, nhưng nó không khớp. Ai đó có thể giải thích những gì đang xảy ra?

val x = (2, null) 
x match { 
    case (i:Int, v:Any) => println("got tuple %s: %s".format(i, v)) 
    case _ => println("catch all") 
} 

prints catch all 

Cảm ơn.

Answer 1

Điều này chính xác như được chỉ định.

Type patterns consist of types, type variables, and wildcards. 
A type pattern T is of one of the following forms: 

* A reference to a class C, p.C, or T#C. 
This type pattern matches any non-null instance of the given class. 

Thật thú vị khi có nhiều sự liên quan được gán cho null là thành viên của Bất kỳ. Nó là một thành viên của mọi loại nhưng AnyVal và Nothing.

Answer 2

Tôi chỉ đoán ở đây vì tôi không có chuyên gia scala nhưng theo số documentation cho lớp Bất kỳ trong scala Tôi nghĩ rằng vì null không phải là một đối tượng, nó không lấy được từ Bất kỳ và như như vậy không khớp với trường hợp được liệt kê đầu tiên.

Thêm mẫu mã bên dưới. Nó in "cái gì khác" khi chạy.

val x = (2, null) 
x match { 
    case (i:Int, v:Any) => println("got tuple %s: %s".format(i, v)) 
    case (i:Int, null) => println("something else %s".format(i)) 
    case _ => println("catch all") 
} 

Sau khi nghiên cứu thêm, có vẻ như null phải khớp với bất kỳ ý nghĩa nào documentation nói rằng nó mở rộng AnyRef mở rộng Bất kỳ.

EDIT: Giống như mọi người khác đã nói. Trường hợp đầu tiên không phù hợp với mục đích. Nó được chỉ định trong tài liệu.

Answer 3

Đó là theo quy định (Scala Reference 2.7, phần 8.2):

Một tham chiếu đến một lớp C, p.C, hoặc T # C. Kiểu mẫu này khớp với bất kỳ cá thể không rỗng nào của lớp đã cho. Lưu ý rằng tiền tố của lớp học, nếu nó được cung cấp, có liên quan để xác định các phiên bản lớp. Đối với ví dụ , mẫu p.C chỉ khớp với trường hợp của các lớp C là được tạo bằng đường dẫn p làm tiền tố.

Answer 4

Bạn đã thử trình giữ chỗ v cho mọi thứ?

val x = (2, null) 
x match { 
    case (i:Int, v) => println("got tuple %s: %s".format(i, v)) 
    case _ => println("catch all") 
}