Kotlin, generische Zusatz

Question

Ist es möglich, eine allgemeine zu implementieren, sagen wir mal, zusätzlich wie folgt aus:

public abstract interface NumberEx { 

    abstract fun plus(other: NumberEx): NumberEx 
} 

abstract interface Vec2t<T : NumberEx> { 

    open var x: T 
    open var y: T 

    fun add(res: Vec2t<T>, a: Vec2t<T>, bX: T, bY: T): Vec2t<T> { 
     res.x = a.x + bX 
     res.y = a.y + bY 
     return res 
    } 
} 

Weil hier die Compiler beschwert sich über a.x + bX und a.y + bY:

Typenkonflikt. Erforderlich: T Gefunden: NumberEx

Answer 1

Eine Möglichkeit, eine rekursive NumberEx Definition wie so beschäftigen wird:

interface NumberEx<T : NumberEx<T>> { 
    operator fun plus(other: T): T 
} 

Diese eine Implementierung erfordern würde ein Plus-Operator zur Verfügung zu stellen:

class ANumber : NumberEx<ANumber> { 
    override fun plus(other: ANumber): ANumber { 
     //TODO 
    } 
} 

Und würde es durch Compiler sicher und verständlich machen, in Vec2t

zu verwenden