抽象类型的益智游戏

Question

鉴于类A是：

class A { 
    type R 
} 

为什么下面的代码编译（并运行过）？

val a = new A 
println(a) 

是不是A应该是抽象的？

Answer 1

A不是抽象的。如果它是抽象的，然后它会看起来像：

abstract class A { 
    type R 
} 

或

trait A { 
    type R 
} 

现在，我不能在规范中找到它（没有多少运气在那里找到的东西最近）但我以前见过这个。如果没有使用该类型，那么它看起来好像没有被评估，这意味着缺乏完整性不是问题。

如果你真的想要A是抽象的，可以使用上述定义之一来代替。

Answer 2

只是为了阐述@ alex22的评论：

scala> trait T { type R; def foo(r: R) = r } 
defined trait T 

scala> new T{}.foo("") 
<console>:12: error: type mismatch; 
found : java.lang.String("") 
required: _6.R where val _6: java.lang.Object with T 
       new T{}.foo("") 
         ^

scala> new T{ type R = String }.foo("") 
res37: java.lang.String = "" 

Answer 3

抽象类型似乎有默认值Nothing。