Scala – 如何定义引用自身的结构类型？

发布时间：2020-12-16 08:59:33 所属栏目：安全来源：网络整理

导读：我正在尝试编写一个泛型插值方法,该方法适用于任何具有两种方法的类型,a *和a,如下所示： trait Container { type V = { def *(t: Double): V def +(v: V): V } def interpolate(t: Double,a: V,b: V): V = a * (1.0 - t) + b * t} 这不起作用(在Scala 2.8.0

我正在尝试编写一个泛型插值方法,该方法适用于任何具有两种方法的类型,a *和a,如下所示：

trait Container {
  type V = {
    def *(t: Double): V
    def +(v: V): V
  }

  def interpolate(t: Double,a: V,b: V): V = a * (1.0 - t) + b * t
}

这不起作用(在Scala 2.8.0.RC7上),我收到以下错误消息：

<console>:8: error: recursive method + needs result type
           def +(v: V): V
                        ^
<console>:7: error: recursive method * needs result type
           def *(t: Double): V
                             ^

如何正确指定结构类型？ (或者有更好的方法吗？)

解决方法

当然你可以使用类型方法(例如 Scalaz)来解决这个问题：

trait Multipliable[X] {
  def *(d : Double) : X
}

trait Addable[X] {
    def +(x : X) : X
}

trait Interpolable[X] extends Multipliable[X] with Addable[X]

def interpolate[X <% Interpolable[X]](t : Double,a : X,b : X)
    = a * (1.0 - t) + b * t

那么显然你需要在范围内对你所关心的所有类型进行(隐式)类型类转换：

implicit def int2interpolable(i : Int) = new Interpolable[Int] {
  def *(t : Double) = (i * t).toInt
  def +(j : Int) = i + j
}

然后这可以很容易地运行：

def main(args: Array[String]) {
  import Interpolable._
  val i = 2
  val j : Int = interpolate(i,4,5)

  println(j) //prints 6
}

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!