Thừa kế chung và gọi GetMethod(). GetReturnType()

Question

Trong dự án hiện tại của tôi, tôi có các lớp được mô hình hóa như sau. Tại một số thời điểm, một phương thức như getReturnTypeForGetId() được gọi trên các lớp A và B. Gọi phương thức với số A trả về Integer như mong đợi, nhưng B trả về Serializable.

Tôi thiếu gì ở đây? Tôi có bị cắn bởi một số điều tẩy xoá ghê tởm, hay tôi chỉ bỏ lỡ một số loại bối cảnh bối cảnh chung?

EDIT: Thêm một trên một thanh cuộn getId() phương pháp để B sửa chữa vấn đề này, nhưng tôi sẽ vẫn muốn hiểu những gì tôi đang chạy vào.

import java.io.Serializable; 

public class WeirdTester { 
    static interface Identifiable<T extends Serializable> { 
     T getId(); 
     void setId(final T id); 
    } 

    static abstract class BaseEntity<T extends Serializable> implements Identifiable<T> { 
     private T id; 
     public T getId() { return id; } 
     public void setId(final T id) { this.id = id; } 
    } 

    static class A implements Identifiable<Integer> { 
     private Integer id; 
     public Integer getId() { return id; } 
     public void setId(final Integer id) { this.id = id; } 
    } 

    static class B extends BaseEntity<Integer> {} 

    @SuppressWarnings("unchecked") 
    private static <T extends Serializable, Q extends Identifiable<T>> Class<T> getReturnTypeForGetId(
      final Class<Q> clazz) throws Exception { 
     return (Class<T>) clazz.getMethod("getId", (Class[])null).getReturnType(); 
    } 

    public static void main(final String[] args) throws Exception { 
     System.out.println(getReturnTypeForGetId(A.class)); 
     // CONSOLE: "class java.lang.Integer" 
     System.out.println(getReturnTypeForGetId(B.class)); 
     // CONSOLE: "interface java.io.Serializable" 
    } 
} 

Answer 1

Có nhiều phương thức getId trong lớp biên dịch A. Bạn nhận được một phương thức cầu cho kiểu trả về biến đổi (một "tiểu thuyết" của ngôn ngữ không được phản ánh trong máy ảo). Các đặc điểm kỹ thuật cho Class.getMethod nói rằng nó sẽ trả về phương thức với kiểu trả về cụ thể nhất (giả định rằng tồn tại). Nó thực hiện điều này cho A, nhưng đối với B, phương thức này không được ghi đè để javac tránh tổng hợp một phương thức cầu không cần thiết.

Thực tế, đối với ví dụ này, tất cả thông tin vẫn có trong tệp lớp. (Trước đó tôi nói nó không phải là erased. Điều đó không đúng, nhưng tẩy xoá không có nghĩa là nó không có ở đó!) Thông tin chung tuy nhiên một chút khó khăn để trích xuất (nó sẽ ở trong Identifiable.class.getGenericReturnType(), Identifiable.class.getTypeParameters(), BaseEntity.class.getGenericInterfaces, BaseEntity.class.getTypeParameters() và B.getGenericSuperclass (Tôi nghĩ vậy!)).

Sử dụng javap để xem chính xác những gì bạn có trong tệp lớp học.

Answer 2

Trong lớp A, bạn ghi đè getId để trả về Số nguyên.

Trong lớp B bạn không ghi đè getId, vì vậy phương thức getId trong B là phương thức từ BaseEntity. Vì xóa, cái đó trả về Serializable.

Answer 3

Câu trả lời thực sự là loại xóa. Hãy nhớ rằng generics chỉ là một thủ thuật, gợi ý trong mã Java không biên dịch. Trình biên dịch loại bỏ mọi thứ liên quan đến chúng để tạo ra bytecode. Vì vậy, khi bạn sử dụng sự phản chiếu trên phương thức getId, bạn chỉ nhận được kiểu thô.

http://download.oracle.com/javase/tutorial/java/generics/erasure.html

Nhưng nếu bạn hỏi cho lớp của một đối tượng thực tế được trả về bởi phương pháp này (B.getId), mà không sử dụng phản chiếu, do cách nó được xây dựng, bạn sẽ nhận được một Integer.

Answer 4

Java cho phép cái gọi là "thu hẹp" các loại giá trị trả về. Đó là lý do ví dụ của bạn hoạt động ở tất cả:

Serializable getId()

thể được ghi đè với bất kỳ kiểu trả serializable, như

Integer getId(), như Integer cụ Serializable, do đó thu hẹp được cho phép trong trường hợp này.

Vì B không không override getId() nó getId() là giống như một thừa hưởng từ BaseEntity. Việc kê khai

class B extends BaseEntity<Integer> 

là "type-xóa" tại thời gian biên dịch để

class B extends BaseEntity 

và, thì đấy, chúng tôi nhận được kết quả quan sát.

Answer 5

id trong BaseEntity là tin và 'Serializable hoặc mở rộng Serializable'.

Lớp B (mở rộng BaseEntity) không biết gì về trường này. Nếu nó được định nghĩa riêng của mình id và không ghi đè getId()/setId (...) hai phương pháp sẽ tiếp tục sử dụng BaseEntity.id

Nếu bạn thêm phương pháp này trong BaseEntity:

public void setId2(final Serializable id) { 
     this.id = (T) id; 
} 

nó cho phép bạn đặt BaseEntity.id thành bất kỳ Serializable nào.

Trong thử nghiệm sau, bạn có thể đặt trường id thành ví dụ: a Float giá trị và mọi thứ biên dịch và không thay đổi getId() thoải mái trả về giá trị Float.

B b = new B(); 
b.setId2(2.1F); 
System.out.println(b.getId()); //prints out 2.1 

Do đó, nếu bạn làm những gì bạn làm và yêu cầu 'kiểu trả về của B.getId() phương pháp là gì, sau đó trừ khi bạn ghi đè phương thức trong lớp B getId() (trong đó sẽ buộc nó để sử dụng kiểu hàm Integer và trả về Integer cho chắc chắn. Lưu ý rằng BaseEntity.id sẽ không được hiển thị cho B sau đó!) Câu trả lời của phản chiếu không phải là Integer mà là một Serializable chung. Bởi vì bất kỳ Serializable nào có thể xuất phát từ phương thức getId() thực sự.