为何TypeScript中扩展'complex'的泛型无法识别extra属性？

核心原因在于TypeScript对泛型参数的类型推断逻辑和具体字面量类型的处理差异：

1. Func2能正常识别的原因 #

在Func2中，你直接传入了具体的字面量类型'complex'给Extract，TypeScript可以明确从ChoiceType联合类型中提取出{ kind: 'complex'; extra: number }这个分支，自然能识别extra属性。

2. Func1报错的原因 #

而Func1里的T是泛型参数，虽然约束为T extends 'complex'，但TypeScript不会自动将T收缩为字面量'complex'——它会把T视为一个可能包含'complex'子类型的开放类型（哪怕字符串字面量'complex'没有实际子类型）。

当你用Extract<ChoiceType, { kind: T }>时，TypeScript无法确定T的具体值（泛型参数在函数定义阶段是未解析的），因此无法将结果窄化到带extra的分支。此时arg的类型被推断为ChoiceType中所有与{ kind: T }兼容的成员，但TypeScript无法保证这个成员一定包含extra，所以会报错。

解决方法 #

如果你想保留泛型，同时让TypeScript正确识别extra，可以用const泛型来强制TypeScript将T推断为字面量类型：

function Func1<const T extends 'complex'>(arg: Extract<ChoiceType, { kind: T }>) {
    const u = arg.extra; // 无错误
}

或者直接明确指定Extract的目标类型，绕开泛型的模糊推断：

function Func1<T extends 'complex'>(arg: Extract<ChoiceType, { kind: 'complex' }>) {
    const u = arg.extra; // 无错误
}

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