在Scala中,我如何告诉抽象基类类型参数T是否支持从Int(或Float或

我很难从C / Templates的世界过渡到 scala.我习惯于能够在我想要的模板参数T上使用任何操作,只要我用来实例化T并支持那些操作(编译时鸭子打字,基本上).我在 Scala中找不到相应的成语,它允许我定义一个带有单个类型参数的抽象类,并且它需要类型T的某个接口.

我几乎可以工作,但我无法弄清楚如何告诉抽象类(Texture [T<：Summable [T]])T支持从Int转换/构造.如何将隐式转换添加到特性Summable中,以便Texture知道T支持转换？

trait Summable[T] { 
   def += (v : T) : Unit
   def -= (v : T) : Unit   
}

object Int4 { implicit def int2Int4(i : Int) = new Int4(i,i,i) }

class Int4 (var x : Int,var y : Int,var z : Int,var w : Int) extends Summable[Int4] {
   def this (v : Int) = this(v,v,v)
   def += (v : Int4) : Unit = { x += v.x; y += v.y; z += v.z; w += v.w }
   def -= (v : Int4) : Unit = { x -= v.x; y -= v.y; z -= v.z; w -= v.w } 
}

abstract class Texture[Texel <: Summable[Texel]] {
   var counter : Texel
   def accumulate(v : Texel) : Unit = { counter += v }
   def decrement() : Unit = { counter -= 1 } //< COMPILE ERROR HERE,fails to find implicit
}

class Int4Target extends Texture[Int4] {
   var counter : Int4 = new Int4(0,1,2,3)
}

abstract class Texture[Texel <: Summable[Texel]](implicit int2Texel: Int => Texel) {
//...