I\'m looking at some Java classes that have the following form:
public
abstract
class A > implements Comparable {
It does not have a name and it is generally not useful. Probably the person who wrote it did not realize that they could write it like this instead:
class A<E> implements Comparable<E>
My impression is that this allows the abstract class to provide a common implementation of a method (such as compareTo) without having to provide it in the subclasses.
Not any more than class A<E>
However, in this example, unlike an inherited method it would restrict subclasses to invoking compareTo on other instances of the same subclass, rather than any "A" subclass. Does this sound right?
No, that's incorrect. It restrict it to invoking compareTo
on E
, whatever E
is.
In C++, it's known as the Curiously Recurring Template Pattern (CRTP). I don't know if it has a different name in Java (or even if it has a name), but it probably serve similar purposes.
I believe it is usually just called a Recursive Generic Type. As Tom Hawtin points out, you probably want class A<E extends A<E>>. The most prominent use of this pattern is java.lang.Enum (which you probably knew considering you chose Comparable<E> as your interface).