5

我希望能够将数字元组（Ints 和 double）隐式转换为向量对象。

假设一个带有 + 方法的 Vector 类

case class Vector(x: Double, y:Double){
  def + (v:Vector)= new Vector(x+v.x,y+v.y)
}

我的目标是让以下代码工作。

val vec = (1,2)+(.5,.3) // vec == Vector(1.5,2.3)

我可以通过Int以下方式使用它

implicit def int2vec(t:Tuple2[Int,Int])=new Vector(t._1,t._2)
val vec = (1,2)+(3,4) // vec == Vector(4.0,6.0)

但是当我添加双精度转换时它失败了

implicit def int2vec(t:Tuple2[Int,Int])=new Vector(t._1,t._2)
implicit def double2vec(t:Tuple2[Double,Double])=new Vector(t._1,t._2)
val a = (1,2)
val b = (.5,.3)
val c = (1,1)+b // vec = Vector(1.5,1.3)
val d = (1,2)+(.3,.5) // compile error: wrong number of arguments
val e = (1,2)+((.3,.5)) // compile error: type mismatch

根据 Andri 的建议尝试加倍

implicit def double2vec(t:Tuple2[Double,Double])=new Vector(t._1,t._2)
val a = (.5,.3)
val b = (1,1)+a // type mismatch found:(Double,Double) required:String

我需要做什么才能使其正常工作？

4

2 回答 2

11

Scala 的语法很灵活，但不是无限灵活。特别是，元组、参数和隐式的汇合使得这在库设计空间中成为一个非常危险的领域。正如您所注意到的，事情可能会中断，无法正常工作，并给出神秘的错误消息。如果可以的话，我建议你避免它。

特别是，我建议您做出以下定义：

val V = Vector

然后您的所有示例都按您的预期工作，没有任何隐含、魔法或神秘的错误消息，并且每个向量只有一个字符。

val a = V(1,2)+V(.5,.3)
val b = V(1,2)+V(3,4)
val c = V(1,2)
val d = V(.5,.3)
val e = V(1,1)+b
val f = V(1,2)+V(.3,.5)
val g = V(.5,.3)
val h = V(1,1)+a

这不是您想要的语法，但相信我，从长远来看，它会为您省去痛苦和头痛。

于 2009-04-01T21:13:11.350 回答
0

这些隐式转换是模棱两可的，因此 Scala 不会使用它们中的任何一个。这就是为什么最后几行不会评估的原因。

解决此问题的一种方法将int2vec完全排除在外，尽管这意味着首先将所有整数隐式转换为双精度数。

于 2009-04-01T20:33:22.600 回答