Ist es möglich, den Typ einer Liste auf eine Implementierung einer Schnittstelle in Kotlin zu beschränken?

Question

Ich habe eine Klasse Stealth Implementierung der Schnittstelle Skill und eine Klasse SoundlessMovement die Implementierung der Schnittstelle Mastery. Jetzt möchte ich die Meisterschaft SoundlessMovement der SkillStealth hinzufügen, während die Mastery durch die Skill unterstützt wird.

Ich möchte so etwas wie dieses (Pseudo-Kotlin) tun:

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

und

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

mit Implementierungen:

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

und

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

Ziel ist es, sicherzustellen, dass einer Fertigkeit nur kompatible Meisterschaften hinzugefügt werden können. Ist so etwas überhaupt möglich? Und wenn ja, wie könnte es in Kotlin umgesetzt werden?

Answer 1

Ich weiß nicht, ob ich verstehe Sie wirklich, aber ich denke, dass dieses Stück Code Ihr Problem löst:

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 
} 

Der Schlüssel hier ist Skill<Self> zu verwenden, um die aktuellen Implementierungen gebunden. Beachten Sie auch, dass ich class Stealth ... zu geändert habe, da Sie sind, die den Mastery-Typ definieren. Eine weitere Option könnte Kotlin's sealed class

Beachten Sie, dass Selfist nicht ein reserviertes Wort noch etwas ähnliches werden. Der Code funktioniert auch, wenn Sie ihn nur in T ändern. Ich entschied mich, Self nur zu verwenden, um Sie darauf aufmerksam zu machen, welchen Typ Sie dort setzen sollten