可选链操作符（?.）使链式访问结果类型变为 T | undefined，如 user?.name 类型为 string | undefined；需配合类型守卫、?? 或谨慎使用 ! 断言处理；arr?.[0] 和 obj?.method?.() 同样返回联合类型；相比 && 链更精准且利于 strictNullChecks。
可选链操作符（?.）本身不改变值的类型，但它会影响表达式的**返回类型推断**——尤其在 TypeScript 中，它会让整个链式访问的结果类型变成“可能为 undefined”的联合类型。
TypeScript 中的类型变化
当你使用 ?. 访问一个属性时，TypeScript 会自动将结果类型扩展为 T | undefined（其中 T 是原属性的类型），哪怕该属性在定义中是非可选的。
- 例如：
user?.name的类型不是string，而是string | undefined -
user?.address?.city的类型是string | undefined（即使city在接口里声明为string） - 如果中间某层是
null或undefined，整个链提前终止，返回undefined，类型系统会如实反映这一可能性
如何准确判断实际类型
不能只看变量声明，而要看运行时值 + 类型守卫。可选链返回的 undefined 是类型安全的“空路径信号”，但你仍需主动处理它：
- 用
typeof x === 'string'或x != null做运行时检查 - 配合空值合并操作符
??提供默认值：user?.name ?? 'Anonymous'，此时类型变为string - 用类型断言需谨慎：
user!.address!.city会绕过可选链的安全性，仅适用于你 100% 确认非空的场景
数组和函数调用的类型表现
可选链在不同上下文中的类型推导规则一致：
-
arr?.[0]→ 类型为ArrElement | undefined（ArrElement是数组元素类型） -
obj?.method?.()→ 返回类型为ReturnType<typeof obj.method> | undefined - 注意：
obj?.method()是错误写法——必须写成obj?.method?.()，否则 TypeScript 会报错，因为obj?.method类型是Function | undefined，不能直接调用
与传统逻辑判断的类型差异
user && user.address && user.address.city 在 TypeScript 中也会被推断为 string | undefined，但可选链更精准：
- 它明确表达了“访问路径中任一环节为空即停止”的语义，类型系统据此做更细粒度的控制
- 编译器能更好识别链中每个点是否可能为
null/undefined，从而在 IDE 中提供更准的提示和错误定位 - 搭配 strictNullChecks 开启时，可选链是推荐的空值处理方式，而非手动
&&链
