为何TypeScript不对指定类型的二维数组执行类型检查？

核心原因 #

问题出在TypeScript的类型推断规则与严格模式配置：

1. 非严格模式下的隐式any
   若未开启strict: true（或noImplicitAny: true），无类型参数的Array(10)会被推断为any[]类型。此时fill方法允许传入任意类型的值，内层数组会被推断为any[]，最终map返回的是any[][]。由于any类型兼容所有类型，赋值给cell[][]时TypeScript不会触发类型检查，自然不会报错。

2. Array构造函数的类型推断逻辑
   调用无类型参数的Array(10)时，严格模式下它会被推断为never[]（数组长度固定但元素未初始化，无明确类型信息），此时fill("")会将其转为string[]，后续map里的Array(10).fill(非cell类型)会直接报错——因为never[]的fill仅接受never类型的值。而非严格模式下会 fallback 到any，跳过了这层检查。

修复方案：让类型检查生效 #

• 显式指定外层数组类型：

  type cell = {
    id: string;
  };
  const board: cell[][] = Array<cell[]>(10)
    .fill([])
    .map(() => Array<cell>(10).fill({ id: "default-id" }));
  

• 或在map回调中明确内层数组类型：

  const board: cell[][] = Array(10)
    .fill("")
    .map(() => Array<cell>(10).fill({ id: "default-id" }));
  

• 开启strict: true配置，强制TypeScript进行严格类型检查，避免隐式any带来的类型漏洞。

关于类型推断难度 #

并非类型推断处理难度高，TypeScript完全有能力覆盖这类场景的检查。只是非严格模式下为兼容旧代码，放宽了类型约束，允许隐式any存在。只要开启严格模式并显式指定必要的类型参数，就能得到预期的类型校验结果。

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