如何处理泛型类实例联合类型中的公共属性安全访问问题

问题 #

我在用泛型类的两个实例组成的联合类型，它们的属性结构存在差异，但包含公共属性。尝试安全访问这些公共属性时遇到了问题。

此前使用的类型守卫解决方案是：

hasStat<K extends string>(name: K): this is Attributes<Record<K, Attribute>>

该方案解决了初始的类型收窄问题，但现在出现了公共属性相关的新问题，具体代码场景如下：

const irrelevant = { value: 1, min: 0, max: 5 };
const foo: Attributes<{ foo: Attribute, baz: Attribute }> = new Attributes({ foo: irrelevant, baz: irrelevant })
const bar: Attributes<{ bar: Attribute, baz: Attribute }> = new Attributes({ bar: irrelevant, baz: irrelevant })
const attribute = Math.random() < 0.5 ? foo : bar

attribute.getStat('foo'); // 报错：'foo'可能不存在
attribute.getStat('bar'); // 报错：'bar'可能不存在
attribute.getStat('baz'); // !!! 本应正常工作（'baz'在两种类型中都存在），但报错

if (attribute.hasStat('foo')) {
  const fooStat = attribute.getStat('foo') // 正常工作：已收窄到foo变体
} else {
  const barStat = attribute.getStat('bar') // 正常工作：已收窄到bar变体
}

// 公共属性判断
if (attribute.hasStat('baz')) {
  const fooStat = attribute.getStat('foo') // 报错：未收窄到任一变体
  const barStat = attribute.getStat('bar') // 报错：未收窄到任一变体
  const bazStat = attribute.getStat('baz') // !!! 本应正常工作（'baz'在两种变体中都存在），但报错
} else {
  const neverStat = attribute.getStat('foo') // 本应报错：'baz'始终存在，此分支不会触发
}

即便baz是两种变体的公共属性，TypeScript仍会报错，请问如何修改类型谓词以正确处理这类场景？

解决方案 #

原类型守卫的问题在于，它将this直接收窄为仅包含指定属性的Attributes<Record<K, Attribute>>，抹除了原类型的其他属性信息，包括公共属性。我们需要调整类型谓词，保留原类型结构的同时断言目标属性存在。

修改后的类型谓词 #

使用交叉类型保留原联合类型的结构，同时确保目标属性存在：

hasStat<K extends string>(name: K): this is this & Attributes<Record<K, Attribute>>

或者更精准地利用Extract从联合类型中筛选出包含目标属性的成员：

hasStat<K extends string>(name: K): this is Extract<this, Attributes<Record<K, Attribute>>>

如果你的Attributes类内部有明确的stats属性，也可以用更直接的方式：

hasStat<K extends keyof any>(name: K): this is this & { stats: Record<K, Attribute> }

效果验证 #

修改后，公共属性的访问无需额外类型守卫即可正常工作：

attribute.getStat('baz'); // 不再报错，TypeScript识别到'baz'是公共属性

在hasStat('baz')的分支中：

• const bazStat = attribute.getStat('baz') 正常工作
• else分支会被TypeScript识别为never类型，里面的代码会触发报错，符合预期
• foo和bar作为变体独有的属性，仍需对应类型守卫才能访问

原理说明 #

新的类型谓词通过this & ...的交叉类型，保留了原联合类型的完整结构，同时断言当前实例包含指定属性。这样TypeScript不会丢失原类型的属性信息，既能正确识别公共属性，也能在类型守卫后准确收窄到对应的变体类型。

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