ListのタイプをKotlinのインターフェースの実装に制限することはできますか？

Question

私は、SkillインターフェイスとSoundlessMovementインターフェイスを実装するクラスStealthを持っており、インターフェイスMasteryを実装しています。今度はSkillStealthに熟達度SoundlessMovementを追加し、SkillでMasteryを確実にサポートします。

は、私は、この（擬似Kotlin）のような何かをしたい：

interface Skill { 
    val masteries: List<Mastery<Skill>> // Mastery linked to type Skill 
} 

と実装と

interface Mastery<Skill> { // Every Mastery must be compatible with only one Skill 
    val masteryName: String 
} 

：

class Stealth : Skill { 
    override val masteries: ArrayList<Mastery<Stealth>() // Any Mastery bound to Stealth 
} 

と

class SoundlessMovement : Mastery<Stealth> { // Is a Mastery compatible with Stealth 
    override val masteryName = "Soundless Movement" 
} 

を

目的は、互換性のあるマスターのみをスキルに追加できるようにすることです。 このようなことも可能ですか？そしてもしそうなら、Kotlinでどのように実装することができますか？

Answer 1

私は本当にあなたを理解している場合、私は知らないが、私は、コードのこの部分はあなたの問題を解決思う：

interface Mastery<Skill> { 
    val masteryName: String 
} 

interface Skill<Self : Skill<Self>> {        // forces every Skill to bound to itself 
    val masteries: List<Mastery<Self>> 
} 

abstract class Stealth : Skill<Stealth> { 
    override val masteries = ArrayList<Mastery<Stealth>>() 
} 

class SoundlessMovement : Mastery<Stealth> {   // a Stealth mastery 
    override val masteryName = "Soundless Movement" 
} 

class SoundlessMovement2 : Mastery<Stealth> {  // another Stealth mastery 
    override val masteryName = "Soundless Movement 2" 
} 

abstract class Archery : Skill<Archery> {   
    override val masteries = ArrayList<Mastery<Archery>>() 
} 

class SureShot : Mastery<Archery> {     // some other mastery 
    override val masteryName = "Sure shot 2" 
} 

fun main(args: Array<String>) { 

    var list = ArrayList<Mastery<Stealth>>() 

    list.add(SoundlessMovement())   // compiles 
    list.add(SoundlessMovement2())   // compiles 
    list.add(SureShot())      // Doesn't compile 
} 

ここで重要なのは、現在の実装をバインドするためにSkill<Self>を使用することです。また、class Stealth ...をabstract class Stealth ...に変更したのは、がマスタタイプのと定義されているからです。別のオプションは、Kotlin's sealed class

を使用することができSelfが予約語でも同様のものではないことに注意してください。コードをちょうどTに変更すれば、このコードも機能します。私はSelfを使用して、あなたがそこに置くべきタイプを認識させるようにしました。