斯卡拉嵌套參數化類

Question

在我的Scala應用程序我有兩個抽象類：

abstract class Definition 
abstract class Evaluator[T <: Definition] 

我也有一些定義和相應的評估。我試圖創建的類是這樣的類：

abstract class AbstractEvaluationContext[E <: Evaluator[D]] 

用一些方法。

我的問題是：如何訪問評估者要評估的定義類型。例如。帶類：

class SomeEvaluationContext extends AbstractEvaluationContext[SomeEvaluator[SomeDefinition]] 

如何在AbstractEvaluationContext類中獲取SomeDefinition類型？

例如我想定義的方法：

def getDefinition(): D = ... 

其返回類型將作爲評估參數傳遞的定義。

Answer 1

你必須定義你的類是這樣的：

abstract class AbstractEvaluationContext[D <: Definition, E <: Evaluator[D]] { 
    def getDefinition(): D 
} 

class SomeEvaluationContext extends 
    AbstractEvaluationContext[SomeDefinition, SomeEvaluator[SomeDefinition]] { 
    def getDefinition(): SomeDefinition = ??? 
} 

其實你有問題的代碼是無效的。沒有類型的聲明D：

scala> abstract class AbstractEvaluationContext[E <: Evaluator[D]] 
<console>:9: error: not found: type D 
     abstract class AbstractEvaluationContext[E <: Evaluator[D]] 
                  ^