Làm thế nào để nói rằng một tham số kiểu phải có một siêu kiểu siêu kiểu thay thế?

Question

Người ta có thể nói một kiểu tham số T phải có một S_1 supertype cụ thể:

class Test[T <: S_1] 

Có cách nào để nói, rằng một số loại phải có ít nhất một siêu kiểu của nhiều lựa chọn thay thế supertype? Giống như (giả):

class Test[T <: S_1 || S_2] 

Hoặc: Đây có phải là không thể, bởi vì một công trình như vậy làm cho không có ý nghĩa và sẽ là một gợi ý của một sai lầm thiết kế trong mã?

Answer 1

Câu trả lời ngắn: Giải pháp trực quan là làm cho S_1 và S_2 chia sẻ một đặc điểm phổ biến mà đại diện cho tập hợp các khả năng mà bạn cần cho tham số kiểu của bạn T. Sử dụng đặc điểm đó làm giới hạn trên cho T.

Nhiều khả năng:

• Nếu S_1 và S_2 không liên quan trong tự nhiên và những yêu cầu đối với loại T là nó có một số thành viên (có cả S_1 và S_2 xảy ra để thực hiện), bạn có thể sử dụng một structural type để xây dựng điều đó (khái niệm đằng sau được gọi là duck typing).

• Nếu vì một lý do nào bạn thực sự đòi hỏi T là một lớp con của S_1 hoặc S_2, và bạn không thể thay đổi các loại, bạn có thể sử dụng để chuyển đổi implicits cả hai đến một nội kiểu mới giới thiệu S_1_or_2, mà bạn sau đó có thể sử dụng làm giới hạn trên cho số T của bạn.

Answer 2

Hãy để tôi mở rộng trên Niklas thay thế thứ hai. Tham số ngầm định có thể được sử dụng để chứng minh điều gì đó về loại, vì vậy điều này có vẻ như chỉ là điều. Nó sẽ như sau:

class ThingIWantToProve[T] 
object ThingIWantToProve { 
    // Here I define the proofs I need 
    implicit def s1IsProvable: ThingIWantToProve[S_1] = new ThingIWantToProve[S_1] 
    implicit def s2IsProvable: ThingIWantToProve[S_2] = new ThingIWantToProve[S_2] 
} 
class Test[T : ThingIWantToProve] // here I use a context bound