Scala中值类的层次结构?

Scala中值类的层次结构?,scala,value-class,Scala,Value Class,我已经定义了下面的类层次结构,我想在其中限制类型参数与Double一致 sealed abstract class Quantity[-T](value: T)(implicit ev: T <:< Double) case class DiscreteQuantity(value: Long) extends Quantity[Long](value) case class ContinuousQuantity(value: Double) extends Quantity[D

我已经定义了下面的类层次结构,我想在其中限制类型参数与
Double
一致

sealed abstract class Quantity[-T](value: T)(implicit ev: T <:< Double)

case class DiscreteQuantity(value: Long) extends Quantity[Long](value)

case class ContinuousQuantity(value: Double) extends Quantity[Double](value)

密封抽象类数量[-T](值:T)(隐式ev:T这是可能的,但正如我在评论中所说:
这是可能的,但正如我在评论中所说:
你开始的代码不起作用:“不能证明你开始的代码不起作用的时间太长:”不能证明那么长
sealed trait Quantity[-T <: Double] extends Any { 
  protected[this] def value: T 
}

case class ContinuousQuantity(value: Double) extends AnyVal with Quantity[Double]