本文详解如何将一维数组中连续重复的相邻元素自动聚合成二维数组，例如将 [1,1,2,2,2,3,4,4,4] 转换为 [[1,1],[2,2,2],[3],[4,4,4]]，并重点解决循环遗漏末尾分组的经典边界问题。
本文详解如何将一维数组中连续重复的相邻元素自动聚合成二维数组，例如将 `[1,1,2,2,2,3,4,4,4]` 转换为 `[[1,1],[2,2,2],[3],[4,4,4]]`，并重点解决循环遗漏末尾分组的经典边界问题。
在处理序列分组任务时（如运行长度编码 RLE 的前置步骤），一个常见需求是：将原数组中所有值相同且位置连续的子段提取为独立子数组。这看似简单，但初学者常因忽略边界条件而丢失最后一组——正如提问中所示：原始循环终止于 j < arr.length，导致末尾未触发 push。
✅ 正确解法：扩展循环边界 + 短路逻辑
最简洁、安全且符合直觉的修复方式，是让指针 j 运行至 arr.length（即允许 j 取到数组长度值），并在条件判断中利用 || 的短路特性避免越界访问：
const arr = [1, 1, 2, 2, 2, 3, 4, 4, 4];
const result = [];
for (let i = 0, j = 1; j <= arr.length; j++) {
if (j === arr.length || arr[j - 1] !== arr[j]) {
result.push(arr.slice(i, j));
i = j;
}
}
console.log(result); // [[1,1],[2,2,2],[3],[4,4,4]]? 关键点解析：
- j <= arr.length 扩展了循环终点，确保末尾能被检测；
- j === arr.length 作为首个条件，一旦为真即短路，不再执行 arr[j-1] !== arr[j]，从而规避 arr[arr.length]（即 undefined）参与比较的风险；
- arr.slice(i, j) 的右边界 j 是排他性的，因此当 j === arr.length 时，slice(i, j) 恰好取到从 i 到末尾的所有元素。
⚠️ 常见错误与避坑提醒
-
❌ 错误写法（遗漏末组）：
for (let i = 0, j = 1; j < arr.length; j++) { /* ... */ } // j 永远达不到末尾索引+1，最后一组无触发 -
❌ 危险修正（逻辑错位）：
if (arr[j-1] !== arr[j] || j === arr.length - 1) // 错！此时 j 仍 < arr.length，slice(i,j) 不包含最后一个元素
-
✅ 更鲁棒的变体（显式处理末组）：
const result = []; let i = 0; for (let j = 1; j < arr.length; j++) { if (arr[j - 1] !== arr[j]) { result.push(arr.slice(i, j)); i = j; } } result.push(arr.slice(i)); // 循环外补推最后一段
? 进阶思路：哨兵（Sentinel）技巧
受《计算机程序设计艺术》启发，可向原数组末尾追加一个不与任何合法元素相等的哨兵值（如 Symbol('sentinel') 或 null，前提是原数组不含该值），使逻辑回归“遇变化即分组”的统一模式：
const arr = [1, 1, 2, 2, 2, 3, 4, 4, 4];
const sentinel = Symbol('end');
arr.push(sentinel); // 修改原数组（注意副作用）
const result = [];
for (let i = 0, j = 1; j < arr.length; j++) {
if (arr[j - 1] !== arr[j]) {
result.push(arr.slice(i, j));
i = j;
}
}
// 若需保持原数组不变，可用 [...arr, sentinel] 构造新数组此方法虽牺牲了不可变性，但在高频或底层场景中可减少每次迭代的条件判断开销。
✅ 总结
- 核心原则：分组逻辑必须覆盖“最后一段无后继差异”的特殊情况；
- 推荐方案：for (j = 1; j <= arr.length; j++) + j === arr.length || ... 短路判断，兼顾简洁、安全与可读性；
- 生产建议：若需函数复用，可封装为通用工具函数，并支持自定义相等判断（如对象深比较）；
- 延伸思考：该算法时间复杂度为 O(n)，空间复杂度 O(n)，是运行长度编码（RLE）和文本压缩的基础操作之一。
