Scala：定义类型的构造函数中可以存在协变吗？

Question

我有类 Variable[X <: SeqVal[_]](initialState:Calc[X])

，我用 new Variable[SeqVal[Float]](Max()) 实例化它 其中 Max 是

case class Max(seq: Int = 0, value: Float = .0f) extends SeqVal[Float] with Calc[SeqVal[Float]]，除了 Max 之外还有其他 case 类。

即使 Max 确实实现了特征 Calc[SeqVal[_]] 的变体，也无法编译。

[error] ../Variable.scala:14: type mismatch;
[error]  found   : com.quasiquant.calc.Max
[error]  required: com.quasiquant.calc.Calc[com.quasiquant.calc.Price]
[error] Note: com.quasiquant.messages.SeqVal[Float] >: com.quasiquant.calc.Price (and com.quasiquant.calc.Max <: com.quasiquant.calc.Calc[com.quasiquant.messages.SeqVal[Float]]), but trait Calc is invariant in type X.
[error] You may wish to define X as -X instead. (SLS 4.5)
[error]   extends Variable[Price](Max(), initChildren)

我需要帮助来尝试弄清楚如何更改 initialState:Calc[X] 的边界，以便可以将 initialState 设置为实现 Calc[ 的任何内容X]（不仅仅是Max）。如果我不必向 Variable 的所有实例化添加第二个类型参数，我会更喜欢它

Answer 1

这是我尝试编译的代码：

trait SeqVal[T]
trait Calc[T]

class Variable[X <: SeqVal[_]](initialState: Calc[X])

case class Max(seq: Int = 0, value: Float = .0f)
    extends SeqVal[Float] with Calc[SeqVal[Float]]

object test {
    new Variable[SeqVal[Float]](Max())
}

编译没有错误。