1. 从内存布局看数组为什么下标从0开始而不是1很多Java新手学数组的时候其实内心是有点迷惑的明明写业务代码用的都是ArrayList为什么还要学这个“老古董”但我想说的是数组才是真正让你搞懂Java内存模型的最佳入门素材。数组这一章在Java基础里看似平平无奇却能牵扯出连续内存、引用类型、下标计算、深浅拷贝一整串面试高频题。这篇东西适合两类人一是刚接触Java、准备系统打基础的同学二是刷了好几个月八股文、面试前想把这部分彻底捋清楚的求职者。1.1 数组的底层是一段连续内存数组最核心的特征是它在堆内存里占据一块连续的存储空间。这里说的“连续”是指逻辑上的连续地址而数组本身作为一个对象在JVM里可能是紧凑排列的。当你写下int[] arr new int[5]时JVM会分配一块足够存放5个int类型数据的连续内存区域每个元素占4个字节所以这块区域共20个字节。由于内存地址连续所以可以通过首地址加上偏移量快速定位到任意元素这就是数组随机访问效率为O(1)的原因。与之相对的是链表每个节点都独立分配靠指针串起来逻辑上连续但物理上可能散布各处。所以链表查找要遍历但插入删除方便。这些区别面试官特别爱问而回答的根基就在于“数组是连续内存”这一句话。还有一个容易被忽略的点int[] arr new int[5]里arr本身并不是那5个int数据而是一个引用它指向堆里那个数组对象。数组对象在JVM中也有一个类型标记同时携带一个length字段。这就是为什么你可以直接arr.length拿到长度而不是像C语言那样要自己记一个size变量。1.2 下标从0开始本质是一个偏移量计算为什么Java数组的下标是0而不是1很多人没想过这个问题面试偶尔被问到就卡壳。其实很简单数组访问第i个元素的公式是“元素地址 首地址 i × 单个元素占用的字节数”。如果下标从1开始公式就变成“首地址 (i - 1) × 字节数”每次访问都要多做一次减法。在C语言时代这种微小的性能差异在循环里会被无限放大所以下标从0开始成为主流设计Java沿用了这个约定。这也解释了为什么arr[arr.length - 1]永远是最后一个元素。如果你写arr[arr.length]一定会抛ArrayIndexOutOfBoundsException。这个异常是运行时异常编译期根本检测不到只能靠写代码时小心。很多新手的第一个数组bug就是不小心越界不是数组太短而是循环边界写错。1.3 数组的length是属性不是方法刚开始学Java时我拿着String.length()的经验去写arr.length()报错了还一脸懵。后来才明白String的length()是方法因为它需要计算字符个数而数组的length是JVM在创建数组时就确定好的属性直接暴露出来。这个区别虽然小却是面试八股文里经常出现的抠细节题。还有一个值得注意的点数组一旦创建长度就不能改变。这是由连续内存的分配方式决定的——你没法在原来的内存块后面再追加一段仍然连续的地址空间因为那块区域可能已经被其他对象占用。所以“动态扩容”本质上都是“创建新数组 复制旧数据 释放旧数组”比如后面要讲的ArrayList就是这套逻辑。2. 声明、创建、初始化这些默认值和坑你踩过几个数组这一章看起来简单但很多人在声明和初始化上翻车。我见过面试时连int[] arr new int[5]和int arr[] new int[5]有什么区别都讲不清的候选人也见过把null数组当空数组用的线上事故。这节把初始化相关的细节一次说透。2.1 两种声明方式推荐用int[]Java里两种写法都合法int[] arr;和int arr[];它们编译后没有任何区别。int arr[]是从C语言带过来的习惯早期为了兼容C程序员int[] arr更符合Java的语义——它强调“这是一个int类型的数组”而不是“这是一个int名字叫arr[]”。实际开发中你读别人代码大概率看到的都是int[] arr。作为规范我也强烈建议统一用int[]。至于int[] a, b;这样声明a和b都是数组但如果写int a[], b;那么a是数组b就是一个普通的int变量。这种细节面试偶尔会拿来当陷阱题。声明数组只是定义了一个引用变量并没有真正分配数组对象的内存。此时你需要决定是new int[5]还是直接用字面量{1, 2, 3}或者用匿名数组new int[]{1, 2, 3}。特别提醒字面量初始化只能出现在声明时比如int[] arr {1, 2, 3}没问题但如果先声明后赋值写arr {1, 2, 3}会编译报错必须写arr new int[]{1, 2, 3}。这个坑很多人第一次都踩过。2.2 默认值基本类型有值引用类型是nullJava数组在new出来之后会立刻给每个元素赋一个默认值不需要你手动初始化。基本类型的默认值很有规律整型是0浮点型是0.0boolean是falsechar是\u0000。但引用类型数组比如String[] arr new String[3];默认值是null。如果你直接arr[0].length()必然空指针。这里我要强调一个很容易被忽略的细节同样是空数组new int[0]和int[] arr null是完全不同的。new int[0]是一个长度为0的有效数组对象你可以遍历它、取它的length只是没有元素而null数组根本不存在对象你调arr.length就NPE。很多接口返回空列表的逻辑里如果底层用了数组一定要分清楚“无数据”和“null”的区别否则数组转集合再遍历时NPE和空数据会导致完全不同的业务结果。2.3 数组越界的本质与防御姿势数组越界是Java里最常见的运行时异常之一。为什么它不在编译期报错因为数组的长度是运行时才知道的JVM只能在访问元素时检查下标是否在[0, length - 1]范围内。这个检查是有性能开销的但Java为了安全必须做。一个防御经验写循环遍历数组时优先用增强for或者Arrays工具类尽量减少手动控制下标。如果必须用下标循环条件一定要写成i arr.length不要写成i arr.length - 1虽然两者等价但第一种更符合思维习惯也不容易引发边界混淆。另外从List转数组时如果目标数组长度小于集合sizetoArray方法不报错会重新分配一块更大的数组这个行为经常让人困惑后面在集合章节展开。3. 数组的常规操作遍历、复制、排序、二分查找数组作为一种“工具型数据结构”在真实业务里很少会一直手动操作数组元素更多是通过java.util.Arrays这个工具类来完成各种操作。但前提是你得先搞清楚每个方法的底层逻辑和返回值的坑否则很容易写出“能跑但是不对”的代码。3.1 遍历普通for、增强for、Stream各有利弊遍历是最基础的操作。普通for循环可以拿到下标适合需要修改元素或按索引访问的场景增强for简洁安全适合只读操作Arrays.stream(arr)则可以用流式操作做过滤、映射、汇总但要注意基本类型数组流与引用类型数组流的区别。int[] arr {1, 2, 3, 4, 5}; // 普通for可以修改元素 for (int i 0; i arr.length; i) { arr[i] * 2; } // 增强for只读不能直接修改数组元素 for (int num : arr) { System.out.println(num); } // 流式操作适合链式处理 int sum Arrays.stream(arr).sum(); System.out.println(sum);这里有个很多人不知道的细节增强for对基本类型数组每次迭代获取的是数组元素的一个拷贝所以你用增强for修改循环变量并不会影响原数组。这个坑我见过不止一次有人写了for (int num : arr) { num 0; }以为能清空数组结果什么都没发生。3.2 复制与扩容System.arraycopy和Arrays.copyOf到底选谁数组复制是个高频需求。手写循环当然可以但Java提供了更优雅的方案。System.arraycopy是JVM原生方法效率最高但它需要你指定源数组、源起始位置、目标数组、目标起始位置、复制长度参数比较多。Arrays.copyOf则是封装了System.arraycopy的便捷方法只需要传原数组和新长度返回新数组。int[] original {1, 2, 3}; // 复制整个数组扩容到5后面的位置补0 int[] copy Arrays.copyOf(original, 5); // 复制指定范围 int[] range Arrays.copyOfRange(original, 1, 3); // [2, 3]还有一个容易混淆的是clone方法。数组可以直接调用clone()复制但这是Object的浅拷贝。对于一维数组clone和copyOf结果类似但对于二维数组clone只复制了外层数组的引用内层子数组还是共享的。这就是很多文章说的“二维数组深拷贝陷阱”后面第4节会单独讲。3.3 排序与二分查找先排序再用binarySearchArrays.sort是Java数组排序的主力方法。对于基本类型数组它采用双基准快速排序对于引用类型数组采用归并排序或TimSort稳定且时间复杂度为O(n log n)。如果你要对自定义对象排序可以传一个Comparator。String[] names {bob, alice, cathy}; Arrays.sort(names, (a, b) - b.compareTo(a)); System.out.println(Arrays.toString(names));二分查找Arrays.binarySearch是另一个常用方法但有个致命前提数组必须已经是有序的否则结果完全不可预测。遍历查找是O(n)二分是O(log n)如果你只需要查几次用循环就够如果要查很多次先排序再二分更划算。二分查找的返回值还有一个规律如果找不到返回的是“-(插入点) - 1”插入点就是第一个大于等于目标值的位置。这个规则面试爱考很多人记不住。3.4 数组转字符串别再用循环拼接了数组转字符串这个操作业务里实在太常见了尤其是打印日志、拼接SQL IN条件、接口返回时。新手最原始的做法是循环拼接然后手工处理逗号分隔符老手直接一行Arrays.toString(arr)解决。注意Arrays.toString只能处理一维数组如果你传一个二维数组进去打印出来的是每个子数组的地址。想打印二维数组要嵌套循环或者用Arrays.deepToString。int[][] matrix {{1, 2}, {3, 4}}; System.out.println(Arrays.deepToString(matrix));如果是字符串数组拼接成带分隔符的字符串Java 8引入了String.join不过它接收的是Iterable或CharSequence...数组可以直接传String[]。复杂的格式化拼接可以考虑用Stream的Collectors.joining。这些方法不仅简洁而且不容易出现末尾多逗号的问题。4. 二维数组与不规则数组Java里的“数组的数组”二维数组是面试里的常客也是很多人理解偏了的地方。严格来说Java并没有真正的多维数组所谓的二维数组本质是“数组的数组”——外层数组的每个元素是另一个一维数组的引用。这个设计和C语言里的二维数组连续存储的二维矩阵有本质区别。4.1 声明与初始化的三种姿势最常规的写法是int[][] matrix new int[3][4];这表示创建一个外层长度为3的数组每个元素又指向一个长度为4的int数组。这种方式会一次性分配12个元素的空间所有元素默认0。第二种方式是不规则数组int[][] triangle new int[3][];此时外层数组有了但每个内层数组还是null你需要手动new每一行。int[][] triangle new int[3][]; triangle[0] new int[1]; triangle[1] new int[2]; triangle[2] new int[3];第三种方式是直接字面量初始化int[][] arr {{1, 2}, {3, 4, 5}};这种方式简单直观适合二维数据已知的场景。4.2 内存布局与遍历中的坑二维数组的遍历最容易犯的错误是把arr.length当成所有行的列数。arr.length是行数每一行是独立的数组长度可能不同。所以遍历时必须先取arr[i].length再遍历内层。for (int i 0; i arr.length; i) { for (int j 0; j arr[i].length; j) { System.out.print(arr[i][j] ); } System.out.println(); }很多人为了省事直接用for (int[] row : arr) { for (int num : row) ... }这样既安全又不会出错。二维数组的每个内层数组在堆内存中是独立的对象所以如果你执行arr[0] new int[]{9, 9, 9}只影响第一行其他行不受影响。这一特性在不规则数据存储中很实用。4.3 二维数组的深拷贝与浅拷贝前面提到clone只做浅拷贝对二维数组来说尤其明显。你写int[][] copy arr.clone()其实是创建了一个新的外层数组但内层每个子数组还是和原来共享的。如果你改copy[0][0]原数组也会变。如果想要真正的深拷贝必须手动遍历每一行再cloneint[][] deepCopy new int[arr.length][]; for (int i 0; i arr.length; i) { deepCopy[i] arr[i].clone(); }这个点也是面试“数组深浅拷贝”这种八股题里最容易展开的地方。理解了它你基本就理解了引用类型数组的复制到底复制了什么——复制的是引用不是对象本身。5. 高频面试与业务实战数组转字符串、去重、冒泡排序数组相关的高频面试题翻来覆去就是那几道数组转字符串、数组去重、排序手写、二分查找。很多八股文背得滚瓜烂熟但真让手写还是会卡。这一节挑几个最常见的题目把思路和边界条件都捋一遍。5.1 数组去重基础归基础但要考虑顺序和类型数组去重最简单的方法是用LinkedHashSet既能去重又能保持插入顺序Integer[] arr {1, 2, 3, 2, 1, 4}; LinkedHashSetInteger set new LinkedHashSet(Arrays.asList(arr)); Integer[] result set.toArray(new Integer[0]); System.out.println(Arrays.toString(result));但注意Arrays.asList只支持引用类型数组基本类型数组传进去会视为一个元素。所以你要么用包装类型Integer[]要么用Java 8的Streamint[] arr {1, 2, 3, 2, 1, 4}; int[] result Arrays.stream(arr).distinct().toArray();如果你不想用集合或Stream面试官可能还要求手写去重逻辑。最常见的是双重循环遇到重复就跳过时间复杂度O(n²)。更优的做法是先排序相邻元素比较去重O(n log n)。但排序会改变原数组顺序。明确需求里是否要求保持相对顺序往往比写不写得出来更关键。5.2 手写冒泡排序不只是两层循环那么简单冒泡排序是面试手写代码的经典入门题。基础版很简单外层循环控制比较轮数内层循环两两比较交换。但进阶版的优化点有两个一是记录本轮是否发生交换如果没有说明已经有序提前跳出二是记录本轮最后一次交换的位置下一轮内层循环边界可以直接缩到那里因为后面的元素已经有序。public static void bubbleSort(int[] arr) { if (arr null || arr.length 2) return; int n arr.length; int lastSwapped n - 1; while (lastSwapped 0) { int currentEnd lastSwapped; lastSwapped 0; for (int i 0; i currentEnd; i) { if (arr[i] arr[i 1]) { int tmp arr[i]; arr[i] arr[i 1]; arr[i 1] tmp; lastSwapped i; } } } }这段代码里lastSwapped记录的是最后一次发生交换的位置下一轮只需要比到这个位置之前。最坏情况逆序复杂度依旧是O(n²)但最好情况已有序可以提前结束变成O(n)。面试时如果能把这两层优化讲清楚会让面试官觉得你不是背的而是真理解了。5.3 数组转字符串的业务场景日志打印、接口输出、SQL拼接实际业务中数组转字符串最常见的地方就是日志打印和SQL查询IN条件的拼接。日志里直接打印对象数组如果不调用Arrays.toString看到的是一串[Ljava.lang.String;1b6d3586这种地址根本没法排查问题。SQL拼接则要特别注意逗号和引号的处理尤其是字符串数组里可能含有单引号得做转义。另一个高频场景是把数组转成JSON字符串交给前端。如果你用的是fastjson或Jackson传数组进去会自动序列化成JSON数组这没问题。但如果数组里是LocalDate、枚举这类特殊对象序列化配置没做好很容易出现奇怪的结果。业界已经很少直接用数组传输数据了基本都是转List再序列化但理解数组的序列化行为依然很重要因为很多JSON框架底层仍然依赖数组做处理。5.4 数组方法盘点哪些工具方法是你应该背下来的说起“数组方法”很多人第一反应是数组没有方法所有操作都要靠Arrays。确实数组本身只有length属性没有实例方法。实际开发中最常用到的工具方法集中在java.util.Arrays里我列一个实际使用频率最高的清单方法作用注意点Arrays.toString()一维数组转字符串二维请用deepToStringArrays.sort()排序基本类型用快排引用类型可传ComparatorArrays.binarySearch()二分查找数组必须先排序否则结果错误Arrays.copyOf()复制并扩容新数组默认值是0/nullArrays.copyOfRange()复制指定区间区间是左闭右开Arrays.fill()填充可以填充整个数组或指定范围Arrays.equals()比较一维数组内容二维用deepEqualsArrays.asList()转List返回的是固定长度列表不能增删Arrays.stream()转Stream基本类型和引用类型要区分这个表格值得收藏一下平时开发不确定方法签名时翻一翻比搜索还快。6. 数组和集合怎么选从ArrayList扩容到JSON数组解析聊到数组就避不开和集合的对比。尤其在Java体系中日常业务代码90%以上用的是集合。但底层原理一旦深挖又绕回数组。搞清楚数组和集合的分工不只是为了面试更是为了你在设计接口、封装工具类时能做出更合理的选择。6.1 动态数组ArrayList底层是如何用数组实现扩容的ArrayList之所以被称为动态数组是因为它底层就是一个Object[]数组。初始容量是10当元素个数超过当前数组长度时它会创建一个新数组长度约为原来的1.5倍然后把旧数组的元素复制过去。如果你预估数据量比较大直接在构造时指定初始容量能避免多次扩容复制带来的性能损耗。这个扩容机制在面试中经常被扩展成“为什么ArrayList的add操作大部分是O(1)偶尔是O(n)”。答案就是大部分add只是往数组末尾写一个元素常数时间但触发扩容的那一次需要把n个旧元素复制到新数组所以是O(n)。均摊下来整体add复杂度还是O(1)。6.2 Arrays.asList的坑返回的不是java.util.ArrayListArrays.asList这个工具方法用起来很方便但坑很多。它返回的其实是Arrays内部定义的一个私有静态类继承了AbstractList但并没有实现add和remove方法。所以你对它调用add或remove时会直接抛UnsupportedOperationException。很多人第一次用都中招。更隐蔽的一个坑是asList返回的列表底层直接引用原数组。也就是说如果你修改列表里的元素原数组也会变反之修改数组列表也会变。这是因为这个“假ArrayList”没有复制数据只是把数组包了一层。如果你想要一个独立的ArrayList应该写new ArrayList(Arrays.asList(arr))。6.3 List转数组toArray的两个版本集合转数组的常见写法有两种。list.toArray()返回的是Object[]如果你直接强转成String[]会抛ClassCastException因为JVM认为这是不安全的向下转型。所以更推荐list.toArray(new String[0])这种写法它会根据传入数组的类型返回对应类型的数组。传入长度为0的数组是一种约定俗成的写法因为JVM会根据集合size重新分配一个新的正确长度和类型的数组并不会实际用那个0长度数组。有人喜欢写list.toArray(new String[list.size()])这不是不行但在并发环境下如果集合在toArray过程中被修改了可能会因为分配的数组长度不够而浪费一次额外的数组创建。所以JDK官方推荐使用new String[0]这种“零长度数组”写法简洁且安全。6.4 JSON数组与Java数组的互转藏在底层的数据结构近年前后端分离开发中JSON数组是接口传输的标准格式。常见框架如fastjson、Jackson、Gson都支持把JSON数组直接转成Java数组或List。大部分人习惯直接转List因为使用更方便但有些场景转数组反而更合适比如固定长度的配置项、高性能的数值计算。一个容易踩的坑是JSON数组反序列化成Java数组时如果数组元素是Integer而不是int框架会自动使用包装类型这可能影响内存占用。尤其在处理大流量数据时int[]比Integer[]节省一半以上的内存GC压力也小很多。所以在解析JSON时明确知道数据规模的前提下转成基本类型数组是一个被忽略的性能优化点。6.5 什么时候别用数组优先选什么数组的劣势很明显长度不可变只能通过下标访问没有丰富的方法。所以当你的数据量不确定、需要频繁插入删除、或者要存储键值对时优先选集合。但数组也不是没有优势固定长度、访问快、类型明确、无额外对象开销。在性能敏感的循环计算中用数组通常比用ArrayList更快因为少了方法调用和边界检查包装。我个人的经验是方法内部的临时数据数据量明确就优先数组跨方法传递、动态增减就优先List数据库查询出来的数据、接口DTO里的字段统一用List更规范。数组更偏向底层实现集合更偏向业务设计。把这个尺度把握住基本不会出错。数组这章说难不难说简单也不简单。它最大的价值不是让你手写排序而是让你理解Java中“内存布局”和“引用”这两个基底概念。把数组吃透了后面学ArrayList、HashMap甚至JVM调优都会顺畅很多。