Sự khác biệt giữa <T extends A> void foo (Tt) và void foo (A a)

Question

Nói A là một giao diện. sự khác biệt giữa

public <T extends A> void foo(T t) { ... } 

và

public void foo(A a) { ...} 

là gì?

Answer 1

Không nhiều.

Mặt khác, hãy xem xét phương pháp này:

public <T extends A> T transform(T t); 

Và mã gọi:

class B implements A { ... } 
B result = transform(new B(...)); 

Nó sẽ không được tốt (trên sẽ không biên dịch, như trình biên dịch sẽ buộc bạn phải khai báo result loại là A) bạn đã khai báo phương thức là

public A transform(A a) 

Answer 2

Không có sự khác biệt khi sử dụng một đối tượng. Nhưng hãy tưởng tượng nếu bạn có

class B extends A { ... } 

và

public void f(List<A> list) { ... }; 

và

public <T extends A> void f(List<T> list) { ... }; 

với người đầu tiên bạn có thể vượt qua một danh sách đó là chính xác loại List<A>. Với thứ hai, bạn có thể chuyển danh sách chứa các đối tượng mở rộng A. Tuy nhiên, với cái đầu tiên bạn không thể làm điều tương tự. Vì vậy, nói cách khác bạn không thể vượt qua List<B> cho phương pháp đầu tiên nhưng bạn có thể đến phương pháp thứ hai.

Answer 3

Không có sự khác biệt trong trường hợp của bạn vì tham số kiểu chỉ được sử dụng ở một nơi. Cả hai phương pháp này sẽ chấp nhận bất cứ điều gì đó là một A hoặc kéo dài A. Phương pháp chung sẽ có ý nghĩa hơn trong trường hợp này vì tham số kiểu cho phép bạn buộc giá trị trả về để tham số truyền vào:

public <T extends A> T f(Class<T>) {...} 

Answer 4

Cho dù nó làm cho một sự khác biệt phụ thuộc vào những gì bên trong chức năng đó.

Điểm của generics là đảm bảo an toàn loại. Giả sử A có hai lớp con, hãy gọi chúng là B và C. Trong ví dụ đầu tiên, sử dụng f (Danh sách < A>), danh sách có thể bao gồm B, C hoặc hỗn hợp cả hai. Nhưng trong ví dụ thứ hai, f < T mở rộng A> (Danh sách < T>), khi chúng ta gọi hàm, chúng ta phải xác định loại. Nếu chúng ta nói f < B>, thì chúng ta biết đây là danh sách các B, không cho phép C. Chúng tôi sẽ không được phép chuyển vào danh sách C hoặc A chung, chúng tôi không thể thêm bất kỳ C nào vào danh sách và bất kỳ thứ gì chúng tôi đưa ra sẽ được đảm bảo là B.

Cho dù điều này là tốt hay xấu tùy thuộc vào những gì bạn đang cố gắng làm. Nếu ý tưởng là bạn muốn một danh sách hoặc là tất cả B hoặc tất cả C, thì thông tin chung sẽ giúp đảm bảo điều này. Nếu bạn muốn một danh sách có thể là một kết hợp của hai, sau đó bạn không muốn sử dụng chung chung, sử dụng đơn giản f (Danh sách < A>).