Java泛型：类型安全与约束详解及示例-蒲公英云

Java泛型：类型安全与约束详解及示例

原创红太狼 2024-09-18 11:30 179阅读 0赞

Java泛型是一种编程技术，允许你在编写类时声明参数化类型的变量。这增加了代码的灵活性和类型安全性。

类型安全：当你通过已知类型的对象访问泛型方法或类时，Java编译器会检查这些类型是否匹配，从而避免类型转换错误。
约束：在声明泛型时，可以添加各种约束条件来限制泛型类型。常见的约束有：
- extends/implements：指定一个具体的接口或者继承一个已有的类。
- bounded：规定泛型的范围，如 List<String> list = new ArrayList<>(); 中的 String 就是 bounded 类型。

示例：

// 基本的 List 泛型
List<String> stringList = new ArrayList<>();
// 添加约束条件
// 1) extends 面向接口的约束
interface Animal {
    String sound();
}
List<Animal> animalList = new ArrayList<>(); // Animal 是动物列表的类型
// 2) bounded 面向范围的约束
// 在这里，我们对 animalList 进行范围约束
// 只允许 List 中存储 Dog 类的实例
class Dog implements Animal {
    @Override
    public String sound() {
        return "Woof!";
    }
}
List<Dog> dogList = new ArrayList<>(); // Dog 是 dogList 的类型
// 确保 animalList 可以存储 Dog 实例
animalList.add(new Dog());
// 如果尝试将非 Dog 类的实例添加到 dogList，编译器会报错
// dogList.add(new String()); // 这行代码会导致编译错误，因为 String 不是 Dog 的子类