TypeScript类型收窄后仍报undefined错误，原因是什么？

先看你给出的代码示例：

function test(a: string | undefined) {
  if (a) {
    const b = a
    const x = false && a.length // Error: 'a' is possibly 'undefined'
    const y = false && b.length // No error
  }
}

核心原因 #

TypeScript对函数参数变量的类型收窄逻辑有特殊限制：

• 虽然你用if(a)把a的类型临时收窄成了string，但TypeScript会默认假设函数参数可能在条件判断后被外部代码篡改（比如闭包引用、其他函数调用修改），所以不会把这个收窄结果永久绑定到参数a上。
• 但当你把a赋值给局部变量b后，b是完全受当前作用域控制的局部变量，不存在被外部篡改的可能，TypeScript会稳定保留它的string类型，因此b.length不会触发报错。

针对你用false&&注释JSX的场景，提供两个解决办法： #

• 办法一：先把参数赋值给局部变量，后续用局部变量进行操作，就像代码里的b那样。
• 办法二：用非空断言!明确告知TypeScripta肯定不是undefined，比如写成false && a!.length。

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