kìm hãm các loại-Kinded cao hơn trong Scala

Question

Nói rằng tôi có một loại kinded cao

SuperMap[Key[_],Value[_]]`. 

Giả sử bây giờ mà tôi có một cái gì đó thậm chí cụ thể hơn đòi hỏi rằng các tham số kiểu cho Key phải phù hợp mà cho Value; có nghĩa là, một cái gì đó như:

SuperDuperMap[T, Key[T], Value[T]] 

Hơn nữa giả sử rằng tôi không muốn chỉ cần bất kỳ T, nhưng rất cụ thể một trong những nơi T <: OtherT

SuperDuperPooperMap[T <: OtherT, Key[T], Value[T]] 

này có thể được thực hiện trong Scala? Đây có phải chỉ là một ý tưởng tồi? Có cách tương đương để làm điều này dễ đọc/ghi/sử dụng hơn không?

Answer 1

Tuyên bố của bạn đã hoạt động như nghĩa vụ, nghĩa là bạn đang hạn chế loại T cũng như Key và Value. Cách bạn đã viết nó, tuy nhiên, scala sẽ phàn nàn nếu bạn phát hành cái gì đó như

scala> class Foo[T <: OtherT, Key[T], Value[T]] 
defined class Foo 

scala> new Foo[SpecialOtherT, Key[SpecialOtherT], Value[SpecialOtherT]] 
<console>:13: error: Key[SpecialOtherT] takes no type parameters, expected: one 
       new Foo[SpecialOtherT, Key[SpecialOtherT], Value[SpecialOtherT]] 

vì các loại của cả hai Key và Value đã trao bằng tuyên bố cựu của bạn. Do đó, thao tác này sẽ hoạt động

scala> new Foo[SpecialOtherT, Key, Value] 
res20: Foo[SpecialOtherT,Key,Value] = Foo@3dc6a6fd 

có thể không muốn bạn muốn. Bạn có thể làm điều đó như thế này

scala> class Foo[T <: OtherT, K <: Key[T], V <: Value[T]] 
defined class Foo 

scala> new Foo[SpecialOtherT, Key[SpecialOtherT], Value[SpecialOtherT]] 
res21: Foo[SpecialOtherT,Key[SpecialOtherT],Value[SpecialOtherT]] = Foo@7110506e 

Tại dòng dưới cùng, vì các loại Key và Value phụ thuộc hoàn toàn vào T nó là hơi thừa để có tất cả các thông tin cần thiết khi làm việc với Foo.Vậy tại sao không sử dụng một tuyên bố loại bên trong như vậy:

class Foo[T <: OtherT] { 
    type K = Key[T] 
    type V = Value[T] 
} 

Sau đó, bạn sẽ có quyền truy cập đến các loại K và V từ bên trong lớp nhưng sẽ không cần phải gõ nó mỗi khi bạn tạo ra một câu trả lời mới:

scala> new Foo[SpecialOtherT] 
res23: Foo[SpecialOtherT] = Foo@17055e90 

scala> new Foo[Int] 
<console>:11: error: ... 

Answer 2

Điều này có thể thực hiện được ở Scala không?

Ý của bạn là gì? Bạn đã làm!

Đây có phải chỉ là ý tưởng tồi không?

Tại sao lại như vậy? Trong thực tế đó là một ý tưởng tuyệt vời! Đây là những loại cao cấp dành cho.

Có cách tương đương để thực hiện việc này dễ đọc/ghi/sử dụng hơn không?

Đọc số - đọc khá tốt với tôi.

Viết - ghi/thử/biên dịch một lần, sử dụng ở mọi nơi.

Sử dụng - Trình biên dịch sẽ tạo lại (suy ra) các loại "ở khắp mọi nơi".

Answer 3

Bạn có lẽ không cần bất cứ điều gì phức tạp hơn một vài loại bí danh,

type SuperDuperMap[T, Key[_], Value[_]] = SuperMap[Key, Value] 

type SuperDuperPooperMap[T <: OtherT, Key[_], Value[_]] = SuperMap[Key, Value] 

mẫu phiên REPL,

scala> new SuperDuperMap[Int, Option, List] {} 
res0: java.lang.Object with SuperDuperMap[Int,Option,List] = ... 

scala> new SuperDuperPooperMap[OtherT, Option, List] {} 
res1: java.lang.Object with SuperDuperPooperMap[OtherT,Option,List] = ...