4

Field次のように型クラスを定義する必要があります。

trait Field[A] {  
  // Additive identity
  def zero: A

  // Multiplicative identity
  def one: A
}

型クラスはNumericメソッドも提供しzeroますone。

Numericインスタンスを使用できるすべてのクラスを、インスタンスを持つクラスが必要な場所で使用できるようにしたいと考えていFieldます。たとえば、次のように動作するはずです。

def func[F: Field](f: F) = println(f)
func(2)

これを達成する方法を教えてください。次のことを試しましたが、うまくいきませんでした：

scala> implicit def numericToField[N](n: Numeric[N]) = new Field[N] {
     |     def zero = n.zero
     |     def one = n.one
     |   }
numericToField: [N](n: Numeric[N])java.lang.Object with Field[N]

scala> def func[F: Field](f: F) = println(f)
func: [F](f: F)(implicit evidence$1: Field[F])Unit

scala> func(2)
<console>:12: error: could not find implicit value for evidence parameter of type Field[Int]
       func(2)
           ^
4

2 に答える 2

7

あなたはほとんどそれを手に入れました。次の小さな変更を加えるだけです。

scala> implicit def numericToField[N](implicit n: Numeric[N]) = new Field[N] {
 |     def zero = n.zero
 |     def one = n.one
 |   }
于 2011-02-02T13:17:28.573 に答える
3

あなたの解決策はほぼ正しいですが、次のように func を定義する必要があります。

def func[F <% Field](f:F) = println(f)

今定義したように、F は Field (または Field のサブタイプ) である必要があり、1 つに変換できるだけではありません。「F <% フィールド」表記は、フィールドへの暗黙的な変換を持つすべての値も許容されることを意味します。2 番目の解決策は、func(2) の呼び出しからスコープ内のどこかに暗黙の Field[Int] インスタンスを作成した場合にも機能します。

于 2011-02-02T12:49:22.507 に答える