なぜ形質をインスタンス化できますか？

Question

私が学んだ限り、Scalaの特性は、メソッドが実装を持つことを許されている点を除けば、Javaのインタフェースに似ています。また、Scalaクラスとは異なり、構築のために引数を渡すことはできません。

これまでのところ、とても良いです。しかし、なぜ私はそれらをインスタンス化することができますか？本当に、私はこれを許す正当な理由は見当たりません。

Answer 1

実際にインスタンス化するわけではありません。 Javaと並行して作業を進めていくうちに、さらに進んでみましょう。あなたは抽象クラスまたはインタフェースからAnonymousクラスを構築することができます。これはScalaでほぼ同じである：

scala> trait A 
defined trait A 

scala> new A {} 
res0: A = $anon$1@5736ab79 

メモ特性からオブジェクトを作成するときに、中括弧が必須あること。例えば、ヨンは行うことはできません。

scala> new A 
<console>:9: error: trait A is abstract; cannot be instantiated 
       new A 
      ^

を、それがクラスに完璧に動作だろうが：あなたの特性におけるいくつかの要素が実装されていない場合はもちろん

scala> class B 
defined class B 

scala> new B 
res2: B = B@213526b0 

を、あなたが作成するときにそれらを実装する必要がありますオブジェクト：

scala> trait C {def foo: Int} 
defined trait C 

scala> new C {} 
<console>:9: error: object creation impossible, since method foo in trait C of type => Int is not defined 
       new C {} 
       ^

scala> new C {def foo = 42} 
res4: C = $anon$1@744957c7