Các thông số giới hạn Java trong các phương thức chung

Question

Tôi đã thử nghiệm một số thứ với các tham số bị chặn trong các phương thức chung và tôi đã phát hiện một số hành vi lạ.
Sẽ thật tuyệt nếu có ai đó có thể giải thích hai lỗi trong đoạn mã sau.

Hãy tưởng tượng có hai lớp học Class1 và Class2 cả hai mở rộng từ BaseClass. Class2 triển khai Giao diện.

Trong Class1, tôi có một phương pháp mà trả về một thể hiện của Class2 theo cách sau:

public class Class2 extends BaseClass implements Interface { 

    @Override 
    public void method() { 
     System.out.println("test"); //$NON-NLS-1$ 
    } 
} 

public class Class1 extends BaseClass { 

    public <T extends BaseClass & Interface> T getTwo() { 
     return new Class2(); 
     // Error: Type mismatch: cannot convert from Class2 to T 
    } 

    public static void main(String[] args) { 
     Interface two = new Class1().getTwo(); 
     // Error: Bound mismatch: The generic method getTwo() of type Class1 is 
     // not applicable for the arguments(). The inferred type Interface is 
     // not a valid substitute for the bounded parameter <T extends BaseClass 
     // & Interface> 
     System.out.println(two); 
    } 
} 

Answer 1

Các lỗi tổng hợp đầu tiên xảy ra bởi vì các thông số kiểu được khai báo bằng các phương pháp được quy định bởi người gọi, không phải là thực hiện phương pháp . Đó là, cho

class Class3 extends BaseClass implements Interface { ... } 

một người gọi có thể viết

Class3 c3 = new Class1().<Class3>getTwo(); 

, nhưng việc thực hiện phương thức trả về một Class2, mà không phải là một subtype của T = Class3.

Lỗi biên dịch thứ hai xảy ra vì các tham số kiểu không được chỉ định rõ ràng bởi người gọi được suy ra từ các đối số phương thức và kiểu biến mà giá trị trả về của phương thức được gán cho. Suy luận này không thành công ở đây. Cách giải quyết thông thường, được đề xuất bởi Đặc tả Ngôn ngữ Java, là chỉ rõ các tham số kiểu một cách rõ ràng trong các trường hợp như vậy (suy luận kiểu được dùng để thuận tiện cho các trường hợp đơn giản; nó không nhằm che giấu tất cả các trường hợp).

Đối với cách khai báo đúng thông số loại này, tôi cần biết bạn đang cố gắng làm gì với các khai báo này.

Answer 2

Tại sao nên sử dụng Generics cho phương pháp getTwo, khi bạn biết đó là Class2? Đơn giản chỉ cần làm điều này:

public Class2 getTwo() { 
    return new Class2(); 
} 

Nếu bạn đang trọng một phương pháp public <T extends BaseClass & Interface> T getTwo(), trình biên dịch sẽ cho phép bạn khai báo impl của bạn như public Class2 getTwo() khi bạn T cho impl của bạn là Class2