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

Question

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

它们必须在另一个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 ）。 这就是为什么。