scala - 为什么 Scala 中的隐式类必须驻留在另一个特征/类/对象中？

Question

基于 Scala 文档:http://docs.scala-lang.org/overviews/core/implicit-classes.html ，隐式类有三个限制，我在这里引用的第一个限制是

They must be defined inside another trait/class/object

解释/证明这种限制的直觉/理由是什么？

Answer 1

隐式类分解为“普通”类和实例化类的隐式方法:

implicit class IntOps(i: Int) { def squared = i * i }

改写为

class IntOps(i: Int) { def squared = i * i }
implicit def IntOps(i: Int) = new IntOps(i)

但是在 Scala 中，您不能在对象或类之外定义方法( def IntOps )。这就是为什么。