Java中未知类型简单数组的通用操作封装方法

完全可以在保留原生数组、不引入Java集合类的前提下实现通用数组操作封装，你担心的泛型数组安全风险是可以完全规避的，核心是用JDK自带的反射数组工具处理底层数组操作，把类型校验、实例创建的逻辑全部收口，不会出现堆污染问题。

核心原理 #

JDK的java.lang.reflect.Array是专门用来处理未知类型数组的原生工具，不管是8种基本类型的数组，还是自定义引用类型的数组，都可以通过它完成长度获取、元素读写、新数组创建操作，不需要提前知道数组的具体元素类型：

• Array.getLength(Object array)：获取任意数组的长度
• Array.get(Object array, int index)：读取任意数组指定下标的元素
• Array.set(Object array, int index, Object value)：给任意数组指定下标赋值
• Array.newInstance(Class<?> componentType, int length)：创建指定元素类型、指定长度的新数组，原生支持基本类型，不会出现泛型擦除导致的类型错误。

通用工具类实现 #

把所有公共数组操作逻辑封装到独立工具类中，对外通过泛型保证类型安全，内部通过反射完成实际操作：

import java.lang.reflect.Array;

public final class ArrayOpUtils {
    /**
     * 在数组指定位置插入元素，返回插入后的同类型新数组
     * @param src 原数组，支持任意基本类型、引用类型数组
     * @param pos 插入下标，合法范围 0 ≤ pos ≤ 原数组长度
     * @param elem 待插入的元素
     * @return 插入完成后的同类型新数组
     * @param <T> 数组类型，由编译器自动做类型校验
     */
    @SuppressWarnings("unchecked")
    public static <T> T insert(T src, int pos, Object elem) {
        // 入参校验：传入的必须是数组
        if (src == null || !src.getClass().isArray()) {
            throw new IllegalArgumentException("入参必须是数组类型");
        }
        int oldLen = Array.getLength(src);
        if (pos < 0 || pos > oldLen) {
            throw new IndexOutOfBoundsException("插入下标超出数组范围");
        }
        // 获取原数组的真实元素类型，创建同类型的新数组，长度+1
        Class<?> componentType = src.getClass().getComponentType();
        Object newArr = Array.newInstance(componentType, oldLen + 1);
        // 拷贝插入位置前的元素
        System.arraycopy(src, 0, newArr, 0, pos);
        // 写入待插入元素
        Array.set(newArr, pos, elem);
        // 拷贝插入位置后的剩余元素
        System.arraycopy(src, pos, newArr, pos + 1, oldLen - pos);
        return (T) newArr;
    }

    // 其余通用操作（删除指定位置元素、范围拷贝、元素替换等）都可以按照相同逻辑扩展
}

业务代码使用方式 #

你现有的三个私有数组属性不需要做任何类型修改，全程保持原生数组类型，操作时直接调用工具类即可：

public class YourClass {
    private byte[] code;
    private CustomClass[] locals;
    private int[] lines;

    // 给code数组指定位置插入字节
    public void addCode(int pos, byte val) {
        this.code = ArrayOpUtils.insert(this.code, pos, val);
    }

    // 给lines数组指定位置插入行号
    public void addLine(int pos, int lineNum) {
        this.lines = ArrayOpUtils.insert(this.lines, pos, lineNum);
    }

    // 给locals数组指定位置插入自定义对象
    public void addLocal(int pos, CustomClass local) {
        this.locals = ArrayOpUtils.insert(this.locals, pos, local);
    }
}

关于泛型数组安全风险的说明 #

你之前了解的泛型数组安全问题，只会在两种场景下触发：

• 直接通过泛型创建数组（比如new T[]），泛型擦除后实际创建的是Object[]，强转成实际子类型数组时会抛出类型转换异常
• 对外暴露底层数组的引用，外部可以传入不匹配类型的元素造成堆污染

上面的实现完全规避了这两个问题：

• 所有新数组都是通过Array.newInstance根据原数组的真实元素类型创建的，和原数组类型完全一致，不存在类型不匹配的问题
• 工具类不会长期持有任何数组引用，每次操作完成后直接返回新数组，泛型返回值会让编译器在编译期就拦截掉类型不匹配的调用，不会把问题留到运行时
• 全程没有引入任何Java集合类，类中的三个属性始终是原生数组类型，完全符合你的限制要求

这里的@SuppressWarnings("unchecked")注解是安全的，因为我们已经通过反射逻辑保证了返回的新数组和传入原数组的类型完全一致，不存在unchecked转换的实际风险。

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