The Java Language Specification, Third Edition

8.8.4 Generic Constructors CLASSES
242
8.8.4 Generic Constructors
It is possible for a constructor to be declared generic, independently of whether
the class the constructor is declared in is itself generic. A constructor is generic if
it declares one or more type variables (§4.4). These type variables are known as
the formal type parameters of the constructor. The form of the formal type parameter
list is identical to a type parameter list of a generic class or interface, as
described in §8.1.2.
The scope of a constructor’s type parameter is the entire declaration of the
constructor, including the type parameter section itself. Therefore, type parameters
can appear as parts of their own bounds, or as bounds of other type parameters
declared in the same section.
Type parameters of generic constructor need not be provided explicitly when
a generic constructor is invoked. When they are not provided, they are inferred as
specified in §15.12.2.7.
8.8.5 Constructor Throws
The throws clause for a constructor is identical in structure and behavior to the
throws clause for a method (§8.4.6).
8.8.6 The Type of a Constructor
The type of a constructor consists of its signature and the exception types given its
throws clause.
8.8.7 Constructor Body
DRAFT
The first statement of a constructor body may be an explicit invocation of another
constructor of the same class or of the direct superclass (§8.8.7.1).
ConstructorBody:
{ ExplicitConstructorInvocationopt BlockStatementsopt }
It is a compile-time error for a constructor to directly or indirectly invoke
itself through a series of one or more explicit constructor invocations involving
this. If the constructor is a constructor for an enum type (§8.9), it is a compiletime
error for it to invoke the superclass constructor explicitly.
If a constructor body does not begin with an explicit constructor invocation
and the constructor being declared is not part of the primordial class Object, then
the constructor body is implicitly assumed by the compiler to begin with a super-