覆蓋抽象Scala的類型

Question

我想覆蓋在一個抽象類通過另一個類擴展中定義的類型的方法。

這裏是爲了說明的簡單示例：

abstract class abstr_test{ def word: Int} 

class sub_test(s :String) extends abstr_test{def word: String = s} 

Answer 1

可以使用一種類型的變量來實現此目的。

abstract class Test { 
    type A 
    def word: A 
} 

class SubTest(s: String) extends Test { 
    type A = String 
    def word: String = s 
} 

Answer 2

只是爲了解釋爲什麼允許你想要什麼（而不是@ soote的答案提供的）將是一個非常糟糕的主意。

說你的方法的範圍有val x: abstr_test。然後你可以做val y: Int = x.word。 x來自哪裏並不重要;如果你到這條線（和x不null，並word實現不拋出異常），則y必須是Int;否則，def word: Int甚至意味着什麼？

但如果sub_test延伸abstr_test，則sub_test類型的值也是abstr_test的值;再次，這只是「子類型」的含義。所以你實際上可以有val x: abstr_test = new sub_test("not a number")。 val y: Int = x.word之後y的值應該是多少？