This form of type parameterization is called unconstrained genericity. A companion facility mentioned below, constrained genericity, involves inheritance.

• 参数化类型的形式叫做非限定性。