TypeScript赋值链引发类型错误的原因及解决方法

在赋值链 let b = a = {} 的场景中，TypeScript 的类型推断逻辑从右往左执行：

1. 首先执行 a = {}，这里的空对象{}被推断为最严格的空对象类型（无任何属性的{}类型），虽然a被声明为{m?: string}，但赋值操作的结果是右侧值的类型，也就是{}。
2. 接着把这个赋值结果（类型为{}）赋值给b，b的类型因此被推断为{}，而{}类型不存在m属性，所以给b.m赋值时触发类型错误。

而分开赋值的场景中：

1. let a: {m?: string} = {} 是将{}赋值给声明为{m?: string}的变量a，TypeScript 允许这种操作（可选属性m可以不存在），此时a的类型保持为{m?: string}。
2. let b = a 直接继承a的类型{m?: string}，因此b.m赋值合法。

可以通过以下几种方式修复类型错误：

1. 给b显式指定类型 #

直接为b声明目标类型，覆盖自动推断结果：

let a: {
    m?: string
};

let b: {m?: string} = a = {};

b.m = ''; // 正常

2. 给空对象添加类型断言 #

通过类型断言告知 TypeScript，{}的实际类型是{m?: string}：

let a: {
    m?: string
};

let b = a = {} as {m?: string};

b.m = ''; // 正常

3. 拆分赋值语句（推荐） #

保持分开赋值的写法，这是最直观且符合 TypeScript 类型系统设计的方式：

let a: {
    m?: string
} = {};

let b = a;

b.m = ''; // 正常

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