TypeScript：如何实现仅允许存在目标分支的严格类型守卫？

你的核心需求是实现类型守卫函数isC3，仅允许传入包含C3<T>分支的联合类型参数，否则触发编译错误；同时解决当前类型守卫返回类型的TS2677错误。

问题原因 #

当前代码中，类型参数CX的约束仅确保当C3<T>是CX的子类型时，CX继承自{ kind: string; }，但TypeScript无法从这个约束推断出C3<T>一定是CX的子类型，因此类型守卫c is C3<T>会触发“类型谓词必须可赋值给参数类型”的错误。

修改后的实现 #

调整泛型约束，直接确保CX包含C3<T>作为子类型（否则约束为never，触发编译错误），同时将类型守卫的返回类型改为Extract<CX, C3<T>>——这个类型会自动从CX中提取出C3<T>分支，天然满足“可赋值给CX”的要求：

interface C1 { kind: 'c1' }
interface C2 { kind: 'c2' }
interface C3<T> { kind: 'c3'; value: T }

function isC3<T, CX extends (C3<T> extends CX ? CX : never)>(
    c: CX
): c is Extract<CX, C3<T>> {
    return c.kind === 'c3';
}

// 合法调用
type C = C1 | C2 | C3<number>;
isC3<number, C>({ kind: 'c3', value: 1 }); // 返回true，类型守卫生效
isC3<number, C>({ kind: 'c1' });           // 返回false，类型保持C1 | C2

// 非法调用（触发编译错误，符合预期）
type D = C1 | C2;
declare var d: D;
isC3<number, D>(d); // 错误：类型“D”不满足约束“never”

优化：自动推断类型参数 #

可以省略手动传入的CX参数，让TypeScript自动推断：

const testVal = { kind: 'c3', value: 456 } as C;
if (isC3<number>(testVal)) {
    console.log(testVal.value); // 类型自动推断为number
}

这个实现完全满足需求：

• 当传入的类型不包含C3<T>分支时，泛型约束会变为never，直接触发编译错误；
• 类型守卫的返回类型Extract<CX, C3<T>>是CX的子类型，解决了TS2677错误；
• 类型守卫逻辑正常工作，能正确缩小类型范围。

内容的提问来源于stack exchange，提问作者Trident D'Gao