为何可选链会引发TypeScript预编译错误：类型‘never’无对应属性

这是TypeScript的控制流类型收窄机制导致的，和可选链本身的功能无关：

1. 全局/模块作用域的变量报错原因 #

当你在全局或模块作用域直接声明变量并赋值为null/undefined，而且后续没有给这个变量重新赋值的代码时，TypeScript的控制流分析会把变量的类型精准收窄到字面量类型null或undefined，不会保留你声明的string | null这类联合类型。

此时a?.toString()的问题在于：null和undefined本身并没有toString方法，可选链的作用是“当对象存在时访问属性，不存在时返回undefined”，但这里变量的类型已经被确定是null/undefined，它们本身就没有这个属性，所以TypeScript会判定这个访问是无效的，抛出“Property 'toString' does not exist on type 'never'”的错误（这里的never是TypeScript对这种无效访问的类型推断结果）。

2. 函数参数不报错的原因 #

函数参数的类型不会被控制流自动收窄，它会始终保留你声明的联合类型（比如string | null）。此时value?.toString()完全符合可选链的设计逻辑：

• 当value是string类型时，正常调用toString方法；
• 当value是null类型时，可选链会直接返回undefined，不会尝试访问属性。

TypeScript能正确识别这个逻辑，所以不会报错。

另外注意：你提供的测试代码里重复声明let a是语法错误，实际测试时应该拆分为三个独立的场景（比如分别测试隐式声明、string|null、string|undefined）。

内容的提问来源于stack exchange，提问作者Luc-Olivier