Tại sao mã chung này trong biên dịch java?

Question

public static <T> T foo(T x, T x2) { 
    return (T) (x + " " + x2); 
} 

public static void main(String args[]) { 
    System.out.println(foo(33, "232")); 
} 

Tôi biết T là loại được chuyển trong tham số. Nhưng ở đây có hai loại. Cái nào trong số đó là T?

và tại sao trình biên dịch không bắt buộc tôi phải có các thông số cùng loại khi tôi gọi foo?

Answer 1

Đó là hợp pháp vì Integer và String có loại cơ sở chung. T có thể là Object, vì vậy foo(T, T) sẽ chấp nhận bất kỳ hai đối tượng nào. 32 có thể được tự động lưu vào một số Integer, là một loại Object. "232" là String, là một loại Object.

(Như đã chỉ ra bởi ý kiến, cho Integer và String, có một cơ sở-loại phổ biến gần hơn, Serializable;. Nhưng nguyên tắc là như nhau bất cứ cơ sở gõ biên dịch giải quyết T đến)

Answer 2

public static <T> T foo(T x, T x2) { 
    return (T) (x + " " + x2); 
} 

cần lưu ý rằng trong khi biên dịch này, nó có thể thất bại trong thời gian chạy:

int f = foo(1, 2); 

sẽ thất bại Ideone demo, bởi vì phương pháp này trả về một String, không phải là một 0.123..

Nó biên dịch, tuy nhiên, vì xóa kiểu có nghĩa là T được viết lại theo giới hạn trên, cụ thể là Object. Vì vậy:

public static Object foo(Object x, Object x2) { 
    return (Object) (x + " " + x2); 
} 

Điều này là tốt, bởi vì kết quả là một String, mà là một subtype của Object.

Tôi đoán đây chỉ là một trường hợp mà các mô hình generics nó chờ đợi để bắt bạn ra ngoài. Đây là lý do tại sao tôi sẽ tránh pha trộn generics và đúc rõ ràng.