斯卡拉泛型和数值含义
我需要将两个函数作为参数传递给scala函数。 然后，该功能应该对它们进行评估，并从中获取一个数字，然后在那里进行操作。 此号码可以是Int，Double或任何其他数字类型。 我希望这个函数能够工作，无论它使用什么类型。
下面的例子解释了这个问题。
import Numeric.Implicits._
class Arithmetic[T : Numeric](val A: Connector[T], val B: Connector[T]) {
val sum = new Connector({ A.value + B.value })
}
class Constant[T](var x: T) {
val value = new Connector({ x })
}
class Connector[T](f: => T) {
def value: T = f
override def toString = value.toString()
}
object Main extends App{
val n1 = new Constant(1)
// works
val n5 = new Constant(5)
val a = new Arithmetic( n1.value, n5.value )
println(a.sum)
// no works
val n55 = new Constant(5.5)
val b = new Arithmetic( n1.value, n55.value )
println(b.sum)
}
我也试过了
class Arithmetic[T,R : Numeric](val A: Connector[T], val B: Connector[R]) {
和其他几个组合，但我最终结束了
error: could not find implicit value for parameter num: scala.math.Numeric[Any]
val sum = new Connector({ A.value + B.value })
您看到的错误消息是因为Numeric[T].plus只能用于添加两个相同类型T值。 你的代码是在数字扩展自动发生的前提下编写的 - 在这种情况下，编译器除了存在Numeric[T]实例外不知道其他类型。
如果你需要sum作为一个稳定的值，你必须在构造函数中提供必要的类型信息，如下所示：
class Arithmetic[A : Numeric, R <% A, S <% A](val a: Connector[R], b: Connector[S]) {
val sum = new Connector[A]((a.value:A) + (b.value:A))
}
这需要类型R和S兑换成某种类型的A针对其Numeric[A] istance是已知的。 在创建实例时，您将始终必须提供所有类型参数，因为无法推断它们。
如果你不需要sum稳定，你可以改变你的班级：
class Arithmetic[A,B](val a: Connector[A], val b: Connector[B]) {
// if A and B are the same types
def sum(implicit e: B =:= A, n: Numeric[A]): Connector[A] =
new Connector(n.plus(a.value, b.value))
// else widen to C
def wideSum[C](implicit f: A => C, g: B => C, n: Numeric[C]) =
new Connector(n.plus(a.value, b.value))
}
val a = new Connector(1)
val b = new Connector(2)
val c = new Connector(3.0)
val d = (new Arithmetic(a,b)).sum
// val e = (new Arithmetic(b,c)).sum // <-- does not compile
val e = (new Arithmetic(b,c)).wideSum[Double]
当扩大时，你仍然需要提供类型信息。
链接地址: http://www.djcxy.com/p/55623.html