Generics Loại paramenter phụ thuộc vào bản thân

Question

tôi đi qua với sau:

Tôi hiểu điều này:

Trong phần tham số kiểu của một lớp, một loại biến T trực tiếp phụ thuộc vào một biến kiểu S nếu S là liên kết của T, trong khi T phụ thuộc vào S nếu T trực tiếp phụ thuộc vào S hoặc T trực tiếp phụ thuộc vào biến kiểu U phụ thuộc vào S (sử dụng định nghĩa đệ quy).

Nhưng

Đó là một lỗi thời gian biên dịch nếu một loại biến trong phần tham số kiểu của một lớp phụ thuộc vào bản thân.

có nghĩa là gì? Reference

Answer 1

Ý nghĩa của câu lệnh là biến tham số kiểu không thể phụ thuộc vào chính nó. Các mã sau đây không được phép:

class Generic<T extends T> { 

} 

Đây T là một biến kiểu tham số và nó không thể phụ thuộc vào bản thân (trực tiếp hoặc inderictly). Mặt khác, các mã sau đây được phép:

public class GenericRecursive<T extends GenericRecursive<T>> { 

} 

Answer 2

Đó là một lỗi thời gian biên dịch nếu một loại biến trong phần tham số kiểu của một lớp phụ thuộc vào bản thân.

Thông số không thể xuất phát từ chính nó.

Ví dụ nó không phải là quy phạm pháp luật:

class YourClass<S extends S> { 
} 

Nhưng có lẽ bạn sẽ không sử dụng này vì nó làm cho không có thực sự có ý nghĩa.

Bạn có thể làm điều đó ví dụ:

class YourClass<T extends S, S extends T> { 
} 

Và nó sẽ không biên dịch quá vì T phụ thuộc vào S mà phụ thuộc vào bản thân (chu kỳ)