Question

任何人都可以告诉我为什么隐式类型转换不适用于==？

示例：

class BitArray(l: Int, v: Long) {  
    val length = l  
    var value = v  
    def ==(that: BitArray) = value == that.value  
    def ==(integer: Long) = value == integer  
    def +(that: BitArray) = new BitArray(length,value+that.value )  
    def +(integer: Long) = new BitArray(length,value+integer )  
//...  
}  
object BitArray{
        implicit def longToBitArray(x : Long) = new BitArray(64,x)  
        def apply(v: Long) :BitArray = apply(64,v)  
}

现在我能做到：

scala> BitArray(5) + 5  
res13: BitArray = 00000000000000000000000000001010  
scala> 5 + BitArray(5)   
res14: BitArray = 00000000000000000000000000001010  
scala> BitArray(5) == 5  
res15: Boolean = true  
scala> BitArray(5) == 6  
res16: Boolean = false

BUT：

scala> 5 == BitArray(5)  
<console>:11: warning: comparing values of types Int and BitArray using `==' will   
always yield false  
       5 == BitArray(5)  
         ^  
res17: Boolean = false

Answer 1

你缺少Scala的一个基本方面，这就是平等的工作方式。

基本上，所有扩展AnyRef的类都实现了以下方法：

def   equals  (arg0: Any)  : Boolean

所有类都实现以下方法：

def   ==  (arg0: Any)  : Boolean

现在，您应该覆盖==而不是equals。方法==将调用equals，但Java代码将使用equals，而不是==。这不是你看到的问题的原因，但重要的是我认为值得一提。

现在，关于隐式不起作用，请记住只有在没有方法满足您的代码时才会查找implicits。但是，Int的{{1}}可以与==进行比较，因为BitArray会收到==类型的参数。因此，调用Any的相等方法，不查找隐式。

Answer 2

要覆盖==运算符，您实际上应该覆盖equals方法：

override def equals(other: Any): Boolean = other match {
  case ba: BitArray => value == ba.value
  case _ => false
}

您无法使BitArray的实例等于Long且仍然遵守平等合约（即它不会是对称的）。

Answer 3

添加其他答案，请记住equals函数必须是SYMMETRIC，即(a equals b) == (b equals a)。

Scala隐式类型转换和==

3 个答案: