Java泛型类中的类型安全限制

Java泛型类在设计时，为了保证类型安全，对类型参数进行了一些限制。这些限制主要包括以下几点：

1. 类型参数必须是类类型或者接口类型。这意味着泛型类不能使用基本数据类型（如int、float、char等）作为类型参数。例如，以下泛型类是不合法的：

public class GenericClass<T extends Number> {
    // ...
}

在这个例子中，T被限制为Number类或其子类，因为Number是一个类类型。

2. 类型参数不能是基本数据类型的包装类。虽然基本数据类型的包装类（如Integer、Float、Character等）是类类型，但它们不能作为泛型类的类型参数。例如，以下泛型类是不合法的：

public class GenericClass<T extends Integer> {
    // ...
}

在这个例子中，T被限制为Integer类，而不是Number类。

3. 类型参数不能是数组类型。泛型类不能使用数组类型作为类型参数。例如，以下泛型类是不合法的：

public class GenericClass<T extends int[]> {
    // ...
}

4. 类型参数不能是类型变量。泛型类不能使用类型变量作为类型参数。例如，以下泛型类是不合法的：

public class GenericClass<T extends List<T>> {
    // ...
}

在这个例子中，T被限制为List<T>类型，这会导致无限递归的类型限制。

5. 类型参数的上界可以是类类型或者是接口类型，但不能是类型变量。例如，以下泛型类是合法的：

public class GenericClass<T extends Comparable<T>> {
    // ...
}

在这个例子中，T被限制为Comparable<T>接口类型。

总之，Java泛型类中的类型安全限制主要是为了保证类型参数的正确性和一致性。在设计泛型类时，需要注意遵循这些限制，以确保类型安全。