Scala：將泛型類型參數約束爲另一個參數的類型

Question

我仍然試圖掌握Scala語言，因此請耐心等待我和我的所有問題。

我可以從另一個邊界的一個類型參數引用一個抽象類型嗎？例如，有沒有辦法可以使下面的代碼工作？什麼，我想在這裏實現其實質是對C的MAP參數的關鍵應該是參數T的SOMETYPE

trait T1 { 
    type SomeType; 
} 

trait MyMap[KEY, VALUE] { ... } 


class C { 
    def m[T <: T1, MAP <: MyMap[T.SomeType, Int]] { ... } 
}  

Answer 1

您需要type projection：

def m[T <: T1, MAP <: MyMap[T#SomeType, Int]]