在 Scala 中实例化特征的两种方法

Question

我知道在 Scala 中创建匿名类来实例化特征的两种方法：

scala> trait SomeTrait {
     |   def aUsefulMethod = ()
     | }
defined trait SomeTrait

scala> val instance1 = new SomeTrait{} // Method 1
instance1: SomeTrait = $anon$1@7307556f

scala> instance1.aUsefulMethod // Returns a Unit.

scala> object instance2 extends SomeTrait // Method 2
defined module instance2

scala> instance2.aUsefulMethod // Returns a Unit.

我想不出它们不相等的原因。我错了吗？

我问的部分原因是我以前只知道方法 2，但现在我发现方法 1 更常见。所以我想知道我是否一直在做错事。

Answer 1

第一种方法new Trait {} 创建一个新的class-instance。

第二种方法创建一个object，它是一个单例。

可以在 REPL 中看到这一点：

定义特征

scala> trait Example {}
defined trait Example

新的匿名类

每次调用 new 都会返回一个新的实例。可以看出，每个对象都有一个新地址。

scala> new Example{}
res0: Example = $anon$1@768debd

scala> new Example{}
res1: Example = $anon$1@546a03af

对象扩展特征

这里一个单例对象被创建一次。

scala> object X extends Example
defined object X

scala> X
res2: X.type = X$@1810399e

scala> X
res3: X.type = X$@1810399e

影响与比较

即使表面上这两种方法看起来相似，但它们会导致不同的结果。

scala> new Example{} == new Example{}
<console>:12: warning: comparing values of types Example and Example using `==' will always yield false
   new Example{} == new Example{}
                 ^
 res4: Boolean = false

 scala> X == X
 res5: Boolean = true

更深入

在底层结构上，两种方法都会导致在JVM 上运行时生成不同的*class 文件

匿名类

    $ cat example.scala 
    object Example1 {
      trait A
      new A {}
    }

    $ scalac example.scala 

    $ ls *class

      Example1$$anon$1.class Example1$A.class
      Example1$.class        Example1.class         

    $ cat example2.scala 
    object Example2 {
      trait A

      object X extends A
    }

    $ scalac example2.scala 

    $ ls *class
    Example2$.class   Example2$X$.class
    Example2$A.class  Example2.class 

Answer 2

val instance1 = new SomeTrait{} 同

class X extends SomeTrait
val instance1: SomeTrait = new X

除了编译器创建class X 并给它一个类似$anon$1 的名称。如果您随后执行val instance2 = new SomeTrait{}，编译器会注意到它可以重用相同的匿名类。而object instance2也基本是

class instance2$ extends SomeTrait {
  override def toString = "instance2"
}
lazy val instance2 = new instance2$

除非您不能创建 instance2$ 的新实例。所以一个区别是惰性实例化：instance2 仅在被访问时实际创建（例如，当您调用 instance2.aUsefulMethod 时），如果 SomeTrait 构造函数抛出异常或有其他副作用，这会有所不同。另一个是您可以在顶层使用object（在class、trait 或object 之外）。