TypeScript近乎可区分联合类型收窄失效的类型安全解决方案咨询

问题描述 #

给定TypeScript类型定义：

type A = { a: string } | { a?: undefined; b: string }

该类型语义为：

• 若提供属性a，则不能包含其他属性
• 若未提供a或a为undefined，则必须提供属性b

编写如下代码，期望在a为undefined时访问b：

let t = true
// 迷惑编译器，避免直接收窄类型
const z: A = t ? { a: 'a' } : { b: 'b' }

if (z.a) {
  console.log(z.a)
} else {
  console.log(z.b)
}

但编译器抛出错误：

Property 'b' does not exist on type 'A'.
Property 'b' does not exist on type '{ a: string; }'

寻求无需hasOwnProperty('b')这类不安全检查、无需类型断言的类型安全解决方案，是否可行？

可行的类型安全方案 #

可行，核心是消除TypeScript类型收窄时的歧义，让编译器能准确识别分支类型。原问题的根源是：!z.a无法区分a为空字符串（属于{a: string}分支，无b）和a为undefined（属于含b的分支），导致编译器无法确定z的具体类型。

方案1：调整类型定义，实现分支互斥 #

修改类型定义，让两个分支的a类型完全互斥，同时明确禁止非法属性组合：

type A = { a: string; b?: never } | { a: undefined; b: string }

修改后，原代码的分支判断可直接正常运行：

• 当z.a存在时，TypeScript自动收窄到{a: string; b?: never}类型，确认无b属性
• 当z.a为undefined时，自动收窄到{a: undefined; b: string}类型，可安全访问z.b

方案2：使用精确类型守卫函数 #

若无法修改原类型定义，可编写类型守卫函数辅助编译器收窄类型：

function isTypeWithB(obj: A): obj is Exclude<A, { a: string }> {
  return obj.a === undefined;
}

let t = true
const z: A = t ? { a: 'a' } : { b: 'b' }

if (z.a) {
  console.log(z.a)
} else if (isTypeWithB(z)) {
  console.log(z.b)
}

该守卫函数通过obj.a === undefined的精确判断，明确告知编译器当前obj属于含b的分支，实现类型安全的属性访问。

原理说明 #

原代码的错误本质是TypeScript的类型收窄逻辑无法通过!z.a排除a为空字符串的情况，因此无法确认z是否包含b。上述两种方案分别从类型定义层面消除歧义和通过类型守卫提供精确判断两个角度，让编译器能准确推断分支类型，避免不安全的属性访问。

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