TypeScript中如何处理已知非空但标记为可能null的变量？

问题场景 #

开启strictNullChecks后，写了这段包含可能为null变量的代码：

let x = null;
if (someCondition) {
  x = { a: 1 };
}

doSomethingWith(x.a);

TS抛出预期错误：

'x' is possibly 'null'.

试了用空值检查修复：

if (!x) return;
doSomethingWith(x.a);

结果又出了新错误：

Property 'a' does not exist on type 'never'.

本来想用自定义assert函数替代if/return的写法：

const assert = value => { if (!value) throw Error(); }

assert(x);
doSomethingWith(x.a);

但TS还是报错说x可能为null。试过用类型断言(x as {a: number}).a能解决，但不确定是不是最优解，也搞不定assert函数的类型问题。

需求很明确：

• 创建可能为null的变量
• 通过函数证明变量非空（为空就抛错）
• 加最少的TS代码
• 能无错误地使用变量内容

解决方案 #

1. 让TS识别的assert函数实现 #

要让自定义assert函数帮TS收窄类型，得给它加TS特有的断言签名：

function assert<T>(value: T | null | undefined): asserts value is T {
  if (!value) {
    throw new Error("值为null或undefined");
  }
}

// 用起来就没毛病了
let x: {a: number} | null = null;
if (someCondition) {
  x = { a: 1 };
}

assert(x);
doSomethingWith(x.a); // 无TS错误

asserts value is T这句话是关键，告诉编译器：只要这个函数不抛错正常返回，那value的类型就肯定是T，不是null或undefined。

2. 最简方案：用TS内置的非空断言符! #

如果不想写完整的assert函数，直接用!就行，这是TS专门提供的语法，代码量最少：

let x = null;
if (someCondition) {
  x = { a: 1 };
}

doSomethingWith(x!.a); // ! 告诉TS：这里x绝对不是null

注意：用!的时候得自己确保逻辑上x确实不可能为null，不然运行时会炸。

3. 修复之前的if/return错误 #

之前用if (!x) return出现never类型错误，是因为没给x明确的联合类型。补上类型声明就好了：

let x: {a: number} | null = null;
if (someCondition) {
  x = { a: 1 };
}

if (!x) return;
doSomethingWith(x.a); // 现在没错误了

总结 #

• 多次断言的场景推荐用带断言签名的assert函数：既保证运行时安全，TS也能正确识别类型。
• 快速场景直接用!：代码最少，但要确保逻辑严谨。
• 变量一定要明确类型：给可能为null的变量声明联合类型，TS才能正确做类型收窄。

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