TypeScript严格模式下用可选链仍报变量未赋值？求解答

先看问题代码：

let x: string[];
if (Math.random() > .5){ x = ['x']; }

//TS2454: x可能未定义。我知道啊？
return x?.map(v => v);

错误原因 #

TS2454的本质是变量在赋值前被使用的错误，和你理解的“值为undefined时用可选链处理”不是同一个场景：

• 你声明了let x: string[]但未给初始值，TypeScript在严格模式下会跟踪变量的初始化状态。当Math.random() <= 0.5时，x从未被赋值，属于“未初始化”状态，而非“值为undefined”。
• 可选链?.的作用是处理已初始化但值为undefined/null的变量，无法解决“变量从未被赋值就被使用”的问题。

解决方法 #

有几种可行的修正方式：

• 给变量初始值：直接把x初始化为空数组，这样x始终处于已赋值状态，甚至不需要可选链：

  let x: string[] = [];
  if (Math.random() > .5){ x = ['x']; }
  return x.map(v => v);
  

• 明确类型并初始化undefined：把x的类型声明为string[] | undefined并初始化为undefined，让TypeScript知道x是已初始化但可能为undefined的变量：

  let x: string[] | undefined = undefined;
  if (Math.random() > .5){ x = ['x']; }
  return x?.map(v => v);
  

• 确保所有分支都赋值：添加else分支给x赋值，保证x在任何情况下都被初始化：

  let x: string[];
  if (Math.random() > .5){ 
    x = ['x']; 
  } else {
    x = [];
  }
  return x.map(v => v);
  

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