一、Java 数组核心特性与底层内存模型
数组是一组相同数据类型元素的有序集合，其底层内存存储机制决定了它的访问效率、长度特性以及使用规范，下面从底层存储特性、数据类型内存布局两大维度深度解析。
1.1 数组四大底层核心存储特性
1、连续内存空间 + O(1)随机访问
Java数组在堆内存中占用一整块连续的内存空间 ，这是数组最核心的底层特征。正是基于连续内存的特性，数组支持通过下标（索引） 实现随机访问，访问时间复杂度为 O(1)。
数组索引从 0 开始，通过「数组起始地址 + 索引偏移量」即可精准定位元素内存地址，无需遍历匹配，这也是数组查询效率远高于链表的核心原因。
2、长度不可变性（核心坑点）
数组属于定长数据结构 ：在数组创建的瞬间，就必须确定固定长度，且生命周期内无法修改大小。
很多新手误以为可以动态扩容数组，本质是误区：所谓的数组扩容，并不是修改原数组的内存空间，而是新建一个更大的数组，复制原数组元素。若强行尝试扩展原数组内存，会挤占相邻内存空间，引发数据覆盖、内存冲突等严重问题。
3、自动默认值机制
数组完成初始化、开辟内存空间后，系统会自动为所有元素赋予默认值，无需手动赋值，不同数据类型默认值规则严格区分：
-
整型（byte/short/int/long）：默认值为 0
-
浮点型（float/double）：默认值为0.0
-
布尔型（boolean）：默认值为 false
-
字符型（char）：默认值为空字符
-
引用类型（类、接口、数组、字符串）：默认值为 null
1.2 数组数据类型分类与内存布局
Java数据类型整体分为8种基本类型和引用类型，数组的存储结构根据类型差异有明显区别：
1、基本数据类型内存存储
-
int 类型：固定占用32位内存，结构为「1位符号位 + 31位数值位」，用于存储整数数据。
-
float 类型：同样占用32位内存，但存储结构与int完全不同，为「1位符号位 + 8位阶码 + 23位尾数」，遵循浮点数存储规范。
2、引用数据类型特性
Java引用类型包含三大类：类（Class）、接口（Interface）、数组（Array）。
重点：数组本身是一种特殊的对象，数组引用变量存储在栈内存，真实的数组对象、元素数据存储在堆内存，符合Java引用类型的内存分配规则。
二、Java 数组创建方式与遍历实践
数组的创建和遍历是开发高频操作，不同创建方式适用场景不同，两种主流遍历方式也有明确的使用边界，掌握细节可规避大量业务bug。
2.1 数组三种创建方式
1、静态初始化（常用）
直接指定数组元素值，由编译器自动识别、确定数组长度，代码简洁高效，适用于已知数组元素的场景。
java
// 静态初始化数组
int[] arr = {1, 2, 3};2、动态初始化（常用）
先手动指定数组长度，开辟对应内存空间，后续按需逐个赋值，适用于未知元素、仅确定容量的场景。
java
// 动态初始化：长度为5的int数组，默认元素全为0
int[] arr = new int[5];
// 后续手动赋值
arr[0] = 10;
arr[1] = 20;3、仅声明不初始化
仅在栈内存声明数组引用变量，未指向堆内存的任何数组对象，无法直接使用，否则会报空指针异常，业务开发几乎不用。
java
// 仅声明引用，无数组对象
int[] arr;2.2 两种数组遍历方式的核心差异
1、普通for循环遍历
通过索引遍历数组，支持读取 + 修改原数组元素，灵活性极高。需要对数组元素进行赋值、修改、替换的业务场景，必须使用普通for循环。
2、增强for循环（for-each）遍历
语法简洁、代码精简，专门用于快速遍历数组和集合。但存在核心局限：仅能读取元素，无法修改原数组。
原理：for-each遍历的是元素的局部副本，所有修改操作都作用于临时变量，不会影响原数组数据，仅适用于只读遍历场景。
三、有序数组二分查找算法详解
二分查找（折半查找）是有序数组的经典高效查找算法，时间复杂度为 O(logN)，远优于普通遍历的 O(N)。其核心难点在于边界条件处理，也是面试、算法刷题的高频考点。
3.1 二分查找核心逻辑
二分查找仅适用于有序数组，通过双指针不断缩小搜索区间，快速定位目标值：
-
定义双指针：left 左边界 、right 右边界，覆盖整个搜索区间；
-
计算中间索引 mid，对比 mid 位置元素与目标值 target；
-
根据对比结果收缩区间，不断排除无效范围，直到找到目标值或区间耗尽。
3.2 边界收缩核心规则
-
若
arr[mid] < target：目标值在右侧区间，左边界右移left = mid + 1； -
若
arr[mid] > target：目标值在左侧区间，右边界左移right = mid - 1。
重点：必须进行 +1、-1 操作！目的是排除已校验的无效mid位置，让区间持续收敛，避免区间卡死、出现死循环。
3.3 循环终止条件
1、推荐写法：闭区间 while (left <= right)
该条件对应 left, right 闭区间 ，左右边界元素均为有效待校验元素。当 left == right 时，区间内仅剩最后一个元素，仍会执行一次循环校验，彻底避免边界元素漏查，是工业级、刷题通用的标准写法。
2、错误写法风险：while (left < right)
若直接使用该条件且不修改区间逻辑，当左右指针重合时会直接终止循环，会遗漏最后一个边界元素的校验，导致目标元素存在却查询失败的bug。
补充拓展 ：若业务强制要求使用
left < right循环条件，必须修改区间定义为左闭右开区间 [left, right)，同步调整 right 初始值和边界收缩逻辑，且循环结束后需单独校验剩余元素，否则必现bug。
四、总结
1、Java数组底层是连续定长内存空间，具备O(1)随机访问、长度不可变、自动赋默认值三大核心特性，数组属于特殊引用对象；
2、数组创建分静态、动态、声明式三种，遍历需区分场景：改数据用普通for循环，只读遍历用for-each；
3、二分查找核心是区间收敛与边界处理 ，优先使用 left <= right 闭区间写法，简单稳妥、零漏查、无死循环。