如何用JavaScript以低于O(n*m)复杂度查找矩阵非空单元格？

首先明确核心结论：

• 如果已经将完整矩阵拉取到前端（JavaScript数组），无法做到低于O(n*m)的复杂度——因为JavaScript的二维数组是密集存储结构，空值也会占据数组位置，必须遍历每个元素才能判断是否为有效值。但可以通过更简洁的写法优化遍历效率。
• 但如果利用Office.js的原生API在Excel端筛选非空单元格，可以将复杂度降到O(k)（k为有效值数量，远小于n*m），这才是真正的高效方案。

方案一：利用Office.js API直接筛选非空单元格（推荐） #

不需要先获取完整的矩阵数组，直接调用Excel的getSpecialCells方法定位非空单元格，再批量获取它们的值和位置信息。这种方式让Excel内部处理稀疏矩阵的筛选，前端只处理有效数据。

示例代码：

async function getNonEmptyCells() {
  await Excel.run(async (context) => {
    // 定位目标范围（比如当前工作表的已用区域，或指定区域）
    const targetRange = context.workbook.getActiveWorksheet().getUsedRange();
    
    // 获取所有非空的常量或公式单元格
    const nonEmptyCells = targetRange.getSpecialCells(Excel.SpecialCellType.cellTypeConstants | Excel.SpecialCellType.cellTypeFormulas);
    
    // 加载单元格的值和地址信息
    nonEmptyCells.load(["values", "addresses"]);
    
    await context.sync();
    
    // 解析结果：将地址转换为行列索引，关联对应值
    nonEmptyCells.addresses.forEach((address, index) => {
      const rowCol = Excel.Range.convertA1NotationToRange(address);
      const rowIndex = rowCol.rowIndex; // Office.js中行/列索引从0开始
      const colIndex = rowCol.columnIndex;
      const value = nonEmptyCells.values[index][0];
      
      console.log(`有效值: ${value}, 行索引: ${rowIndex}, 列索引: ${colIndex}`);
    });
  });
}

方案二：已获取前端二维数组时的高效遍历（复杂度仍为O(n*m)，写法优化） #

如果已经拿到完整的矩阵数组，只能遍历所有元素，但可以用JavaScript高阶函数简化代码，减少冗余判断：

示例代码：

// 假设matrix是从Office.js获取的二维数组
const matrix = [
  [null, 2, null],
  [null, null, 5],
  [7, null, null]
];

// 基础遍历写法
const nonEmptyValues = [];
matrix.forEach((row, rowIndex) => {
  row.forEach((value, colIndex) => {
    // 根据实际空值类型调整判断逻辑（可能是null、undefined、空字符串等）
    if (value != null && value !== "") {
      nonEmptyValues.push({ value, rowIndex, colIndex });
    }
  });
});

// 更简洁的flatMap写法
const nonEmptyValuesFlat = matrix.flatMap((row, rowIndex) => 
  row.map((value, colIndex) => ({ value, rowIndex, colIndex }))
     .filter(item => item.value != null && item.value !== "")
);

console.log(nonEmptyValuesFlat);

关键说明 #

• Office.js的getSpecialCells是核心优化点：Excel内部维护了单元格的存储状态，非空单元格有独立索引，筛选时无需遍历所有单元格，直接定位有效数据，前端处理复杂度仅与有效数据量相关。
• 若必须处理前端数组，O(n*m)是理论下限——无法跳过任何元素，必须逐个检查才能确定是否为有效值。

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