8

次のように、 aと ainterpolateの 2 つのメソッドを持つ任意の型で機能するジェネリック メソッドを作成しようとしています。*+

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
                             ^

構造型を正しく指定するにはどうすればよいですか? （または、これを行うより良い方法はありますか？）

4

2 に答える 2

9

この問題は、(たとえばScalazの) typeclassesアプローチを使用して解決できます。

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
}
于 2010-07-11T12:51:22.197 に答える
3

私の知る限り、これは不可能です。これは私自身の最初の質問の 1 つでした。

于 2010-07-08T13:04:40.087 に答える