斯卡拉隐式参数的类型查找失败

Question

试图了解这种隐式发现的情况 - finding implicit of an argument's type。我复制粘贴正式例如到IDE中，只是改变了方法名MUL这样的：

class A(val n: Int) { 
    def mul(other: A) = new A(n + other.n) 
} 
object A { 
    implicit def fromInt(n: Int) = new A(n) 
} 
1 mul (new A(1)) 

现在，它会导致编译错误说：

value mul is not a member of Int 

我也尝试过用字符串代替Int，这又导致编译错误。

你能解释我做错了什么部分吗？

Answer 1

def +(other: A) =...和def mul(other: A) =...之间的区别是，Int有+方法，但它没有一个mul方法。

如果该方法存在，但不是传递参数类型，那么编译器将查找隐式转换。包含在隐式作用域中的是传递的参数参数的伴随对象。如果找到隐式转换，则整个表达式将进行转换评估。

如果该方法不存在，则伴随对象中的隐式转换不在隐式范围内。它不会被发现，也不会发生转换。

如果您要将implicit def fromInt(...移动到伴随对象的外部，那么将发生mul()转换。