TypeScript中生成指定数量空数组组成的二维数组返回never[][]传参报错

• never[][]类型不匹配报错是TS两条隐式类型推断规则共同作用的结果，和是否显式声明过never类型没有关联：
  1. 写出无类型注解的空数组声明const columns = [];时，TS在初次解析阶段因为看不到后续代码的元素内容，会先将这个数组临时标记为never[]（元素类型为never的数组），后续代码如果传入了明确的元素类型，TS会自动收窄修正这个类型。
  2. 循环内执行的columns.push([])操作，传入的空数组没有任何类型注解，同样会被TS临时标记为never[]。等循环逻辑走完，TS为columns确定最终类型时，发现所有push进去的元素都没有明确的类型信息，就会将columns的最终类型锁定为never[][]。
• 这里的never并非“永远不会出现的值”的语义，只是TS类型推断流程中使用的占位类型标记。
  额外提示：getNextColumn(columns: [][])的参数类型语法本身不规范
• TS的数组类型语法要求必须明确写出数组承载的元素类型，不能直接留空写[][]。你写出的空二维数组类型，会被TS隐式解析为never[][]，和createMultiArray推导出来的类型因为跨函数的类型校验上下文差异，就会触发类型不匹配的报错。

• 方案1：给初始空数组加明确类型注解，从声明阶段锁定数组类型
  修改columns的声明，明确指定它的元素为任意类型的数组：

  function createMultiArray(columnCount: number){
    // 显式标注二维数组类型，避免TS推断为never[][]
    const columns: any[][] = [];
    for( let i = 0; i < columnCount; i += 1){
      columns.push([]);
    }
    return columns;
  }
  

• 方案2：给createMultiArray函数加显式返回值类型注解，直接锁定函数输出类型
  不需要修改内部变量定义，只要明确告知TS函数的返回值是二维数组，就能跳过自动推断的分支逻辑：

  // 显式指定函数返回值类型
  function createMultiArray(columnCount: number): any[][] {
    const columns = [];
    for( let i = 0; i < columnCount; i += 1){
      columns.push([]);
    }
    return columns;
  }
  

• 方案3：修正getNextColumn的参数类型定义
  把不符合语法的[][]替换为合法的二维数组类型，根据实际存储的元素类型写成number[][]、string[][]或者通用的any[][]，从校验端避免never类型的隐式匹配。

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