giao diện Java và trở lại các loại

Question

Cân nhắc tôi có giao diện sau:

public interface A { public void b(); } 

Tuy nhiên tôi muốn mỗi người trong số các lớp học mà thực hiện nó để có một kiểu trả về khác nhau cho phương pháp b().

Ví dụ:

public class C { 
    public C b() {} 
} 

public class D { 
    public D b() {} 
} 

Làm thế nào tôi sẽ xác định giao diện của tôi vì vậy đây là có thể?

Answer 1

Nếu kiểu trả về phải là kiểu của lớp mà thực hiện giao diện, sau đó những gì bạn muốn được gọi là một F-bounded type:

public interface A<T extends A<T>>{ public T b(); } 

public class C implements A<C>{ 
    public C b() { ... } 
} 

public class D implements A<D>{ 
    public D b() { ... } 
} 

Nói cách, A được khai báo một tham số kiểu T mà sẽ đảm nhận giá trị của từng loại bê tông thực hiện A. Điều này thường được sử dụng để khai báo những thứ như clone() hoặc copy() các phương pháp được đánh máy tốt. Một ví dụ khác, nó được sử dụng bởi java.lang.Enum để khai báo rằng phương thức compareTo(E) được thừa kế của mỗi enum chỉ áp dụng cho các enums khác thuộc loại cụ thể đó.

Nếu bạn sử dụng mẫu này thường xuyên, bạn sẽ gặp phải các tình huống mà bạn cần this là loại T. Thoạt nhìn, có vẻ như rõ ràng là , nhưng bạn thực sự cần phải khai báo phương thức abstract T getThis() mà người triển khai sẽ phải thực hiện một cách trivially là return this.

[1] Khi người nhận xét đã chỉ ra, có thể làm điều gì đó lén lút như X implements A<Y> nếu X và Y hợp tác đúng cách. Sự hiện diện của phương thức T getThis() làm cho nó rõ ràng hơn khi X đang phá vỡ ý định của tác giả của giao diện A.

Answer 2

Generics.

public interface A<E>{ 
    public E b(); 
} 

public class C implements A<C>{ 
    public C b(){ 
     return new C(); 
    } 
} 

public class D implements A<D>{ 
    public D b(){ 
     return new D(); 
    } 
} 

Search lên Generics để biết thêm chi tiết, nhưng (rất) về cơ bản, những gì đang xảy ra là A lá E 's gõ lên đến clases thực hiện (C và D).

Vì vậy, về cơ bản A không biết (và không cần phải biết) những gì E có thể có trong bất kỳ triển khai nhất định nào.

Answer 3

Kể từ Java supports covariant return types (kể từ Java 1.5), bạn có thể làm:

public interface A { public Object b(); }