TypeScript嵌套推断与收窄：请求响应联合类型判别问题

TypeScript的类型收窄基于控制流分析实现，按照其现有设计规则：

• 当你将联合类型的根对象解构为req、res两个独立变量后，二者的类型收窄逻辑完全独立
• 对req.method的等值判断只会收窄req自身的类型，不会回溯到原始联合类型，自动关联收窄同一联合成员下的res类型
• 解构操作相当于切断了两个变量同属一个联合成员的绑定关系，因此TS无法推导二者的类型关联

以下是三种可直接落地的实现方案，按需选择即可：

方案1：延后解构，先收窄根对象再取属性 #

这是最符合TS类型推断逻辑、无额外代码成本的方案：

// 不解构，保留完整的根对象
const ctx = {} as
    | {
            req: { method: "GET"; input: number };
            res: { output: string };
        }
    | {
            req: { method: "POST"; input: boolean };
            res: { output: number };
        };

if (ctx.req.method === "GET") {
    // 根对象ctx会被完整收窄到GET对应的联合分支
    const input = ctx.req.input; // 自动推断为number
    const output = ctx.res.output; // 自动推断为string，符合预期
}

方案2：封装自定义类型守卫 #

如果需要保留提前解构的写法，可以封装可辨识联合的类型守卫函数，手动指定收窄规则：

// 先抽出联合类型定义
type ApiContext =
    | {
            req: { method: "GET"; input: number };
            res: { output: string };
        }
    | {
            req: { method: "POST"; input: boolean };
            res: { output: number };
        };

/**
 * 按method字段收窄整个ApiContext类型
 */
function matchMethod<M extends ApiContext["req"]["method"]>(
    ctx: ApiContext,
    method: M
): ctx is Extract<ApiContext, { req: { method: M } }> {
    return ctx.req.method === method;
}

const { req, res } = {} as ApiContext;
// 判断时传入包含req和res的完整对象
if (matchMethod({ req, res }, "GET")) {
    const input = req.input; // 推断为number
    const output = res.output; // 推断为string
}

方案3：简单场景下使用类型断言 #

如果分支逻辑非常简单，也可以直接手动断言res的类型，不需要额外封装逻辑：

const { req, res } = {} as ApiContext;
if (req.method === "GET") {
    const input = req.input;
    const output = res.output as string; // 手动指定收窄后的类型
}

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