为何TypeScript使用&&短路求值后仍抛出never类型错误？

问题重现 #

以下代码在TypeScript Playground中运行时会抛出错误：Property 'length' does not exist on type 'never'.

type type1 = string[] | undefined;

let variable1 : type1 = undefined;

console.log(variable1 && variable1.length);

即使改用?.可选链（variable1?.length），错误依然存在，且需要保留undefined作为可选类型。

错误原因 #

核心问题是TypeScript的类型收窄机制：
你虽然声明了variable1的类型是string[] | undefined，但直接将其赋值为undefined后，没有任何后续代码对这个变量进行重新赋值。TypeScript会自动推断出这个变量的实际类型就是undefined，而非你声明的联合类型。

此时variable1 && variable1.length中，&&右侧的代码永远不会执行，这部分的类型被判定为never，自然无法访问length属性。

解决方案 #

要让TypeScript保留string[] | undefined的联合类型，可采用以下几种方式：

1. 保留变量的可赋值性 #

给变量增加后续可能被赋值为string[]的逻辑，TypeScript就不会把类型收窄为undefined：

type type1 = string[] | undefined;

let variable1 : type1 = undefined;
// 模拟可能的赋值场景
if (Math.random() > 0.5) {
  variable1 = ["apple", "banana"];
}

console.log(variable1 && variable1.length); // 无错误

2. 使用类型断言（谨慎使用） #

强制告诉TypeScript变量的实际类型，适用于你明确知道逻辑安全的场景：

type type1 = string[] | undefined;

let variable1 : type1 = undefined;

console.log((variable1 as string[])?.length);

3. 用const断言锁定联合类型 #

通过as type1的方式，让TypeScript保留声明的联合类型：

type type1 = string[] | undefined;

let variable1 = undefined as type1;

console.log(variable1 && variable1.length); // 无错误

4. 正确使用typeof类型守卫 #

如果用typeof检查，要把访问length的逻辑放在分支里，TypeScript会自动收窄类型：

type type1 = string[] | undefined;

let variable1 : type1 = undefined;

if (typeof variable1 !== 'undefined') {
  console.log(variable1.length); // 此处类型已被收窄为string[]，无错误
}

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