Java tương đương với mã Scala này là gì?

Question

Tương đương Java của những đặc điểm này trong Scala là gì?

trait Visitor { 
    type X 
    type S<:Strategy 
    type R[v<:Visitor] = (S{type X = Visitor.this.X;type V=v})#Y 
} 

trait Strategy { 
    type V<:Visitor 
    type X 
    type Y 
} 

tôi dịch Strategy đặc điểm để:

public interface Strategy<V extends Visitor<?, ?, ?>, X, Y> { 

} 

tôi cố gắng dịch đặc điểm Visitor tới:

public interface Visitor<X, S extends Strategy<?,?, ?>, R ?????> { 
} 

Như bạn thấy, tôi không biết làm thế nào để hiểu/dịch nhập R trong đặc điểm Visitor. Tương đương Java tương tự là gì?

Answer 1

Tôi khá chắc chắn rằng không thể viết tương đương trong Java, hệ thống kiểu của nó không đủ tinh vi. R[v <: Visitor] là một kiểu generic cao kinded và nó sẽ đòi hỏi một cái gì đó dọc theo những dòng:

interface Visitor<X, S extends Strategy<?, ?, ?>, R<? extends Visitor<?, ?, ?>> extends ...> 

nhưng điều này là không thể diễn tả bằng Java vì nó không có các loại cao kinded trong Generics. Và điều đó thậm chí còn không nhắc đến rằng (S{type X = Visitor.this.X;type V=v})#Y bit là một kiểu cấu trúc với sự tinh tế (theo như tôi nhớ, nó được gọi như thế này). Tôi không biết bất kỳ ngôn ngữ nào khác ngoại trừ Scala có thứ như vậy.