Java如何限制泛型List仅存储单一指定类实例，不允许子类实例存入

Java无法在编译期实现该限制（多态特性下子类天然符合父类的类型约束），可以通过自定义List实现运行时的严格类型校验，具体实现如下：

核心原理 #

默认List<T>允许存入T的子类实例是Java多态的正常表现，要拦截子类，核心校验逻辑是判断元素的运行时类element.getClass()是否严格等于目标类，不能用instanceof/Class.isInstance()做判断，这两个API的匹配规则包含子类。

自定义严格类型List实现 #

继承ArrayList重写所有元素插入相关方法，添加类型校验逻辑：

import java.util.ArrayList;
import java.util.Collection;

public class StrictTypeList<T> extends ArrayList<T> {
    private final Class<T> targetType;

    public StrictTypeList(Class<T> targetType) {
        if (targetType == null) {
            throw new IllegalArgumentException("目标类型不能为null");
        }
        this.targetType = targetType;
    }

    @Override
    public boolean add(T element) {
        validateElementType(element);
        return super.add(element);
    }

    @Override
    public void add(int index, T element) {
        validateElementType(element);
        super.add(index, element);
    }

    @Override
    public boolean addAll(Collection<? extends T> c) {
        for (T element : c) {
            validateElementType(element);
        }
        return super.addAll(c);
    }

    @Override
    public boolean addAll(int index, Collection<? extends T> c) {
        for (T element : c) {
            validateElementType(element);
        }
        return super.addAll(index, c);
    }

    @Override
    public T set(int index, T element) {
        validateElementType(element);
        return super.set(index, element);
    }

    private void validateElementType(T element) {
        // 若不允许存入null，可取消注释下面的代码
        // if (element == null) {
        //     throw new IllegalArgumentException("元素不能为null");
        // }
        if (element == null) {
            return;
        }
        if (element.getClass() != targetType) {
            throw new IllegalArgumentException(
                String.format("元素类型%s不符合要求，仅允许存入严格的%s类型实例，不允许子类实例",
                    element.getClass().getName(), targetType.getName())
            );
        }
    }
}

使用示例 #

// 声明仅允许存入严格Polygon类实例的List
List<Polygon> strictPolygonList = new StrictTypeList<>(Polygon.class);

strictPolygonList.add(new Polygon()); // 正常添加成功
strictPolygonList.add(new Rectangle()); // 运行时抛出IllegalArgumentException
strictPolygonList.add(new Square()); // 运行时抛出IllegalArgumentException
strictPolygonList.add(new Point()); // 运行时抛出IllegalArgumentException

如果需要切换为仅允许存入Rectangle本身的实例，只需修改构造方法传入的类型参数即可：

List<Rectangle> strictRectangleList = new StrictTypeList<>(Rectangle.class);

补充说明 #

• JDK自带的Collections.checkedList()不满足需求，它的校验逻辑是isInstance，允许子类实例存入
• 该限制仅能在运行时生效，编译期无法拦截子类实例的传入，因为子类实例天然符合父类的泛型类型声明

内容的提问来源于stack exchange，提问作者saintlyzero