Java Generics: Cảnh báo cần có một dàn diễn viên không được kiểm soát để phù hợp với <InterfaceName>

Question

Tôi có một giao diện

interface x { 
    A getValue(); 
} 

và thực hiện

class y implements x { 
    public B getValue() { return new B();} 
} 

B là một lớp con của A. này hoạt động vì hiệp biến ghi đè, tôi đoán vậy.

Nhưng nếu tôi viết lại giao diện như

interface x{ 
    <T extends A> T getValue(); 
} 

tôi nhận được một cảnh báo trong việc thực hiện mà

Cảnh báo cần có một dàn diễn viên không được kiểm soát để phù hợp với A.getValue()

Sự khác nhau giữa 2 phiên bản của giao diện là gì? Tôi đã nghĩ rằng họ là như nhau.

Answer 1

Phiên bản thứ hai của giao diện là sai. Nó nói rằng getValue sẽ trả về bất kỳ lớp con nào bạn yêu cầu - kiểu trả về sẽ được suy ra dựa trên biểu thức trên tay trái của bạn.

Vì vậy, nếu bạn có được một tham chiếu đến một x (chúng ta hãy gọi nó obj), bạn một cách hợp pháp có thể thực hiện cuộc gọi sau đây mà không cảnh báo trình biên dịch:

x obj = ...; 
B b = obj.getValue(); 

Mà có lẽ không chính xác trong ví dụ của bạn, bởi vì nếu bạn thêm một lớp C mà cũng mở rộng A, bạn cũng có thể thực hiện một cách hợp pháp các cuộc gọi:

C c = obj.getValue(); 

Điều này là do T không phải là một biến kiểu thuộc giao diện, chỉ cho chính phương thức đó.

Answer 2

Về cơ bản khi bạn đang làm một <T extends A> bạn đang nói rằng bạn muốn có một lớp con cụ thể của A, không bất kỳ A, bởi vì khi đó bạn chỉ có thể làm:

A getValue(); 

Trình biên dịch được cảnh báo với bạn rằng nó có thể' t đảm bảo rằng một lớp con được xác định cụ thể của A được trả về, chỉ một chính nó.

EDIT: Để cố gắng giải thích điều này tốt hơn, B là lớp con của A, nhưng không cần phải là phân lớp duy nhất của A. Xem xét hệ thống phân cấp sau.

B kéo dài Một C kéo dài A nhưng không B

Bây giờ tôi có một phương pháp:

public void someMethod(x value) { 
    C c = x.getValue(); 
} 

Tiếp theo Generics, mà nên biên dịch và đảm bảo không có ngoại lệ thời gian chạy lớp diễn viên (có thể có khác vấn đề với giao diện ở đây nhưng chắc chắn có những trường hợp có thể được sử dụng để chứng minh điều này đúng - tôi đang giữ với ví dụ của bạn).

Nhưng điều gì sẽ xảy ra nếu bạn chuyển trường hợp y sang phương thức này?

Vâng, bây giờ tôi nhận được B thay vì C. Trình biên dịch cảnh báo bạn điều này có thể xảy ra.

Answer 3

Vì vậy, để xây dựng trên hai câu trả lời từ AlbertoPL và Yishai, hãy thử này:

class y implements x { 
    A getValue(){ return new B();} 
} 

B kéo dài A, vì vậy đó là tốt. Người gọi không cần phải biết lớp con nào của A được trả lại, chỉ có nó mở rộng A. Vì vậy, chúng tôi đi :)

Answer 4

Trình biên dịch nói với bạn là không có cách nào để giải quyết chung. T không được định nghĩa ở bất kỳ đâu ngoại trừ đầu ra - mà bạn đang nói về cái gì? Nếu giao diện được generified là một loại T:

interface x <T extends A> { 
    T getValue() 
} 

thì đây sẽ làm việc, hoặc nếu phương pháp này mất một giá trị mà sẽ xác định loại trở lại bạn muốn:

interface x { 
    <T extends A> T getValue(T someArgument) 
} 

hoặc

interface x { 
    <T extends A> T getValue(Class<T> someArgument) 
} 

Sau đó, sẽ không có cảnh báo.

chỉnh sửa: Xem bài đăng của waxwing để giải thích tại sao bạn KHÔNG nên sử dụng Generics cho vấn đề cụ thể này. Tôi chỉ đơn giản cho thấy cách generics sẽ là thích hợp.