Làm thế nào để `isInstanceOf` hoạt động?

Question

Giả sử, chúng ta có:

class B 
class A extends B 
trait T 

Sau đó, nó giữ:

val a: A with T = new A with T 
a.isInstanceOf[B] // result is true ! 

Có quyền nói, isInstanceOf phương pháp kiểm tra, nếu có ít nhất một loại (không phải tất cả các loại) mà phù hợp phía bên tay phải trong mối quan hệ loại phụ?

Tại cái nhìn đầu tiên, tôi nghĩ rằng một giá trị với loại A with T không thể là một subtype của B, vì AvàT là không phải cả hai phân nhóm của B. Nhưng đó là AhoặcT là loại phụ của B - có đúng không?

Answer 1

isInstanceOf xem có mục nhập tương ứng trong chuỗi kế thừa hay không. Chuỗi A with T bao gồm A, B và T, vì vậy a.isInstanceOf[B] phải đúng.

chỉnh sửa:

Thực ra mã byte được tạo ra gọi Javas instanceof, vì vậy nó sẽ là a instanceof B trong java. Một cuộc gọi phức tạp hơn một chút như a.isInstanceOf[A with T] sẽ là (a instanceof A) && (a instanceof T).

Answer 2

Tại cái nhìn đầu tiên, tôi nghĩ rằng một giá trị với loại A với T không thể là một kiểu phụ của B

Có hai quan niệm sai lầm ở đây. Đầu tiên, kiểu tĩnh của một cá thể có bất kỳ kết quả nào trên kết quả của isInstanceOf: không có. Để rõ ràng, khi thực hiện a.isInstanceOf[B], thực tế là a là loại A with Tkhông liên quan.

Phương thức isInstanceOf được triển khai ở cấp bytecode bởi JVM. Nó xem thông tin lớp học mỗi trường hợp mang và kiểm tra xem B một trong các lớp (lớp của cá thể và tổ tiên của nó) hay một trong các giao diện được triển khai. Đó là mối quan hệ "là-a": "a là chữ B".

Về mặt kỹ thuật, isInstanceOf là một phần của phản ánh của Java, nơi được gọi là instanceof.

Quan niệm sai lầm thứ hai là thừa kế bằng cách nào đó có thể xóa loại cấp độ gốc. Điều đó không bao giờ xảy ra: thừa kế chỉ thêm các loại, không bao giờ loại bỏ chúng. Loại A with T là một số A, một số B, một số T, một số AnyVal và Any. Vì vậy, ngay cả khi isInstanceOf đã xem xét loại A with T, nó vẫn sẽ trở lại đúng sự thật.