为何TypeScript中类型错误的显示位置存在差异？

先看你遇到的代码示例：

type Foo = any[][] 
type Baz = any[] 
type Bar = any;

declare const elAny: Bar;

const a1: Foo = undefined; // 错误标记在a1上
const a2: Baz = undefined; // 错误标记在a2上
const a3: Bar = undefined;

const b1: Foo = elAny;
const b2: Baz = elAny;
const b3: Bar = elAny;

const c1: Foo = [1, 2, 3]; // 错误标记在1、2、3上
const c2: Baz = [1, 2, 3];
const c3: Bar = [1, 2, 3];

这种错误标记位置的差异，本质是TypeScript类型检查器的错误定位逻辑导致的：

• undefined赋值场景：Foo和Baz是数组类型，而undefined是无结构的原始值，TypeScript无法在undefined这个值上找到更具体的错误点，所以会把错误定位到左侧的变量名——直接告诉你「这个变量的类型不允许接收undefined」。而Bar是any类型，兼容所有值，因此没有错误。

• 数组元素不匹配场景：Foo要求是二维数组（每个元素都得是数组），但你传入的一维数组里是数字。此时TypeScript能精准识别到错误的源头是数组里的每个元素类型不符，所以会直接把错误标记在每个数字上，明确指出结构里的问题点。

• 核心逻辑：TypeScript的错误标记会优先指向类型不匹配的具体源头。如果右侧值是无细分结构的原始值，就会定位到左侧变量；如果右侧值有可拆分的结构（比如数组、对象），就会直接标记到结构内的错误部分。

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