Các kiểu trả về khác nhau của phương thức trừu tượng trong java mà không cần đúc

Question

Tôi đang cố gắng triển khai và ghi đè phương thức với các loại trả về khác nhau mà không bị ép buộc loại trả về.

public abstract class A { 
public abstract Object getValue(String content); 
} 

public class B extends A { 
public String getValue(String content) {...} 
} 

public class C extends A { 
public int getValue(String content) {...} 
} 


public class D extends A { 
public boolean getValue(String content) {...} 
} 

// Main loop: 
for (A a : allAs) 
{ 
// I want to use the method getValue() and corresponding to the type return a String, int or boolean without casting the return type 
} 

Câu hỏi của tôi: Có thể trả lại các loại khác nhau mà không bị ép buộc không? Phương pháp trừu tượng trông như thế nào để giải quyết vấn đề?

Tôi nghĩ rằng phải có giải pháp vì trình biên dịch phải biết kiểu trả về ...

Answer 1

Trong ví dụ của bạn, các lớp C và D sẽ không biên dịch. Các phương thức ghi đè trong chúng vi phạm Liskov substitution principle, hay còn gọi là kiểu trả về của chúng không tương thích với lớp cha của chúng. Những gì bạn đang tìm kiếm để làm có thể được thực hiện với generics, miễn là bạn sẵn sàng từ bỏ việc sử dụng các nguyên thủy như là kiểu trả về của bạn.

abstract class A<T> { 
    public abstract T getValue(String content); 
} 

class B extends A<String> { 
    public String getValue(String content) { } 
} 

class C extends A<Integer> { 
    public Integer getValue(String content) { } 
} 

class D extends A<Boolean> { 
    public Boolean getValue(String content) { } 
} 

Answer 2

Điều bạn mô tả là không thể nói chung. Tuy nhiên, nếu lớp con trả về một kiểu con "hẹp hơn" của phương thức trả về siêu lớp, thì đây được gọi là "kiểu trả về biến đổi" và được cho phép trong Java kể từ JDK 1.5. Tuy nhiên, dựa trên ví dụ của bạn tôi không nghĩ rằng sự trở lại biến đổi là những gì bạn đang tìm kiếm.

tôi giả sử những gì bạn muốn là

for (A a : allAs) 
{ 
    String b = a.getValue(); 
    int c = a.getValue(); 
} 

Vấn đề ở đây là, tất nhiên, rằng trình biên dịch không có cách nào biết tại thời gian biên dịch mà của hai báo cáo là đúng, và họ có thể không được cả hai đúng.

Answer 3

Trong ví dụ của bạn, định nghĩa về class B là ok, vì String là một lớp con của Object. Hai người kia sẽ không biên dịch, vì chúng là các kiểu nguyên thủy. Bạn có thể thay thế chúng bằng Integer và Boolean quay lại để giải quyết điều đó.

Đối với vòng lặp chính của bạn, nếu bạn đang lặp lại chúng dưới dạng tham chiếu đến A, bạn sẽ chỉ có thể sử dụng định nghĩa của phương pháp A, trả về Object.

Answer 4

Bạn có thể sử dụng Generics.

public abstract class A<T> { 
    public abstract T getValue(String content); 
} 

public class B extends A<String> { 
    public String getValue(String content) {...} 
} 

etc ... int không hoạt động như kiểu trả về cho điều này, nhưng số nguyên sẽ.

Tôi không gõ vào một trình biên dịch nên có thể có lỗi chính tả ...

Theo ghi nhận của Jim và Chris, nếu bạn đang Looping trên As, bạn có thể chỉ nhận được "A" kết quả, đó là Vật.