我怎样才能有一个接受“我的类型”类型参数的抽象方法？

Question

假设我有一个带有抽象方法的抽象类 Animal

public abstract Animal mateWith(Animal mate);

问题是，如果我创建子类 Snake 和 Armadillo，那么这样的调用将是合法的：

mySnake.mateWith(myArmadillo);

但我只希望蛇能够与蛇交配。我需要能够定义这样的东西：

public abstract Animal_Of_My_Class mateWith(Animal_Of_My_Class mate);

这在 Java 中可行吗？

Answer 1

自界泛型的救援：

abstract class Animal<T extends Animal<T>> {
  abstract T mateWith(T mate);
}

然后：

class Animal_Of_My_Class extends Animal<Animal_Of_My_Class> {
  Animal_Of_My_Class mateWith(Animal_Of_My_Class mate) { ... }
}

请注意，您不能将 T 限制为实现类（例如，您不能要求 Animal_Of_My_Class extends Animal<Animal_Of_My_Class> 而不是 Animal_Of_My_Class extends Animal<Another_Animal_Of_My_Class>）。