TypeScript中processApiPath的类型收窄与参数推断问题

1. typeof判断后仍提示path(args)不可调用的成因 #

TypeScript的类型守卫（即代码中typeof path === "function"的判断）仅能对具体的联合类型变量完成类型收窄，无法直接作用于泛型占位符T。
虽然逻辑上代码已经通过判断确定path是函数类型，但由于T是继承自ApiPath（即string | PathConstructorFunction）的未确定泛型参数，TS不会自动将分支内的path类型推导为可调用的函数类型，反而会因为T的类型不确定性，判定path不具备合法的可调用签名，触发“不可调用”的类型提示。

2. args参数类型约束不生效的成因与正确实现 #

核心成因 #

现有实现中类型约束不生效，确实和条件类型求值阶段的泛型状态有关，同时存在两个额外问题：

• 自定义的PathConstructorFunction定义为(args: object) => string，固定将构造函数的入参类型宽化为通用object，后续推导自定义构造函数的入参类型时，无法匹配到具体结构（比如示例中的{ fooId: number }）
• 条件类型T extends PathConstructorFunction ? Parameters<T>[0] : never在泛型未完成具体类型匹配时，会被TS默认为求值结果为never，无法触发入参类型的正确推导
• 泛型类型无法被类型守卫自动收窄，导致内部逻辑的类型检查和外部传参的类型检查出现脱节

正确实现 #

1. 调整路径构造函数的类型定义，取消对入参类型的硬编码限制

type Path = string
// 不再固定构造函数的入参类型，允许自定义任意结构的入参
type PathConstructorFunction = (args: any) => string
export type ApiPath = Path | PathConstructorFunction

2. 重写函数的类型逻辑，用infer提取函数入参类型，搭配显式类型收窄解决泛型收窄失效问题

export const processApiPath = <T extends ApiPath>(
    path: T,
    // 条件类型推导：如果传入的path是函数，自动提取其第一个入参的类型作为args的类型，否则args为可选never
    args?: T extends (args: infer P) => string ? P : never
): string => {
    if (typeof path === "string") {
        return path
    } else if (typeof path === "function") {
        // 显式类型断言绕过TS泛型收窄限制，解决不可调用提示
        return (path as (args: any) => string)(args)
    } else {
        throw new Error("Invalid path")
    }
}

效果验证 #

const foosPath = '/foos'
const barsPath = ({ fooId }: { fooId: number}) => `/foos/${fooId}/bars`

// 传入字符串路径时，类型检查会禁止传入额外的第二个参数
console.log(processApiPath(foosPath)) // 输出 '/foos'
// 传入函数路径时，类型检查会强制要求第二个参数匹配{ fooId: number }的结构
console.log(processApiPath(barsPath, {fooId: 123})) // 输出 '/foos/123/bars'

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