类型参数 [W] 不符合 trait 类型参数界限

Question

trait SomeClass {
    ...
}

trait AnotherClass[+V <: SomeClass] {
    ...
}

trait SomeAnotherClass[+V <: SomeClass] {
     protected def someFunc[W >: V](anotherClass: AnotherClass[W]) = {
          ...
     }
}

我收到此错误：

type arguments [W] do not conform to trait AnotherClass's type parameter bounds [+V <: SomeClass]
[error]   protected def someFunc[W >: V](anotherClass: AnotherClass[W]) = ...
[error]                                                    ^
[error] one error found

当我执行 [W >: V <: SomeClass] 而不仅仅是 [W >: V] 时，我没有收到错误，但在这种情况下，它会隐藏变量。请帮忙，如何解决这个问题。

更新：

protected def someFunc(anotherClass: AnotherClass[V]) = {
              ...
}

我收到错误covariant type V occurs in contravariant position in type

Answer 1

当您说W >: V 时，您是说someFunc 的类型参数W 必须具有V 的类型下限。这意味着W 可以是V 或其任何超类型，这将打破V <: SomeClass 的类型界限。

例如Any >: SomeClass，所以W 在这种假设情况下可能是Any，但Any = V <: SomeClass 也不是真的，所以类型界限打破了。

当您说W >: V <: SomeClass 时，W 的下限为V，上限为SomeClass。 W 的SomeClass 的上限很重要，因为AnotherClass 的包含类型也有SomeClass 的上限。没有它，它会尝试允许AnotherClass[Any]（或其他一些不是SomeClass 的超类型），当然它不能。

你怎么能解决这个问题？你让你选择一种方法来做到这一点。您不能同时拥有W >: V 和AnotherClass[+V <: SomeClass]。它只是行不通，因为类型边界冲突。