斯卡拉上界：值不是类型参数的成员

Question

为什么价格可能找不到SeqValue上的属性值？这似乎很简单，应该工作。

即时得到错误

[error] .... value value is not a member of type parameter SeqValue 
[error] def recalc[SeqValue](input:SeqValue) = Price(1 + seq, input.value)  

以下代码

sealed trait SeqValue { 
    def seq:Int 
    def value:Float 
    override def toString = ToStringBuilder.reflectionToString(this, ToStringStyle.SHORT_PREFIX_STYLE) 
} 

sealed trait Calc { 
    type S <: SeqValue 
    def recalc[S](input:S):SeqValue 
} 

case class Price(seq:Int=0, value:Float=.0f) extends SeqValue with Calc { 
    def recalc[SeqValue](input:SeqValue) = Price(1 + seq, input.value) 
} 

的想法是，你可以重计算价格目标上，并通过在任何类型的实现SeqValue的对象，因为SeqValue有一个值。

Answer 1

类型成员S在Calc正在通过recalc方法的类型参数S被遮蔽。

第二个错误：抽象类型S必须在类Price中定义。

下面应该工作：

sealed trait SeqValue { 
    def seq:Int 
    def value:Float 
    override def toString = ToStringBuilder.reflectionToString(this, ToStringStyle.SHORT_PREFIX_STYLE) 
} 

sealed trait Calc { 
    type S <: SeqValue 
    def recalc(input:S):SeqValue 
} 

case class Price(seq:Int=0, value:Float=.0f) extends SeqValue with Calc { 
    type S = SeqValue 
    def recalc(input:SeqValue) = Price(1 + seq, input.value) 
} 

编辑：（响应评论）

我不明白你究竟想要做的，但你可以分离出来类型定义在一个单独的mixin特征中。

trait SAsSeqValue { 
    type S = SeqValue 
} 

case class Price(seq:Int=0, value:Float=.0f) extends SeqValue with Calc with SAsSeqValue {  
    def recalc(input:SeqValue) = Price(1 + seq, input.value) 
}