Question

我想有一个抽象方法，它具有实例的确切类的参数。例如：

abstract class Foo {
    abstract void aFunc(???? newInst);
}
class Bar extends Foo {
    @Override
    void aFunc(Bar newInst);
}
class Baz extends Foo {
    @Override
    void aFunc(Baz newInst);
}

实际上，我希望能够访问所有子类字段和方法，而无需检查和转换newInst参数。（因为函数将从执行检查和强制转换的中央处理程序位置调用）。

我知道我可以通过Foo<T extends Foo>参数化Foo来做到这一点，但我希望尽可能避免将子类声明为class Name extends Foo<Name>。

我怀疑这是可能的，我一直无法找到关于这个主题的任何内容，但我只想确认我没有错过任何内容。

Answer 1

元的评论：

您希望拥有的内容确实打破了多态性：现在您无法使用Bar或Baz，因为他们有一个不兼容的aFunc签名者。

但是，可以执行的操作具有更具体的返回类型：

Foo

有效。您可以使用Bar的实例而不是Foo并调用其class Foo { Foo aFunc(); } class Bar extends Foo { @Override Bar aFunc(); }方法;那么你也可以使用该方法的结果作为Foo的一个实例。因此，自Java 1.5以来JLS allows for covariant return types。

Answer 2

感谢所有评论帮助的人。

执行此操作的正确方法是将类声明为class Bar extends Foo<Bar>，为简单起见，我将只传递Foo作为参数，并使所有子类自行转换参数（如果需要）。

Java中是否存在类似<getclass（）>泛型参数的内容？

2 个答案: