斯卡拉抽象性状的语义

Question

我想知道使用abstract关键字与trait组合的语义是什么。

如果性状没有定义任何抽象方法，在abstract关键字不会阻止我创建一个实例：

scala> abstract trait T 
defined trait T 

scala> new T{} 
res0: java.lang.Object with T = $anon$1@12cd927d 

在另一方面，如果性状确实定义了一个抽象的方法，我不能创建一个实例（没有实现，当然这种方法），无论是否abstract关键字存在与否：

scala> abstract trait T { def foo : Unit } 
defined trait T 

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

scala> trait T { def foo : Unit } 
defined trait T 

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

那么，什么是一个前面的abstract关键字210有用吗？

Answer 1

它没有效果，性状自动抽象。

抽象修饰符用于类定义。对于性状是多余的 ，并且对于具有不完整的 成员的所有其他类别是强制性的。

http://www.scala-lang.org/docu/files/ScalaReference.pdf

Answer 2

你没有创建特征的一个实例。特征不能被实例化。

您正在创建一个扩展特质的匿名类的实例。

一般而言，

new __t__ 

相当于

{ class __anonymous__ extends __t__; new __anonymous__ } 

（其中__anonymous__是匿名类是不可访问的用户程序的一个新鲜名称）。

这在section 6.10 Instance Creation Expressions of the Scala Language Specification中有详细说明。

那么，为什么你可以创建在第一种情况下的实例的原因，是因为你没有创建特征的一个实例（这是抽象的），但一个对象（不）。

在第二种情况下，您无法创建实例的原因是，如果您从某种东西继承，无论这是一个特质还是一个类，您最终必须在继承链的某处实现其抽象方法为了实例化它。在第一种情况下，没有抽象的方法来实施。

的abstract关键字本身没有什么区别：特点是含蓄抽象，关键字是多余的。