Scala 中的类型参数化

所以我现在正在学习 Scala，我正在尝试创建一个向量空间为 3（x，y，z 坐标）的抽象向量类。我正在尝试将其中两个向量与以下代码相加：

package math

class Vector3[T](ax:T,ay:T,az:T) {
  def x = ax
  def y = ay
  def z = az
  override def toString = "<"+x+", "+y+", "+z+">"
  def add(that: Vector3[T]) = new Vector3(x+that.x, y+that.y, z+that.z)
}

问题是我不断收到此错误：

错误：类型不匹配；
成立 ： 时间
必需：字符串
定义 添加（即：Vector3 [T]）=新 Vector3(x+that.x, y+that.y, z+那个.z)

我尝试注释掉上面的“toString”方法，但这似乎没有任何效果。谁能告诉我我做错了什么？

使用 Scala 2.8，您可以编写：

case class Vector3[T: Numeric](val x: T, val y: T, val z: T) {
  override def toString = "(%s, %s, %s)" format (x, y, z)

  def add(that: Vector3[T]) = new Vector3(
    plus(x, that.x),
    plus(y, that.y),
    plus(z, that.z)
  )

  private def plus(x: T, y: T) = implicitly[Numeric[T]] plus (x, y)
}

让我解释。第一的，T: Numeric是一个上下文绑定，隐式提供Numeric[T]你的班级的实例。

The Numeric[T]Trait 提供对数字类型的操作，

trait Numeric[T] extends Ordering[T] {
  def plus(x: T, y: T): T
  def minus(x: T, y: T): T
  def times(x: T, y: T): T
  def negate(x: T): T
  // other operations omitted
}

表达方式implicitly[Numeric[T]]检索此隐式上下文，以便您可以执行以下操作plus关于具体参数 x、y 和 z，如上面的私有方法所示。

您现在可以构建并add的不同实例Vector3例如与Int's and Double's:

scala> Vector3(1,2,3) add Vector3(4,5,6)                                  
res1: Vector3[Int] = (5, 7, 9)

scala> Vector3(1.1, 2.2, 3.3) add Vector3(4.4, 5.5, 6.6)                      
res2: Vector3[Double] = (5.5, 7.7, 9.899999999999999)

旁注：可以使用隐式转换将值转换为Numeric[T].Ops实例可以改为编写以下内容：

  def add(that: Vector3[T]) = new Vector3(x + that.x, y + that.y, z + that.z)

我故意选择不使用这些隐式转换，因为它们（可能）通过创建临时包装对象而导致一些性能损失。实际性能影响取决于 JVM（例如，它在多大程度上支持逃逸分析以避免堆上的实际对象分配）。使用上下文绑定和implicitly避免了这种潜在的开销……但代价是有些冗长。