我有一个java类型public interface T<U> ，它是不可变的且逻辑协变的(只读)，但在 scala 中是不变的，因为它是在 Java 中定义的。
我可以安全地施放 T[_ <: U]到 T[U] ？如果是这样怎么办？
最佳答案
immutable and logically covariant (read-only)
只读和不可变并不意味着它是“逻辑协变”!例如。 Consumer<A> (Scala 中的 A => Unit )是只读且不可变的，但它应该是逆变的。所以答案是，这取决于情况。
it's a collection/iterator-ish type with methods like public U next() so still covariant
为了协变，它不应该有方法检查 U 类型的值(除了使用 hashCode 和 equals )，例如List.add可以(对于不可变列表)，HashSet.contains没问题，TreeSet.contains不是。
假设这一点成立，则 Actor 阵容是安全的。当然，Scala 的编译器无法知道它，所以你仍然需要 asInstanceOf :
val t1: T[SomeSubtypeOfU] = ...
val t2 = t1.asInstanceOf[T[U]]
您可以将其隐藏在隐式转换后面:
implicit def tIsCovariant[A](x: T[_ <: A]): T[A] = x.asInstanceOf[T[A]]
关于scala - 将 `T[_ <: U]` 转换为 `T[U]`，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/42906447/