Đối với "Box [+ T]", tôi có thể nói "Loại hộp là biến thể" không, có đúng không?

Question

Say I được xác định một loại constructor Box:

trait Box[+T] 

là gì đúng không?

1. loại Box là hiệp biến
2. loại constructor Box là hiệp biến
3. loại tham số T là hiệp biến
4. loại tham số T trong loại constructor Box là hiệp biến
5. Nếu tất cả chúng đều không chính xác, là những gì biểu thức chính xác?

Answer 1

Người đúng là:

"loại Box là hiệp biến trong T"

Answer 2

Về sai từ cuốn sách Functional Programming in Scala:

Trong tuyên bố trait List[+A], các + trước thông số loại A là chú thích phương sai phương sai báo hiệu rằng A là thông số hoặc tham số “dương” của List. Điều này có nghĩa là , ví dụ: List[Dog] được coi là loại phụ của List[Animal], giả sử Dog là một loại phụ của Animal.