为何TypeScript可辨识联合在相似场景下表现不同？

核心原因：TypeScript类型收窄的机制差异 #

1. first instanceof RegExp无法联动收窄的根源 #

你的Args联合类型是基于参数位置的类型组合（[RegExp, Options?] vs [string, string?, Options?]），而instanceof是运行时的实例检查：

• TypeScript只能通过instanceof确认first是RegExp实例，但它无法将这个运行时结论与联合类型中“第一个参数为RegExp时，第二个参数只能是Options或undefined”的约束建立编译时的强关联
• 这种参数位置的类型关联没有被TypeScript的类型系统标记为“绑定关系”，所以收窄仅作用于first本身，无法影响second的类型推断

2. first === 'a0'能正确收窄的原因 #

字面量值的判断是编译时可确定的精确类型匹配：

• 当你判断first === 'a0'时，TypeScript直接将first的类型收窄为字面量类型'a0'，而这个类型明确属于联合类型中字符串分支的第一个参数类型
• 此时TypeScript可以精准匹配到联合类型的对应分支，自然就能联动收窄second的类型，使其符合该分支下的参数约束（string? | Options?）

本质差异对比 #

• instanceof判断：仅处理单个参数的运行时实例类型确认，无法联动收窄其他参数的类型
• 字面量值判断：编译时精确匹配联合类型的目标分支，能同步收窄同分支下其他参数的类型

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