Kotlin,通用添加

ele*_*ect 3 generics math kotlin

是否可以实现通用,比方说,如下所示:

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
    }
}
Run Code Online (Sandbox Code Playgroud)

因为这里的编译器抱怨a.x + bXa.y + bY:

类型不匹配.必需:T Found:NumberEx

mie*_*sol 6

一种方法是使用递归NumberEx定义,如下所示:

interface NumberEx<T : NumberEx<T>> {
    operator fun plus(other: T): T
}
Run Code Online (Sandbox Code Playgroud)

这需要一个实现来提供一个加号运算符:

class ANumber : NumberEx<ANumber> {
    override fun plus(other: ANumber): ANumber {
        //TODO
    }
}
Run Code Online (Sandbox Code Playgroud)

并且会使编译器使用的类型安全且易于理解 Vec2t

interface Vec2t<T : NumberEx<T>> {
  ...
}
Run Code Online (Sandbox Code Playgroud)