如何在 Java 中设计泛型接口或抽象类来统一 Deque 实现-java教程-PHP中文网

本文讲解如何通过定义泛型接口（如 Deque）并让具体实现类（如 ArrayDeque、LinkedListDeque）正确继承或实现它，解决类型擦除导致的参数类型被错误推断为 Object 的问题。核心在于接口与实现类必须协同声明相同泛型参数，确保类型信息完整传递。

本文讲解如何通过定义泛型接口（如 `deque`）并让具体实现类（如 `arraydeque`、`linkedlistdeque`）正确继承或实现它，解决类型擦除导致的参数类型被错误推断为 `object` 的问题。核心在于接口与实现类必须**协同声明相同泛型参数**，确保类型信息完整传递。

在 Java 中，要为多种底层结构（如数组、链表）提供统一的双端队列（Deque）行为，同时支持任意元素类型，最规范的做法是定义一个泛型接口，而非直接使用非泛型抽象类。关键在于：泛型参数必须在接口和实现类中显式、一致地声明，否则编译器无法保留类型约束，导致方法签名不匹配（例如 addFirst(Item) 被误认为 addFirst(Object)）。

✅ 正确做法：泛型接口 + 泛型实现类

首先定义泛型接口 Deque，其中 E 表示元素类型（推荐使用 E 作为约定俗成的“Element”缩写，避免与实现类内部变量名混淆）：

public interface Deque<e> {
    void addFirst(E item);
    void addLast(E item);
    boolean isEmpty();
    int size();
    void printDeque();
    E removeFirst();
    E removeLast();
    E get(int index); // 注意：返回 null 表示越界，需保证不修改结构
}</e>

接着，让具体实现类自身声明泛型参数，并实现该泛型接口：

public class ArrayDeque<e> implements Deque<e> {
    private Object[] elements;
    private int size;

    public ArrayDeque() {
        this.elements = new Object[16];
        this.size = 0;
    }

    @Override
    public void addFirst(E item) {
        // 实现逻辑：如扩容、前插等
        if (size == elements.length) {
            resize();
        }
        System.arraycopy(elements, 0, elements, 1, size);
        elements[0] = item;
        size++;
    }

    @Override
    public void addLast(E item) {
        if (size == elements.length) {
            resize();
        }
        elements[size++] = item;
    }

    // 其他方法实现略（removeFirst/removeLast/get 等需注意空检查与类型安全）

    private void resize() {
        elements = Arrays.copyOf(elements, elements.length * 2);
    }
}</e></e>

同理，LinkedListDeque 也应声明为 public class LinkedListDeque implements Deque，并在所有方法中使用 E 作为参数与返回类型。

Java Maven Code Review

审查Java Maven项目（ZIP压缩包或GitLab仓库URL），检查代码规范、命名、模块边界、可维护性问题以及重复代码。

下载

⚠️ 常见错误与规避要点

❌ 错误示范：

public interface Deque { ... } // 非泛型接口  
public class ArrayDeque<item> implements Deque { ... } // 类泛型但接口不泛型 → 方法签名丢失类型信息</item>

此时 addFirst(Item) 会被编译器视为 addFirst(Object)，违反接口契约，编译失败。

✅ 必须同步泛型声明：
接口 Deque 与实现类 ArrayDeque 中的 E 是同一类型形参——它不是固定类型，而是类型占位符，由实例化时指定（如 new ArrayDeque()），JVM 在编译期完成类型检查，在运行期通过类型擦除保障兼容性。
? 进阶建议：
- 若需共享通用字段或默认逻辑（如 size() 的基础计数），可引入泛型抽象类 AbstractDeque 实现 Deque，再由具体类继承它；
- get(int index) 方法返回 null 时需明确文档说明其语义（越界 vs 存储 null 元素），必要时可改用 Optional 提升安全性；
- 参考 JDK 标准库：java.util.Deque 接口与 java.util.ArrayDeque 类正是此模式的最佳实践范例。