根据第一个参数约束第二个参数，推断最终结果的 typescript 函数

如何定义一个 typescript 函数，该函数有两个参数，其中第一个参数约束第二个参数，并推断出最终结果？例如，我们希望定义一个函数来合并路径和参数，根据路径来约束传入的参数，最终拼接路径和参数得到最终字符串，如下所示：

type path2params = {
  '/order/detail': { orderid: string };
  '/product/list': { type: string; pagesize: string; pageno: string };
};

const orderparams: path2params['/order/detail'] = { orderid: '123' };
const productlistparams: path2params['/product/list'] = { type: 'electronics', pagesize: '10', pageno: '1' };
// 根据函数，推断出 orderurl 为 "/order/detail?orderid=123"
// productlisturl 为 "/product/list?type=electronics&pagesize=10&pageno=1"

然而，在上述实现中，orderurl 被推断为 "/order/detail?orderid=${string}"，而 productlisturl 被推断为联合类型，这不是我们想要的。

Scrapfly SDK TypeScript

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

下载

为了解决这个问题，我们可以使用以下代码优化函数：

...
type FinalBuildQueryString<T extends Record<string, string>> = JoinWithAmpersand<
  UnionToTuple<BuildQueryString<T>>
>;

type FullUrl<
  TPath extends string,
  TParams extends Record<string, string>,
> = `${TPath}${TParams extends Record<string, string> ? `?${FinalBuildQueryString<TParams>}` : ""}`;
...

这样，orderurl 将被正确地推断为 "/order/detail?orderid=123"，而 productlisturl 将被推断为 "/product/list?type=electronics&pagesize=10&pageno=1"。