抽象類型的益智遊戲

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。