Java 中的有界类型

10 Sept 2024 | 4 分钟阅读

Java 是一种通用且强大的编程语言，以其强大的类型系统而闻名。提高类型安全性和促进代码可重用性的关键特性之一是“有界类型”。有界类型允许开发人员对用作类、接口和方法中泛型参数的类型施加约束。通过定义这些约束，开发人员可以确保某些操作得到支持，并在编译时防止错误。在本文中，我们将深入探讨 Java 中的有界类型，并探索如何利用它们来编写更健壮、更灵活的代码。

有界类型简介

在 Java 中，泛型被广泛用于创建可重用组件。它们允许开发人员定义类、接口和方法，这些类、接口和方法可以操作各种不同的类型，而不会牺牲类型安全。但是，在某些情况下，有必要限制可以用作泛型参数的类型范围。这时就有界类型了。

有界类型参数是限制为特定类型子集的泛型类型。它可以使用 `extends` 关键字后跟上界来定义。上界可以是类或接口，它表示泛型类型必须是指定类的子类或实现指定接口。

语法

定义有界类型参数的语法如下

class MyClass<T extends MyClassType> {
    // ...
}

在上面的示例中，`T` 是类型参数，`MyClassType` 是上界。这意味着用作参数的任何类型 `T` 都必须是 `MyClassType` 或其子类。

有界类型示例

为了更好地理解有界类型，让我们考虑几个例子。假设我们有一个表示不同形状的类层次结构

class Shape {
    // ...
}
class Circle extends Shape {
    // ...
}
class Rectangle extends Shape {
    // ...
}

现在，让我们定义一个名为 `ShapeContainer` 的泛型类，它可以容纳各种形状的对象

class ShapeContainer<T extends Shape> {
    private T shape;
    public void addShape(T shape) {
        this.shape = shape;
    }
    public T getShape() {
        return shape;
    }
}

在此示例中，`ShapeContainer` 类具有一个有界类型参数 `T`，其上界为 `Shape`。它确保只能使用 `Shape` 或其子类作为泛型参数。

通过使用有界类型，我们可以强制执行编译时类型安全，并确保只能对 `ShapeContainer` 中存储的对象执行与形状相关的操作。例如，如果我们尝试添加字符串或任何其他不相关的类型，编译器将生成一个错误。

具有多个边界的有界类型

Java 还支持具有多个边界的有界类型，其中类型参数必须满足多个约束。多个边界使用 `&` 符号指定，后跟接口或类名。

考虑以下比较两个对象的泛型方法的示例

class BoundedTypeExample {
    public static <T extends Comparable<T> & MyInterface> int compare(T obj1, T obj2) {
        return obj1.compareTo(obj2);
    }
}

在此示例中，泛型方法 `compare` 具有一个有界类型参数 `T`，该参数有两个边界：`Comparable` 和 `MyInterface`。它确保类型参数 `T` 必须实现 `Comparable` 接口并扩展 `MyInterface` 接口。

通过使用具有多个边界的有界类型，我们可以利用多个接口或类的功能来提供更灵活、更强大的功能。

这是一个完整的 Java 程序，演示了有界类型在输入和输出方面的用法

BoundedTypeExample.java

// Shape hierarchy
abstract class Shape {
    public abstract void draw();
}
class Circle extends Shape {
    @Override
    public void draw() {
        System.out.println("Drawing a circle");
    }
}
class Rectangle extends Shape {
    @Override
    public void draw() {
        System.out.println("Drawing a rectangle");
    }
}
// Generic class with bounded type parameter
class ShapeContainer<T extends Shape> {
    private T shape;
    public void addShape(T shape) {
        this.shape = shape;
    }
    public T getShape() {
        return shape;
    }
}
// Main class
public class BoundedTypeExample {
    public static void main(String[] args) {
        // Create a ShapeContainer for Circles
        ShapeContainer<Circle> circleContainer = new ShapeContainer<>();
        Circle circle = new Circle();
        circleContainer.addShape(circle);
        // Get the shape from the container
        Circle retrievedCircle = circleContainer.getShape();
        retrievedCircle.draw();
        // Create a ShapeContainer for Rectangles
        ShapeContainer<Rectangle> rectangleContainer = new ShapeContainer<>();
        Rectangle rectangle = new Rectangle();
        rectangleContainer.addShape(rectangle);
        // Get the shape from the container
        Rectangle retrievedRectangle = rectangleContainer.getShape();
        retrievedRectangle.draw();
        // Try to add a String to the ShapeContainer (results in a compile-time error)
        // ShapeContainer<String> stringContainer = new ShapeContainer<>(); // Compile-time error
        // stringContainer.addShape("Invalid Shape"); // Compile-time error
    }
}

输出

Drawing a circle
Drawing a rectangle

Java 中的有界类型提供了一种强大的机制来强制对泛型类型进行约束，从而确保类型安全并促进代码重用。通过指定上界，开发人员可以限制可以用作泛型参数的类型范围，从而获得更健壮、更易于维护的代码。无论是限制类层次结构中的类型还是强制执行来自多个接口的约束，有界类型都能使开发人员编写更具表现力、更可靠的代码。

通过理解和有效利用有界类型，Java 开发人员可以充分发挥该语言类型系统的潜力，并构建高质量的软件系统。

下一主题Java 中计算击球平均值

Java 中的有界类型

有界类型简介

有界类型示例

具有多个边界的有界类型

联系信息

关注我们

教程

面试题

在线编译器

Python

Java

.Net Framework

AI, ML and Data Science

Cloud Technology

B.Tech and MCA

Web Technology

PHP

Software Testing

Technical Interview

Java Interview

Python

Web Interview

Database Interview

B.Tech / MCA

Important Interview

Software Testing Interview

Company Interviews

Online Compilers

Multiple Choice Questions

Java Conversion

Java Misc

Java 中的有界类型

有界类型简介

有界类型示例

具有多个边界的有界类型

相关帖子

Java 中 super 关键字的用法

How to Sort HashMap by Value

Java 中的 java.util.function.BiPredicate 接口及示例

How to Generate Random Number in Java

Java 中的同构字符串

Bell Number in Java

如何在 Java 中接受日期

计算由不同元素子数组形成的对数（Java）

Java Alpha-Beta 剪枝

Image Processing in Java- Face Detection

订阅 Tpoint Tech

联系信息

关注我们

教程

面试题

在线编译器