我在我的 Android 手机上运行 AIDE,但无法编译以下 Java 代码:
elements = Arrays.copyOf(elements, elements.length * 2);
这里elements
是类型int[]
。我从 AIDE 得到的错误是
Several methods are applicable to (int[], int): 'java.util.Arrays.copyOf(int[], int)' and 'java.util.Arrays.copyOf<T>(T[], int)'
我原以为编译器会选择前一个选项,但事实并非如此。我该如何解决这个问题?