java - Java 中是否存在类似于 泛型参数的东西？

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

元评论:

您想要的东西确实会破坏多态性:现在您不能在可以使用 Foo 的任何地方使用 Bar 或 Baz 因为它们有一个不再兼容的 aFunc 签名者。

但是，您可以做的是拥有更具体的返回类型:

class Foo {
  Foo aFunc();
}

class Bar extends Foo {
  @Override
  Bar aFunc();
}

有效。您可以使用 Bar 的实例代替 Foo 并调用其 aFunc 方法；那么您也可以将该方法的结果用作 Foo 的实例。因此JLS allows for covariant return types从 Java 1.5 开始。