未初始化全局变量在函数中使用时TypeScript未报错

你遇到的情况是TypeScript控制流分析的跨函数追踪限制导致的：

• 用let a: A声明变量时，TS允许先声明后初始化（只要在变量被使用前完成赋值即可）。但如果变量的使用和初始化处于不同函数中，TS默认不会跨函数追踪变量的初始化状态——它无法确定f()会不会在a赋值前被调用，因此不会触发报错。
• 当你把类型改为A | undefined时，TS明确知道变量可能处于未定义状态，因此会强制要求你在访问a.prop前进行空值检查。

解决方式 #

1. 强制变量立即初始化 #

如果变量必须在声明时就有值，直接在声明时完成初始化：

interface A {
  prop: string
}

let a: A = { prop: "hello" }; // 立即初始化

function f() {
  console.log(a.prop);
}

f();

2. 利用函数作用域让TS追踪变量状态 #

将变量声明移至函数作用域内，此时TS的控制流分析能完整追踪变量的生命周期，一旦发现未初始化就使用，会直接报错：

interface A {
  prop: string
}

function f() {
  let a: A; // 函数内声明未初始化
  console.log(a.prop); // TS会直接报错：Variable 'a' is used before being assigned.
}

f();

3. 显式标注变量可能未定义并做空值检查 #

如果你确实需要先声明后初始化，且无法保证使用前一定赋值，显式标注A | undefined并在使用前做空值检查是最安全的做法：

interface A {
  prop: string
}

let a: A | undefined;

function f() {
  if (a) {
    console.log(a.prop); // 安全访问
  }
}

// 赋值后调用
a = { prop: "test" };
f();

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