在方法簽名中允許子類型的特徵

如何在繼承特徵中定義的方法中強制子類型？我在什麼地方放？下面在方法簽名中允許子類型的特徵

trait Organism { 
def reproduce(org:???):Bool 
} 

class Amoeba extends Organism { 
    def reproduce(org:Amoeba) = {// so cute..} 

} 
class Dinosaur extends Organism { 
def reproduce(org:Dinosaur) = { // so scary} 
}

我的客戶端代碼將是這樣的：

object BoozeParty { 
def gonuts() = { 
    val (maleOrganism:Organism,femaleOrganism:Organism) = getOrganisms() 

    maleOrganism.reproduce(femaleOrganism) 

} 
}

上面的代碼應該工作，不論我通過方法getOrganisms發送恐龍或變形蟲（），因爲它返回一個元組（生物，生物）

，我要實現的兩個概念：

阿米巴知道如何MA te與變形蟲和恐龍知道如何與恐龍交配。所以讓他們弄清楚錯綜複雜的細節。
恐龍不應該傳給變形蟲。只有變形蟲變形蟲

來源

2013-04-17 RAbraham

我很確定你可以定義一個引用自身的特徵，所以它會是特質組織{def rep（org：Org）} – Alex

但那可以讓我用恐龍代表阿米巴嗎？我不想要 – RAbraham

這是常見的使用稱爲F有界多態性（見Scala School）。

trait Organism[Self <: Organism[Self]] { self: Self => 
    def reproduceWith(org:Self):Boolean 
} 

class Amoeba extends Organism[Amoeba] { 
    def reproduceWith(org:Amoeba) = ??? 
} 

class Dinosaur extends Organism[Dinosaur] { 
    def reproduceWith(org:Dinosaur) = ??? 
} 

class Monster extends Dinosaur

Organism[X]其中X規定，它必須是一個Organism[X]。這意味着只有X可以通過，這也延伸Organism[X]。

爲了防止Dinosaur extends Organism[Amoeba]我添加了一個自我型self: Self =>告訴編譯器這個特質應該是在傳遞的類型混合

的mate函數現在看起來是這樣的：

def mate[Species <: Organism[Species]](male:Species, female:Species) = 
    male reproduceWith female

用法是這樣的：

val a1 = new Amoeba 
val a2 = new Amoeba 

val d1 = new Dinosaur 
val d2 = new Monster 

mate(a1, a2) 
mate(d1, d2) 
// wont compile 
// mate(a1, d1)

如果你想要的類型更加限制（並與多個COM plex代碼）你可以看看這個答案：Scala: implementing method with return type of concrete instance

來源

2013-04-17 19:56:32 EECOLOR

在方法簽名中允許子類型的特徵

回答

相關問題