Scala 隐式参数，其默认值在伴生对象中定义

Question

根据 Scala 规范 (2.8)，要找到隐式，它必须在本地作用域、继承作用域或伴生对象中定义。鉴于此，在我看来，以下代码应该可以在没有显式导入伴随对象内容的情况下工作。我看到它在 Scala 库源代码中使用（例如 CanBuildFrom）。看来我应该能够从 XX 类的定义之外调用 XX.foo() 并使用伴生类中的隐式参数。我缺少什么？

object XX {
   implicit def XYZ[T]: (T) => Unit = null
}

class XX {
  // import XX._     // Works with this line uncommented...
  def foo(s: String)(implicit f: (String) => Unit): Unit = {
    if (f == null)
      println("Just: " + s)
    else
      f(s)
  }

  def bar {
    foo("abc"){ s => println("Func: " + s)}
    foo("xyz")  // <-- Compile error here: could not find implicit value for parameter f
  }
}

Answer 1

我总是将规范解释为隐式参数可以在隐式参数的伴随对象中定义，而不是在包含定义的类中定义。像这样的事情：

object ZZ {
   implicit val xyz: ZZ = new ZZ()
}
class ZZ {
  def bar: (String) => Unit = null
}

class XX {
  def foo(s: String)(implicit f: ZZ): Unit = {
    if (f.bar == null)
      println("Just: " + s)
    else
      f.bar(s)
  }

  def bar {
    foo("xyz")
  }
}

规范第 7.2 节似乎很清楚：

符合条件的实际参数
传递给隐式参数
T 型分为两类。
首先，所有标识符都符合条件 x
可以在以下位置访问
没有前缀的方法调用和
表示隐式定义
(§7.1) 或隐式参数。一个
因此，合格的标识符可能是本地的
名称，或封闭的成员
模板，或者可能已经制作好了
无需前缀即可通过
进口条款（§4.7）。如果没有
本规则下的合格标识符，
那么，第二，符合条件的也都是
某些对象的隐式成员
属于隐式范围
隐式参数的类型，T。

您能引用指示定义的包含类的伴生对象的部分吗？