科特林，通用除了

Question

是否有可能实现一个通用的，比方说，除了类似如下：

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 
    } 
} 

因为这里的编译器抱怨a.x + bX和a.y + bY：

类型不匹配。要求：t上找不到：NumberEx

Answer 1

一种方法是采用递归NumberEx定义，像这样：

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

这将需要实施提供一个加号：

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

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

interface Vec2t<T : NumberEx<T>> { 
    ... 
}