函数约束第二个参数类型，推断最终结果

在 typescript 中，我们可以创建函数，其行为根据第一个参数的变化而改变。这可以通过使用泛型和类型约束来实现，以便根据第一个参数约束第二个参数。

例如，我们可以创建一个函数来合并路径和参数，并根据路径推断参数，最终得出合并后的字符串。

原始实现

type fullurl<
  tpath extends string,
  tparams extends record<string, string>,
> = `${tpath}${tparams extends record<string, never> ? '' : '?'}${buildquerystring<tparams>}`;

优化实现

然而，原始实现存在一些问题，例如对 union 类型参数的推断不准确。为了解决这个问题，我们可以修改函数类型签名：

Scrapfly SDK TypeScript

使用 Scrapfly SDK（scrapfly-sdk）在 TypeScript 或 JavaScript 中进行网页抓取，用于用户请求抓取 URL、绕过反爬虫防护、渲染页面等场景。

下载

type finalbuildquerystring<t extends record<string, string>> = joinwithampersand<
  uniontotuple<buildquerystring<t>>
>;

这种修改确保了对 union 类型参数的正确推断。

最终的函数如下：

type fullurl<
  tpath extends string,
  tparams extends record<string, string>,
> = `${tpath}${tparams extends record<string, string> ? `?${finalbuildquerystring<tparams>}` : ''}`;

使用示例

以下是使用改进后的函数的示例：

const orderUrl = buildStringWithParams('/order/detail', orderParams);
const productListUrl = buildStringWithParams('/product/list', productListParams);

结论

通过利用泛型和类型约束，我们能够创建函数，根据第一个参数约束第二个参数。这允许我们在运行时推断类型和生成动态的最终结果。我们修改后的实现解决了原始实现的一些问题，并确保了类型安全和准确的推断。