在 Scala 中使用方法名称 "x" 进行隐式转换

Question

假设我想通过提供像这样的隐式转换来添加计算两个三元组向量积的工具：

import scala.math.Numeric.Implicits._

case class Vector3[T : Numeric](a : T, b : T, c : T) {
    def x(v : Vector3[T]) = (b*v.c - c*v.b, c*v.a - a*v.c, a*v.b - b*v.a)
}

implicit def toVector[T : Numeric](p : (T,T,T)) = Vector3(p._1, p._2, p._3)

我希望可以编译以下代码：

       (1,0,0) x (0,1,0) // does not compile

然而，它会产生一个错误，即 "x" 不是 (Int, Int, Int) 的成员。手动创建包装器实例 class：

Vector3(1,0,0) x (0,1,0) // compiles

如果我使用另一个方法名称而不是 'x'，比如 'y'，隐式转换也有效：

       (1,0,0) y (0,1,0) // compiles
Vector3(1,0,0) y (0,1,0) // compiles

"x"有什么特别之处？它是如何干扰隐式转换机制的？

Answer 1

.x 有什么问题吗？让我们问：

scala> (1,2,3).x
<console>:23: error: type mismatch;
 found   : (Int, Int, Int)
 required: ?{def x: ?}
Note that implicit conversions are not applicable
because they are ambiguous:
 both method tuple3ToZippedOps in object Predef of type
   [T1, T2, T3](x: (T1, T2, T3))runtime.Tuple3Zipped.Ops[T1,T2,T3]
 and method toVector of type
   [T](p: (T, T, T))(implicit evidence: Numeric[T])Vector3[T]
 are possible conversion functions from (Int, Int, Int) to ?{def x: ?}

所以你看到了问题：x 在另一个转换中被用作基础元组的名称。这是来自 runtime.Tuple3Zipped.Ops:

final class Ops[T1, T2, T3](val x: (T1, T2, T3)) extends AnyVal

这可以说是一个错误； x 是一个讨厌的参数，约定俗成叫它 repr 或 underlying，在 2.11 中它可以设为私有，以免打扰任何人。

在 Scala 中使用方法名称 "x" 进行隐式转换

Using method name "x" with implicit conversions in Scala

scala

compilation

implicit-conversion