为什么隐式参数在进行隐式转换时无法显式传递？

Question

为什么iWantInt(a)不能在iWantInt(b)编译而且 - 更令人惊讶的是 - iWantInt呢？

我怎么能理解这种行为？

为什么我不能明确地传递a以iWantInt时，我可以隐传呢？

如何iWantA从不同iWantInt ？ 为什么它的工作方式不一样？

这种行为是在某处记录/解释的吗？

如果Scala接受iWantInt(a)会导致什么样的问题？ 为什么禁止它？

class A

class B

object Run extends App {
  implicit val a = new A
  implicit val b = new B
  implicit def A2Int(implicit a:A)=1
  implicit def B2Int(b:B)=2
  def iWantA(implicit a:A)=println("A")
  def iWantInt(implicit i: Int) = println(i)

  iWantInt(b) // prints 2

  iWantInt    // prints 1
//  iWantInt(a) // when uncommented this line does not compile, why ?

  iWantA      // prints A
  iWantA(a)   // prints A
}

Answer 1

而不是定义隐式转换， A2Int就像一个已声明为隐式的值，如示例中的implicit val a ，唯一的区别是必须在范围内发现隐式A才能使其工作。 这是允许iWantInt没有显式参数进行编译的原因 - 编译器将A2Int作为隐式Int发现，然后找到a作为A2Int的隐式A

对于有资格作为隐式转换的函数，它必须采用单个非隐式参数。 B2Int采用单个参数(b: B) ，因此符合要求。 这允许iWantInt(b)进行编译。 A2Int具有(implicit a: A)但因为该参数是隐含A2Int不符合要求，所以iWantInt(a)不编译，除非像线implicit def A2Int2(a:A) = 1被添加。 如果您使用-feature标志运行scalac （它至少建议使用2.11），它将显示B2Int和A2Int2警告，表示应通过显示scala.language.implicitConversions显式启用隐式转换。 它没有显示A2Int的警告，表明编译器不会将其视为隐式转换。

Scala语言参考是Scala的最终定义。 有关这些特定功能的行为规范，请参见第7章“隐式参数和视图”。