Java Generics，将类型限制为＆＃x27; self＆＃x27;类型

Question

这是一个相当专业的问题，我怀疑是否有解决方案。

我有一个类型的层次结构，例如{}，b扩展了A {}，C扩展了A {}。 A定义抽象方法＆lt; t扩展A＆gt; t刻度（双V）。

问题是T并未锚定，您可以将结果分配给任何类型。

通过将“自我”类型声明为通用参数：

 class A<T extends A<T>> { T scale(double v) { ... ;} }
 class B extends A<B> {}
 class C extends A<C> {}

另一个解决方案是在每个子类中编写比例尺方法：

 class A<T extends A<T>> { A scale(double v){...} }
 class B extends A<B> { B scale(double v) { super.scale(v);}}
 class C extends A<C> { C scale( double v) { super.scale(v);} }

但是，这是丑陋的，很多工作。

我不明白为什么编译器无法解决这个问题。 （我可能缺少某些东西。）我想要的是这样的东西：

 class A { this scale(double v); }

现在这显然不起作用，但我想知道人们是否发现了有趣的通用骇客来约束通用返回类型或通用参数，观察。