TypeScript显式声明类型未生效，type definition与inference冲突问题

问题原因 #

这个现象是TypeScript控制流分析的固有特性，和是否添加显式类型注解没有关联：

• 当你编写let a: Foo | undefined = undefined时，TypeScript会基于初始化传入的undefined值，将当前作用域下a的类型收窄为undefined。即使你标注了联合类型，控制流的类型收窄规则依然会优先生效。
• TypeScript的控制流分析默认不会追踪「在其他函数内部对外部变量的赋值操作」，也就是说它识别不到你在c函数内部给a赋了有效值。哪怕你声明后立即调用了c()，你使用的4.4.2版本TypeScript也不支持这种跨函数的赋值跟踪逻辑。
• 站在TypeScript的视角，从变量初始化到if判断的位置，a从来没有被当前作用域的代码修改过，类型始终是undefined。进入if(a)分支就等同于undefined判断为真，属于不可能出现的逻辑分支，因此分支内的a会被推断为never类型，调用时报错。

为什么移除初始化就正常 #

如果你修改为let a: Foo | undefined;，没有显式传入undefined作为初始化值，TypeScript不会主动将它的类型收窄为undefined，会保留你标注的Foo | undefined联合类型。此时if判断会正常将a收窄为Foo类型，不会抛出错误。

解决方案 #

如果需要保留初始化赋值的写法，可以选择以下方式处理：

• 使用类型断言：if(a) { (a as Foo)() }
• 使用非空断言：if(a) { a!() }
• 升级TypeScript到4.8及以上版本，新版本已经优化了简单场景下的跨函数赋值识别，你给出的示例在高版本中不会再触发报错。

内容的提问来源于stack exchange，提问作者Tobías